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
/
push-pop
/
2020-03-12
Andrew Reynolds
Do not allow quantifiers over real variables in real...
tree
|
commitdiff
2020-03-10
Andrew Reynolds
Fix real as int for incremental (#3979)
tree
|
commitdiff
2020-03-05
Andrew Reynolds
Fix issues with real to int (#3918)
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-14
Andres Noetzli
Fix get-unsat-assumptions output (#2301)
tree
|
commitdiff
2018-07-13
Andres Noetzli
Properly clean up assertion stack in CnfProof (#2147)
tree
|
commitdiff
2018-07-03
Andres Noetzli
Add regression test for issue #1986 (#2114)
tree
|
commitdiff
2018-06-09
Andres Noetzli
Reset decisions at SAT level after solving (#2059)
tree
|
commitdiff
2018-03-21
Andres Noetzli
Move regression tests to single Makefile.am (#1658)
tree
|
commitdiff
2018-03-09
Aina Niemetz
Add support for SMT-LIB v2.5 command get-unsat-assumpti...
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
tree
|
commitdiff
2018-02-15
Andrew Reynolds
Refactor regressions (#1581)
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-04
ajreynol
Set default language to smt lib 2.6 (including as a...
tree
|
commitdiff
2017-06-23
Andres Nötzli
Fix assertion failure due to missing clause id (#180)
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-16
Clark Barrett
Merge pull request #170 from CVC4/fix_2_6_parser3
tree
|
commitdiff
2017-06-16
Andres Nötzli
Fix segfault by making unit conflict CDMaybe
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2016-12-02
Clark Barrett
Merge pull request #113 from 4tXJ7f/remove_extract_rule
tree
|
commitdiff
2016-12-01
ajreynol
Fix quantifiers dynamic splitting module for incrementa...
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
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-03-22
ajreynol
Bug fix for define functions + incremental. Minor work...
tree
|
commitdiff
2016-01-06
Tim King
Improving the documentation of the CVC command CONTINUE.
tree
|
commitdiff
2015-11-07
Tim King
Changing file permissions to add or remove executable...
tree
|
commitdiff
2015-09-29
ajreynol
Fix for fmf+incremental. Restrict cbqi to literals...
tree
|
commitdiff
2015-09-28
ajreynol
Improve quantifiers engine wrt incremental presolve...
tree
|
commitdiff
2015-09-25
ajreynol
Clear term caches for quantifiers + incremental, fixes...
tree
|
commitdiff
2015-09-15
ajreynol
Fix bug related to quantifiers + incremental, thanks...
tree
|
commitdiff
2015-09-05
ajreynol
Fix bugs related to fmf with incremental. Reinitialize...
tree
|
commitdiff
2015-08-16
ajreynol
More optimizations to --macros-quant, add --macros...
tree
|
commitdiff
2015-07-31
ajreynol
Make --fmf-fun and --macros-quant work in incremental...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-05-10
ajreynol
Minor improvements to infrastructure. Minor changes...
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-12
Andrew Reynolds
Work on array pf signature, add working example. Add...
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-03-11
Andrew Reynolds
Initial refactor of rewrite rules, make theory_rewriter...
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-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-18
Morgan Deters
Support a personal build configuration and make rules.
tree
|
commitdiff
2013-09-13
Morgan Deters
Move some regress benchmarks around that took too long...
tree
|
commitdiff
2013-04-30
lianah
fixed merge conflicts
tree
|
commitdiff
2013-04-26
Tim King
FCSimplex branch merge
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-30
Morgan Deters
fix rewrite-rules syntax in regression
tree
|
commitdiff
2012-11-29
Kshitij Bansal
reliable benchmark corresponding to bug468
tree
|
commitdiff
2012-11-26
Dejan Jovanović
fixup for incremental solving
tree
|
commitdiff
2012-11-26
Tim King
Disabling test/regress/regress0/push-pop/bug396.smt2...
tree
|
commitdiff
2012-10-24
Dejan Jovanović
fix for bug 429
tree
|
commitdiff
2012-10-24
Dejan Jovanović
two smaller random pure LRA push-pop cases that fail
tree
|
commitdiff
2012-10-06
Morgan Deters
* Fix some regressions' expected outputs.
tree
|
commitdiff
2012-10-05
Morgan Deters
Bug-related:
tree
|
commitdiff
2012-09-25
Morgan Deters
some buggy examples for incrementality, and make bug326...
tree
|
commitdiff
2012-08-28
Morgan Deters
fix regression tests for automake 1.11 and automake...
tree
|
commitdiff
2012-06-13
Morgan Deters
adding some regressions to the usual regressions runs...
tree
|
commitdiff
2012-04-05
Morgan Deters
Support to test the "dumper" mechanism in regressions...
tree
|
commitdiff
2012-03-01
Morgan Deters
Partial merge from kind-backend branch, including Minis...
tree
|
commitdiff
2012-02-20
Morgan Deters
portfolio merge
tree
|
commitdiff
next