projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support ackermannization on uninterpreted sorts in BV (#3372)
[cvc5.git] / test / regress / regress0 / arith /
2019-10-28 Andres NoetzliFix integer division rewrite (#3415) tree | commitdiff
2019-10-13 Andrew ReynoldsEliminate negative constant coefficients in div/mod... tree | commitdiff
2019-10-08 Ying ShengMake ackermannization generally applicable rather than... tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
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-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... tree | commitdiff
2018-08-16 Haniel BarbosaRefactor apply2const (#2316) tree | commitdiff
2018-05-23 Andres NoetzliSet same options for proofs as for unsat cores (#1957) tree | commitdiff
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) 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-28 ajreynolEnable non-linear solve by default, update regressions. tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-21 ajreynolProperly handle subtypes in smt2 printer. tree | commitdiff
2017-06-02 ajreynolFix regression. tree | commitdiff
2017-06-02 ajreynolIncorporate datatypes into smt comp script, add regression. tree | commitdiff
2017-04-06 Clark BarrettMerge pull request #143 from FabianWolff/master tree | commitdiff
2017-04-04 Fabian WolffFix several spelling errors tree | commitdiff
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def tree | commitdiff
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge tree | commitdiff
2017-04-03 Tim KingAdding a model based axiom instantiation scheme for... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Tim KingAdding regression test scrubbing. 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
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-23 Liana HadareanAdded option for --check-unsat-cores and various core... tree | commitdiff
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets tree | commitdiff
2014-06-06 Tim KingPatch for the subtype theoryof mode to make the equalit... 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-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-07 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-05 Tim KingImproving support for POW in arithmetic. Resolves bug... 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-20 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-19 Tim KingMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingStopping non-linear terms from entering the dio solver... 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-12-09 Kshitij Bansalmv prp to regress1 tree | commitdiff
2013-12-09 Kshitij Bansalfix bug 542 tree | commitdiff
2013-12-09 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2013-12-09 Kshitij Bansalmv prp to regress1 tree | commitdiff
2013-12-07 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2013-12-07 Kshitij Bansalfix bug 542 tree | commitdiff
2013-12-04 Morgan DetersRemove a regression for which the portfolio takes forev... tree | commitdiff
2013-11-26 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-25 Tim KingMerge remote-tracking branch 'CVC4root/master' tree | commitdiff
2013-11-25 Tim KingSubstantial Changes: 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-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersSupport for abs, to_int, is_int, divisible in SMT-LIB... tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-04 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-29 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-20 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-09 Kshitij BansalMerge branch 'master' of ssh://github.com/CVC4/CVC4 tree | commitdiff
2013-05-09 Tim KingChanging the integer normal form to increase matching. tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-19 Morgan DetersFixes for miplib-trick application (and a new testcase) 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-13 lianahpost failed attempts at getting the incremental solver... 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
next