llvm2smt
llvm2smt copied to clipboard
SRI-CSL
Experimental translation of llvm to smt.
Results
2
llvm2smt issues
Sort by
recently updated
recently updated
newest added
Hi, I could not install the tool. I am getting the following error. ``` ocamllex lllex.mll -o lllex.ml 73 states, 3483 transitions, table size 14370 bytes ocamlyacc llparse.mly 28 reduce/reduce...
Need to fix Trunc, Zext, Sext, Bitcast?, Inttoptr, Ptrtoint, Select, and Getelementptr?. They are allowed to have vector operands and return vector values (all of the same length). The instructions...
bug