issues
search
d3sformal
/
hornix
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Consider adding more passes before CHC transformations
#4
blishko
opened
1 week ago
2
Use standard SMT-LIB operator `mod` instead of z3 extension `rem` to represent modulo operation (`Rem` LLVM IR instructions)
#3
blishko
closed
5 days ago
0
Support global integer variables
#2
blishko
opened
1 week ago
1
Small updates to the scrips
#1
blishko
closed
1 week ago
0