1 result found Sort:

AliveToolkit
alive2 AliveToolkit
108
822
mit
23
Automatic verification of LLVM optimizations
smt llvm llvm-ir verification model-checking symbolic-execution automatic-verification translation-validation
Created 2018-06-09
2,458 commits to master branch, last one 14 hours ago