Skip to content

@smackers smackers

Change the repository type filter

All

    Repositories list

    20 repositories

    • smack

      Public
      SMACK Software Verifier and Verification Toolchain
      crustc-plus-plus
      crustc-plus-plusllvmverificationsmtverifierverification-toolchain
      C
      •
      Other
      •86•443•104•9•Updated Mar 31, 2026Mar 31, 2026

    • democratizing-software-verification-workshop-2022

      Public
      0•0•0•0•Updated Jul 29, 2022Jul 29, 2022

    • smack-wllvm

      Public archive
      Shell
      •
      MIT License
      •0•0•0•0•Updated Mar 18, 2022Mar 18, 2022

    • bam-bam-boogieman

      Public
      Boogie AST Manipulator
      Boogie
      •
      MIT License
      •7•1•0•0•Updated Mar 18, 2022Mar 18, 2022

    • smackers.github.io

      Public
      SMACK Homepage
      CSS
      •0•0•0•0•Updated Nov 3, 2021Nov 3, 2021

    • corral

      Public
      solver for the reachability modulo theories problem
      Boogie
      •
      MIT License
      •31•1•0•0•Updated Jul 6, 2021Jul 6, 2021

    • sv-benchmarks

      Public
      169•1•0•0•Updated Dec 2, 2020Dec 2, 2020

    • benchexec

      Public
      BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
      Python
      •
      Apache License 2.0
      •223•0•0•0•Updated Nov 27, 2020Nov 27, 2020

    • smack-emulab

      Public
      Configurations/scripts to run SV-COMP benchmarks on Emulab
      Python
      •0•0•3•0•Updated Oct 21, 2020Oct 21, 2020

    • democratizing-software-verification-workshop-2020

      Public
      0•0•0•0•Updated Jul 22, 2020Jul 22, 2020

    • homebrew-smack

      Public
      Ruby
      •0•0•0•1•Updated Jan 5, 2020Jan 5, 2020

    • lockpwn

      Public
      blazing fast symbolic analysis for concurrent C programs
      C#
      •
      MIT License
      •1•3•1•0•Updated Dec 11, 2019Dec 11, 2019

    • smack-ml

      Public
      Python
      •0•0•0•0•Updated Aug 9, 2019Aug 9, 2019

    • smack-rust-regressions

      Public
      Regression tests for Rust support in SMACK
      Rust
      •
      MIT License
      •0•2•0•0•Updated Jul 31, 2019Jul 31, 2019

    • democratizing-software-verification-workshop-2019

      Public
      0•0•0•0•Updated Jul 15, 2019Jul 15, 2019

    • pthreadDriverBenchmarks

      Public
      C
      •0•0•1•0•Updated Nov 20, 2016Nov 20, 2016

    • whoop

      Public
      automatic data race analysis for Linux device drivers
      C
      •
      Other
      •5•12•0•0•Updated Jul 27, 2016Jul 27, 2016

    • smack-images

      Public
      Shell
      •0•2•0•0•Updated Jun 21, 2016Jun 21, 2016

    • sbb

      Public
      SMACK Boogie Benchmarks
      MIT License
      •1•3•2•0•Updated Dec 8, 2014Dec 8, 2014

    • smackd

      Public
      Eclipse Plugin for Debugging with SMACK
      Java
      •1•1•2•0•Updated Aug 14, 2014Aug 14, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.