projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Rename checkValid/query to checkEntailed. (#4191)
[cvc5.git]
/
test
/
regress
/
regress0
/
expect
/
2020-03-22
Abdalrhman Mohamed
Convert V1 Sygus files to V2. (#4136)
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-09-04
Mathias Preiner
Remove duplicate regression tests. (#3227)
tree
|
commitdiff
2019-06-12
Andres Noetzli
Refactor parser to define fewer tokens for symbols...
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-08-21
Andres Noetzli
Remove support for *.expect files in regressions (...
tree
|
commitdiff
2018-05-25
Andrew Reynolds
Reenable repair const (#1983)
tree
|
commitdiff
2018-05-23
Andrew Reynolds
Repair constants using symbolic constructors (#1960)
tree
|
commitdiff
2018-04-06
Andres Noetzli
Python regression script (#1662)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2017-11-03
Andrew Reynolds
Sygus clean main (#1297)
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-14
Aina Niemetz
Merge pull request #214 from CVC4/fix_warn_nonlinear
tree
|
commitdiff
2017-08-14
Mark Laws
Build and test suite fixes for Windows (#186)
tree
|
commitdiff
2017-07-05
ajreynol
Fix for logic info, update regressions. Update casc...
tree
|
commitdiff
2017-07-05
ajreynol
Non-linear supported in ALL logics. Minor fixes for...
tree
|
commitdiff
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
tree
|
commitdiff
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
tree
|
commitdiff
2017-04-03
Tim King
Adding a model based axiom instantiation scheme for...
tree
|
commitdiff
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
tree
|
commitdiff
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
tree
|
commitdiff
2017-01-11
Tim King
Adding regression test scrubbing.
tree
|
commitdiff