summaryrefslogtreecommitdiff
path: root/test/regress/regress3
AgeCommit message (Expand)Author
2020-05-01Move slow regression to regress3 (#4430)Andrew Reynolds
2020-04-29Avoid circular dependencies for justifying reductions in strings extf eval (#...Andrew Reynolds
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-12Move slow nl regression to regress3 (#4276)Andrew Reynolds
2020-04-03Only rewrite lambdas via array representations when constant (#4203)Andrew Reynolds
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-21Convert V1 Sygus files to V2. (#4136)Abdalrhman Mohamed
2020-02-24bv_to_int preprocessing passyoni206
2019-12-04New grammar construction modes for SyGuS (#3486)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-09-04Remove duplicate regression tests. (#3227)Mathias Preiner
2019-04-01Move slow string regression to regress3 (#2913)Andres Noetzli
2018-10-08Address slow sygus regressions (#2598)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-17Make strings model construction robust to lengths that are not propagated equ...Andrew Reynolds
2018-08-20Remove support for *.expect files in regressions (#2341)Andres Noetzli
2018-04-02Remove references to nyu (#1721)Clark Barrett
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-08Remove invalid regression test (#1579)Andres Noetzli
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
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-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-07-06add regressions from bug reportsMorgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-06-17fix some minor annoyances in the regression test Makefiles; add some document...Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-02-08Fixing the test case, it had a unary or. The cnf converter should be adapted ...Dejan Jovanović
2010-02-04assign expected-status to regressionsMorgan Deters
2010-02-04build system for multi-level regressionsMorgan Deters
2010-02-04Moved regressions into various levels based on running time.Tim King
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback