projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Require that FMF model basis terms are variables (#3031)
2018-11-05
yoni206
Increasing coverage (#2683)
commit
|
commitdiff
|
tree
2018-11-02
yoni206
fixes to regression docs (#2679)
commit
|
commitdiff
|
tree
2018-09-25
yoni206
carefully printing trusted assertions in proofs (#2505)
commit
|
commitdiff
|
tree
2018-09-11
yoni206
Avoid calling size() every iteration (#2450)
commit
|
commitdiff
|
tree
2018-08-25
yoni206
Refactor quantifier macros preprocessing pass (#1840)
commit
|
commitdiff
|
tree
2018-08-23
yoni206
global-negate preprocessing pass (#2317)
commit
|
commitdiff
|
tree
2018-08-22
yoni206
Generating less consistency lemmas in bv-ackermann...
commit
|
commitdiff
|
tree
2018-07-26
yoni206
Disabling bvLazyRewriteExtf in the right place (#2214)
commit
|
commitdiff
|
tree
2018-07-21
yoni206
Remove --no-check-proofs and --no-check-unsat-cores...
commit
|
commitdiff
|
tree
2018-07-17
yoni206
Refactor sep-pre-skolem-emp preprocessing pass
commit
|
commitdiff
|
tree
2018-05-16
yoni206
Refactor static learning preprocessing pass (#1857)
commit
|
commitdiff
|
tree
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