summaryrefslogtreecommitdiff
path: root/test/regress/regress3
AgeCommit message (Expand)Author
2021-09-22Remove CVC language support (#7219)Mathias Preiner
2021-06-11Better support for HOL parsing and set up (#6697)Haniel Barbosa
2021-06-02Remove redundant logic ALL_SUPPORTED. (#6664)Aina Niemetz
2021-05-27Fix `str.replace_re` and `str.replace_re_all` (#6615)Andres Noetzli
2021-05-27Enable new justification heuristic by default (#6613)Andrew Reynolds
2021-05-21Fix tests of unsat cores (#6593)Andrew Reynolds
2021-05-07Move slow regressions and update guidelines. (#6508)Aina Niemetz
2021-04-27Move slow regression to regress3 (#6451)Andrew Reynolds
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2020-12-22Move slow regression to regress3 (#5715)Andrew Reynolds
2020-12-10Refactor regressions (#5639)Andrew Reynolds
2020-12-07Add bitwise refinement mode for IAND (#5328)makaimann
2020-10-14bv2int: implementing the iand-sum mode (#5265)yoni206
2020-10-13bv2int: rewritings and unsat cores (#5263)yoni206
2020-09-23bv2int: new options for bvand translation (#5096)yoni206
2020-09-18bv2int: quantifiers support (#5080)yoni206
2020-09-15bv2int: support models in tests (#5068)yoni206
2020-08-24Increase regress level to 2 for production build. (#4888)Mathias Preiner
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-07-27Consider negation's proof before triggering arith pfs. (#4776)Alex Ozdemir
2020-07-11Changing bv_to_int options (#4721)yoni206
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback