| AliveToolkit/alive2 |
634 |
|
0 |
0 |
about 2 years ago |
0 |
|
56 |
mit |
C++ |
| Automatic verification of LLVM optimizations |
| smackers/smack |
367 |
|
0 |
0 |
about 4 years ago |
0 |
|
101 |
other |
C |
| SMACK Software Verifier and Verification Toolchain |
| mc-imperial/jfs |
236 |
|
0 |
0 |
over 2 years ago |
0 |
|
34 |
mit |
C++ |
| Constraint solver based on coverage-guided fuzzing |
| SRI-CSL/llvm2smt |
27 |
|
0 |
0 |
about 6 years ago |
0 |
|
1 |
mit |
LLVM |
| Experimental translation of llvm to smt. |
| abenkhadra/gosat |
14 |
|
0 |
0 |
about 8 years ago |
0 |
|
1 |
mit |
C++ |
| SMT solver for the theory of floating-point arithmetic |
| marcelosousa/llvmvf |
8 |
|
0 |
0 |
over 3 years ago |
0 |
|
1 |
|
Haskell |
| LLVM Verification Framework |
| termite-analyser/llvm2smt |
7 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
lgpl-2.1 |
OCaml |
| OCaml library to transform an Llvm control flow graph in an SMT formula. |
