projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge ntExt branch. Adds support for transcendental functions. Refactoring of non...
2017-07-04
Andres Nötzli
Update README for 1.5 release (#182)
commit
|
commitdiff
|
tree
2017-06-30
Andres Nötzli
Fix use-after-free with unsat cores/proofs (#174)
commit
|
commitdiff
|
tree
2017-06-23
Andres Nötzli
Fix assertion failure due to missing clause id (#180)
commit
|
commitdiff
|
tree
2017-06-22
Andres Nötzli
Fix unsat cores script for SMT-COMP (#179)
commit
|
commitdiff
|
tree
2017-06-21
Andres Nötzli
Add run script for unsat cores track at SMT-COMP (...
commit
|
commitdiff
|
tree
2017-06-17
Andres Nötzli
Change language in competition script to smt2.6 (#171)
commit
|
commitdiff
|
tree
2017-06-17
Andres Nötzli
Fix stream parsing
commit
|
commitdiff
|
tree
2017-06-16
Andres Nötzli
Fix segfault by making unit conflict CDMaybe
commit
|
commitdiff
|
tree