summaryrefslogtreecommitdiff
path: root/test/regress/regress0/decision
AgeCommit message (Expand)Author
2021-06-02Remove redundant logic ALL_SUPPORTED. (#6664)Aina Niemetz
2021-04-24Improve getValue for non-evaluated operators (#6436)Andrew Reynolds
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2021-02-25Move slow regressions to regress1 (#5999)Andrew Reynolds
2020-12-17Simplify and fix check models (#5685)Andrew Reynolds
2020-12-10Refactor regressions (#5639)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-20Remove support for *.expect files in regressions (#2341)Andres Noetzli
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2014-02-09More complete guess instantiation strategy, cvc4 now typically times out inst...Andrew Reynolds
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-09-13Move some regress benchmarks around that took too long, other test cleanup.Morgan Deters
2013-08-26bug 374 fix: assert litVal=desiredVal only for leaf nodes1.2.xKshitij Bansal
2013-08-26Bug 374 benchmarksKshitij Bansal
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-09-18SMT-LIBv2 compliance regarding outputting "unknown".Morgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-07-27Minor cleanup after today's commits:Morgan Deters
2012-07-16now passes "make distcheck", which does important checks for the release (e.g...Morgan Deters
2012-06-17enabling theoryof=term for quantifiers with sharingDejan Jovanović
2012-06-17Fix array bug causing incorrect answersClark Barrett
2012-06-16Adding the failing QF_AUFLIA regression mentioned in last commit.Kshitij Bansal
2012-06-15one bug fixedKshitij Bansal
2012-06-14add failing regression, move error upKshitij Bansal
2012-06-14bug fixes in justification heuristicKshitij Bansal
2012-06-14enabling fixed bug345 caseDejan Jovanović
2012-06-14fix quantifier non-bugKshitij Bansal
2012-06-14failing quantifierKshitij Bansal
2012-06-14add passing regressionKshitij Bansal
2012-06-13add passing regressionKshitij Bansal
2012-06-13enable some decision regressionsKshitij Bansal
2012-06-13decision regressions, all but one failKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback