projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ensure quantifiers options are set with --no-strings-lazy-pp (#3515)
[cvc5.git] / test / regress / regress0 / push-pop /
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-07-03 Andres NoetzliAdd regression test for issue #1986 (#2114) tree | commitdiff
2018-06-09 Andres NoetzliReset 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 NiemetzAdd support for SMT-LIB v2.5 command get-unsat-assumpti... tree | commitdiff
2018-03-05 Aina NiemetzAdd support for check-sat-assuming. (#1637) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-06-23 Andres NötzliFix assertion failure due to missing clause id (#180) tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-16 Clark BarrettMerge pull request #170 from CVC4/fix_2_6_parser3 tree | commitdiff
2017-06-16 Andres NötzliFix segfault by making unit conflict CDMaybe tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-12-01 ajreynolFix quantifiers dynamic splitting module for incrementa... tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-03-22 ajreynolBug fix for define functions + incremental. Minor work... tree | commitdiff
2016-01-06 Tim KingImproving the documentation of the CVC command CONTINUE. tree | commitdiff
2015-11-07 Tim KingChanging file permissions to add or remove executable... tree | commitdiff
2015-09-29 ajreynolFix for fmf+incremental. Restrict cbqi to literals... tree | commitdiff
2015-09-28 ajreynolImprove quantifiers engine wrt incremental presolve... tree | commitdiff
2015-09-25 ajreynolClear term caches for quantifiers + incremental, fixes... tree | commitdiff
2015-09-15 ajreynolFix bug related to quantifiers + incremental, thanks... tree | commitdiff
2015-09-05 ajreynolFix bugs related to fmf with incremental. Reinitialize... tree | commitdiff
2015-08-16 ajreynolMore optimizations to --macros-quant, add --macros... tree | commitdiff
2015-07-31 ajreynolMake --fmf-fun and --macros-quant work in incremental... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-05-10 ajreynolMinor improvements to infrastructure. Minor changes... tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-12 Andrew ReynoldsWork on array pf signature, add working example. Add... tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Andrew ReynoldsInitial refactor of rewrite rules, make theory_rewriter... tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2014-01-09 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-08 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersChange exit status to be more consistent with other... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. tree | commitdiff
2013-09-13 Morgan DetersMove some regress benchmarks around that took too long... tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan Deterssome fixes for win32, including ability to "make check... tree | commitdiff
2012-11-30 Morgan Detersfix rewrite-rules syntax in regression tree | commitdiff
2012-11-29 Kshitij Bansalreliable benchmark corresponding to bug468 tree | commitdiff
2012-11-26 Dejan Jovanovićfixup for incremental solving tree | commitdiff
2012-11-26 Tim KingDisabling 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 DetersBug-related: tree | commitdiff
2012-09-25 Morgan Deterssome buggy examples for incrementality, and make bug326... tree | commitdiff
2012-08-28 Morgan Detersfix regression tests for automake 1.11 and automake... tree | commitdiff
2012-06-13 Morgan Detersadding some regressions to the usual regressions runs... tree | commitdiff
2012-04-05 Morgan DetersSupport to test the "dumper" mechanism in regressions... tree | commitdiff
2012-03-01 Morgan DetersPartial merge from kind-backend branch, including Minis... tree | commitdiff
2012-02-20 Morgan Detersportfolio merge tree | commitdiff
2011-10-29 Morgan Deterssupport for proof regressions in other parts of the... tree | commitdiff
2011-10-04 Morgan Detersalso add test case tree | commitdiff
2011-10-04 Morgan Detersfixes to context-dependent caching substitutions tree | commitdiff
next