projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix exact sqrt (#3721)
[cvc5.git]
/
test
/
regress
/
regress0
/
parser
/
2019-10-09
Andres Noetzli
Avoid printing success for `--force-logic` (#3363)
tree
|
commitdiff
2019-06-21
Andres Noetzli
Fix and simplify handling of --force-logic (#3062)
tree
|
commitdiff
2019-04-16
Andres Noetzli
Make bv{add,mul,and,or,xor,xnor} left-associative ...
tree
|
commitdiff
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added regression tests and target make regress.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-06-05
Andres Noetzli
Only enable transcendentals if logic is N[I]RAT (#2052)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2017-10-04
Andrew Reynolds
Add regression from #50 regarding "as" parsing in smt2...
tree
|
commitdiff
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
tree
|
commitdiff
2016-11-18
Andres Notzli
Fix Makefiles in test
tree
|
commitdiff
2015-01-14
Morgan Deters
sygus input language and benchmark
tree
|
commitdiff
2015-01-11
Tianyi Liang
adjusted to both v2.0 and v2.5 string literals
tree
|
commitdiff
2015-01-09
Tianyi Liang
blocked unprintable characters in string literals;
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
tree
|
commitdiff
2014-06-09
Kshitij Bansal
Merge pull request #29 from kbansal/alternatefix
tree
|
commitdiff
2014-06-09
Kshitij Bansal
test for prvs commit (tokenize emptyset)
tree
|
commitdiff