Geeks
mattulbrich
/
llreve
Automatic regression verification for LLVM programs
Primary Language
C++
Other
NOASSERTION
llreve Home Page
llreve GitHub
Markdown
Readme
21
Issues
19
Stargazers
10
Watchers
Watchers
cocreature
@digital-asset
dtzWill
dtzTech
herda
jhcloos
Lein4d
mattulbrich
Karlsruhe Institute of Technology, Inst. of Theoretical Informatics
Ordoviz
Germany
StephanGocht
tbormer
vladrich