projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Only allow bv2nat/int2bv with BV and integer logic (#4118)
[cvc5.git]
/
test
/
regress
/
regress0
/
uf
/
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-04-11
Andrew Reynolds
Eliminate Boolean ITE within terms, fixes 2947 (#2949)
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-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Fix various regression tests (#1657)
tree
|
commitdiff
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
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-11-07
Tim King
Changing file permissions to add or remove executable...
tree
|
commitdiff
2015-11-05
Tim King
Merging the google branch back into master.
tree
|
commitdiff
2015-11-05
Tim King
Fixes some initialization and desctruction problems...
tree
|
commitdiff
2015-06-01
ajreynol
When proof enabled, disable uf sym break. Add regression.
tree
|
commitdiff
2015-05-27
lianah
Merge pull request #75 from Dunedune/master
tree
|
commitdiff
2015-05-25
ajreynol
Add missing regression
tree
|
commitdiff
2015-05-25
ajreynol
Bug fix for CNF proofs (and/or case 1), thanks to Alain...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-21
Clark Barrett
Fix file permissions
tree
|
commitdiff
2015-03-10
ajreynol
CNF proofs. Infrastructure for preprocessing proofs...
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-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-11-11
Morgan Deters
Change exit status to be more consistent with other...
tree
|
commitdiff
2013-11-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-06
lianah
fixed proof regression script and added a new uf test...
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-11-27
Morgan Deters
First chunk of boolean-terms support.
tree
|
commitdiff
2012-08-28
Morgan Deters
fix regression tests for automake 1.11 and automake...
tree
|
commitdiff
2012-04-05
Morgan Deters
Support to test the "dumper" mechanism in regressions...
tree
|
commitdiff
2012-02-20
Morgan Deters
portfolio merge
tree
|
commitdiff
2011-10-29
Morgan Deters
support for proof regressions in other parts of the...
tree
|
commitdiff
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
tree
|
commitdiff
2011-07-11
Morgan Deters
merge from symmetry branch
tree
|
commitdiff
2011-07-09
Morgan Deters
minor fixups
tree
|
commitdiff
2011-07-09
Dejan Jovanović
surprize surprize
tree
|
commitdiff
2011-06-30
Morgan Deters
only use theory registration if (1) a theory requests...
tree
|
commitdiff
2011-03-30
Morgan Deters
improve recent low-coverage complaints
tree
|
commitdiff
2011-03-26
Morgan Deters
fix typo
tree
|
commitdiff
2011-03-25
Morgan Deters
This is a merge from the "theoryfixes+cdattrhash" branc...
tree
|
commitdiff
2010-11-19
Morgan Deters
Merge from ufprop branch, including:
tree
|
commitdiff
2010-10-20
Morgan Deters
fix bug #220 (assertion fails if no query/check-sat...
tree
|
commitdiff
2010-10-12
Morgan Deters
Merge from cc-memout branch. Here are the main points
tree
|
commitdiff
2010-10-10
Morgan Deters
additional model gen and SMT-LIBv2 compliance work...
tree
|
commitdiff
2010-09-28
Morgan Deters
fix predicate bug in UF; code cleanup in theory.cpp
tree
|
commitdiff
2010-09-02
Morgan Deters
recategorize eq_diamond14 as a regress2 test (instead...
tree
|
commitdiff
2010-08-19
Morgan Deters
UF theory bug fixes, code cleanup, and extra debugging...
tree
|
commitdiff
2010-08-18
Morgan Deters
more tests, configuration for UF
tree
|
commitdiff
2010-08-17
Morgan Deters
Merge from "cc" branch:
tree
|
commitdiff
2010-07-04
Morgan Deters
make dist && make distcheck functional, other fixes
tree
|
commitdiff
2010-04-04
Morgan Deters
* Node::isAtomic() now looks at an "atomic" attribute...
tree
|
commitdiff
2010-03-30
Christopher L. Conway
Removing unnecessary .gitignores
tree
|
commitdiff
2010-03-30
Christopher L. Conway
Merging from branches/antlr3 (r246:354)
tree
|
commitdiff
2010-03-12
Dejan Jovanović
Fixing unnecessary construction of NOT nodes when...
tree
|
commitdiff
2010-03-11
Dejan Jovanović
Changing const TNode& to TNode in the CNF conversion...
tree
|
commitdiff
2010-03-11
Tim King
Added some hand generated UF tests. Unfortunartely...
tree
|
commitdiff
2010-03-11
Dejan Jovanović
Fix for the main bug that was bugging me -- Bug 49...
tree
|
commitdiff
2010-03-09
Dejan Jovanović
Adding the smallest of test cases from the smtlib.
tree
|
commitdiff
next