projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Reinstantiate support for conjunctions in facts (#4377)
[cvc5.git]
/
test
/
regress
/
regress0
/
arrays
/
2020-03-11
Andres Noetzli
Set assertion in `CnfStream::ensureLiteral()` (#3927)
tree
|
commitdiff
2020-02-29
Andrew Reynolds
Fix assertion related to assignability in the model...
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-05-27
Andres Noetzli
Avoid substituting Boolean term variables (#3022)
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-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
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
tree
|
commitdiff
2017-11-29
Andrew Reynolds
Improve caching in term formula removal (#1398)
tree
|
commitdiff
2017-03-17
guykatzz
better support for proof production when encountering...
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2017-01-18
Andres Noetzli
Fix non-idempotent rewrite in Array rewriter
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
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-08
ajreynol
Fix bug with incremental+datatypes. Minor cleanup...
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-07
ajreynol
Properly distinguish which EQC to assign values in...
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Extended parsing testcase, with constant arrays and...
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Fix native language parsing of chained-store expression...
tree
|
commitdiff
2014-10-04
Morgan Deters
Enable some old bug testcases that (maybe?) never got...
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Add some (so far trivial) regressions for constant...
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
tree
|
commitdiff
2014-03-12
Morgan Deters
Some standardization of regression Makefiles that got...
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-09
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-08
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-18
Morgan Deters
Support a personal build configuration and make rules.
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-16
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-15
Tim King
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-08
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
tree
|
commitdiff
2013-02-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-04
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-02
lianah
merged master into branch
tree
|
commitdiff
2013-02-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-31
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-28
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-01-28
Morgan Deters
some fixes for win32, including ability to "make check...
tree
|
commitdiff
2012-08-28
Morgan Deters
fix regression tests for automake 1.11 and automake...
tree
|
commitdiff
2012-05-14
Clark Barrett
Fixed assertion failures in array theory
tree
|
commitdiff
2012-04-18
Kshitij Bansal
add the missing BINARY variable in some test/regress...
tree
|
commitdiff
2012-04-11
Morgan Deters
merge from arrays-clark branch
tree
|
commitdiff
2012-04-05
Morgan Deters
Support to test the "dumper" mechanism in regressions...
tree
|
commitdiff
2011-10-29
Morgan Deters
support for proof regressions in other parts of the...
tree
|
commitdiff
2011-07-12
Morgan Deters
forgot to reflect naming change in makefile. fixed
tree
|
commitdiff
2011-07-12
Morgan Deters
fix bug 272, array unsoundness, and some array cleanup
tree
|
commitdiff
2011-07-11
Morgan Deters
remove some array regressions from "make check" so...
tree
|
commitdiff
2011-07-11
Morgan Deters
status of examples
tree
|
commitdiff
2011-07-11
Morgan Deters
new array bugs ?
tree
|
commitdiff
2011-07-11
Morgan Deters
mark the new minimized benchmark as unsat
tree
|
commitdiff
2011-07-11
Morgan Deters
if running in QF_AX, equalities over terms of uninterpr...
tree
|
commitdiff
2011-07-11
Morgan Deters
minimized example
tree
|
commitdiff
2011-07-11
Morgan Deters
array benchmarks
tree
|
commitdiff
2011-05-23
Morgan Deters
Merge from arrays2 branch.
tree
|
commitdiff