projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Floating point theory solver based on SymFPU (#1895)
2018-05-09
yoni206
Reorder class members in bv-to-bool and bool-to-bv...
commit
|
commitdiff
|
tree
2018-04-25
yoni206
Refactor array-proofs and uf-proofs (#1655)
commit
|
commitdiff
|
tree
2018-04-25
yoni206
Refactor bv-to-bool and bool-to-bv preprocessing passes...
commit
|
commitdiff
|
tree
2018-04-20
yoni206
Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv...
commit
|
commitdiff
|
tree
2018-04-20
yoni206
Allow metadata lines in test files to have leading...
commit
|
commitdiff
|
tree
2018-04-19
yoni206
Adding config/tap-driver.sh to .gitignore (#1792)
commit
|
commitdiff
|
tree
2018-04-14
yoni206
allowing --bool-to-bv without quantifiers (#1771)
commit
|
commitdiff
|
tree
2018-04-02
yoni206
a formula should be an instance of itself (#1668)
commit
|
commitdiff
|
tree
2018-04-02
yoni206
Do not call toString() on malformed node when throwing...
commit
|
commitdiff
|
tree
2018-03-20
yoni206
correct instruction for running example (#1669)
commit
|
commitdiff
|
tree