-
corral Public
Forked from boogie-org/corralsolver for the reachability modulo theories problem
Boogie MIT License UpdatedSep 11, 2023 -
dafny_examples Public
Forked from monadius/dafny_examplesExperiments with Dafny
Dafny MIT License UpdatedJul 7, 2023 -
-
-
leetcode.hs Public
Selected leetcode problem solutions in Functional Programming Languages
-
sea-dsa Public
Forked from seahorn/sea-dsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
C++ Other UpdatedMar 29, 2022 -
bam-bam-boogieman Public
Forked from michael-emmi/bam-bam-boogiemanBoogie AST Manipulator
Boogie MIT License UpdatedDec 9, 2021 -
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
C Other UpdatedAug 16, 2021 -
smack Public
Forked from smackers/smackSMACK Software Verifier And Verification Toolchain
C Other UpdatedFeb 22, 2021 -
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedNov 28, 2020 -
-
sv-benchmarks Public
Forked from sosy-lab/sv-benchmarksCollection of Verification Tasks
UpdatedOct 2, 2020 -
boogaloo Public
Forked from nadia-polikarpova/boogalooHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 24, 2020 -
-
soarlab.github.io Public
Forked from soarlab/soarlab.github.ioCSS BSD 3-Clause "New" or "Revised" License UpdatedMay 13, 2020 -
-
sls Public
OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
-
-
-
half-rs Public
Forked from VoidStarKat/half-rsVerification of Half-precision floating point type f16 for Rust.
Rust Apache License 2.0 UpdatedMay 4, 2019 -
-
-
-
SAT.rkt Public
Forked from Kraks/SAT.rktImplementations of SLS-based SAT Solving Algorithms in Racket
Racket Other UpdatedDec 15, 2018 -
issta2018-benchmarks-wu Public
Forked from michael-emmi/issta2018-benchmarks-wuShell UpdatedNov 10, 2018 -
afl Public
Forked from mirrorer/aflamerican fuzzy lop (copy of the source code for easy access)
C UpdatedJul 30, 2018 -
coreutils Public
Forked from uutils/coreutilsCross-platform Rust rewrite of the GNU coreutils
Rust MIT License UpdatedMay 2, 2018 -
TraceTransformer Public
Integer to bit-vector Boogie program transformer
C# Other UpdatedMar 30, 2018 -
-
FPBenchParser Public
Forked from keram88/FPBenchParserA Python parser for the FPBench format
Python MIT License UpdatedSep 21, 2017
{{ message }}