Geeks
sbjoshi
/
llvm2goto
Translator for LLVM IR to CPROVER IR (goto-programs)
Primary Language
C
Other
NOASSERTION
llvm2goto GitHub
Markdown
Readme
29
Issues
2
Stargazers
4
Watchers
Stargazers
shraiysh
@NVIDIA
TIFitis
@amd