issues
search
abenkhadra
/
gosat
SMT solver for the theory of floating-point arithmetic
MIT License
25
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
potentially unsound answers
#8
florianschanda
opened
6 years ago
9
compile error in src/IRGen/FPIRGenerator.cpp
#7
florianschanda
closed
6 years ago
3
gosat gives `unsat` to satisfiable benchmark
#6
delcypher
closed
6 years ago
5
Crash in llvm::ConstantHoistingPass
#5
delcypher
closed
6 years ago
2
Add command line option `-smtlib-output` to produce SMT-LIBv2 compliant output.
#4
delcypher
closed
6 years ago
1
Error emitted on trivial unsat benchmark
#3
delcypher
closed
6 years ago
1
Crash on simple example
#2
delcypher
closed
6 years ago
1
[CMake] Fix location of binaries
#1
delcypher
closed
6 years ago
0