issues
search
SRI-CSL
/
llvm2smt
Experimental translation of llvm to smt.
MIT License
57
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Compilation error
#8
pkalita595
opened
10 months ago
1
smt_eq_condition: literal branch condition bugfix
#7
adrianherrera
closed
4 years ago
0
reversed n and w for int_ptr
#6
ziqiaozhou
closed
6 years ago
1
Fix the interpretattion of undef to be
#5
ianamason
closed
9 years ago
1
Use the correct suffix in our examples.
#4
ianamason
closed
9 years ago
1
Not all instructions handle vector arguments
#3
BrunoDutertre
opened
9 years ago
2
@ in the produced smt translation should go the way of the dodo
#2
ianamason
closed
9 years ago
4
Add support for smt2 in hightlights
#1
dddejan
closed
9 years ago
2