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 / bv /
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-02 Mathias PreinerUpdate CaDiCaL to version 1.0.3. (#3137) tree | commitdiff
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-06-04 Andres NoetzliAdd check that result matches benchmark status (#3028) tree | commitdiff
2019-05-15 Andres NoetzliFix model of Boolean vars with eager bit-blaster (... tree | commitdiff
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) tree | commitdiff
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) tree | commitdiff
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) tree | commitdiff
2018-11-05 yoni206Increasing coverage (#2683) 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-22 yoni206Generating less consistency lemmas in bv-ackermann... tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214) tree | commitdiff
2018-06-02 Mathias PreinerFix BV-abstraction check to consider SKOLEM. (#2042) tree | commitdiff
2018-05-31 Mathias PreinerFix bv-abstraction check for AND with non bit-vector... tree | commitdiff
2018-05-21 makaimannHandle IMPLIES in bool-to-bv and test it in regress0... tree | commitdiff
2018-05-04 Mathias PreinerRefactor bv-intro-pow2 preprocessing pass. (#1851) tree | commitdiff
2018-04-25 yoni206Refactor bv-to-bool and bool-to-bv preprocessing passes... tree | commitdiff
2018-04-20 yoni206Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv... tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-15 Andrew ReynoldsFix corner case for rewrite of mult by pow 2 (#1601) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2018-02-06 Andrew ReynoldsFix two multiply-by-constant corner cases for bv rewrit... tree | commitdiff
2018-01-02 Andrew ReynoldsRewrites for BitVector multiplication (#1465) tree | commitdiff
2017-10-28 Andres NoetzliChange bvudiv semantics based on input language (#1292) tree | commitdiff
2017-05-31 ajreynolMinor change to defaults, update smt comp script, minor... tree | commitdiff
2017-03-29 ajreynolFix bug 787. tree | commitdiff
2017-03-29 Clark BarrettFix for bug 733 tree | commitdiff
2017-03-24 ajreynolAdd some regressions. Minor. tree | commitdiff
2017-01-05 Tim KingDisabling a regression test that assumes CVC4 is config... tree | commitdiff
2017-01-04 Andrew ReynoldsMerge pull request #122 from 4tXJ7f/fix_lfsc_str tree | commitdiff
2017-01-04 guykatzzMerge pull request #120 from 4tXJ7f/fix_f_pp_holes tree | commitdiff
2016-12-17 Andres NotzliFix dependency tracing for fewerPreprocessingHoles tree | commitdiff
2016-12-03 Clark BarrettFix for bug 734 tree | commitdiff
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-11-30 Andres NotzliRemove wrong `ExtractMultLeadingBit` rule 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-11-12 Tim KingMerge pull request #105 from timothy-king/delete-maxed-out tree | commitdiff
2016-11-11 ajreynolAdd simple inferences for extended bitvector functions... tree | commitdiff
2016-10-26 ajreynolEnable bv2nat regressions tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff
2016-10-13 ajreynolMerging bv parts of ajr/bvExt branch, minor additions... tree | commitdiff
2016-01-27 Liana HadareanMerged bit-vector and uf proof branch. tree | commitdiff
2014-06-13 lianahfixed BVMinisat bug due to not clearing seen properly tree | commitdiff
2014-06-10 lianahMerging CAV14 paper bit-vector work. 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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-12 Morgan DetersSome standardization of regression Makefiles that got... tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMinor cleanup. tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' 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-05-03 Tim KingMerging branch 'soiquickexplain'. tree | commitdiff
2013-05-03 Tim KingMerge branch 'fcexplanations' tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-29 Kshitij BansalMerge pull request #9 from kbansal/master tree | commitdiff
2013-04-26 Kshitij BansalMerge experimental decisionweight branch tree | commitdiff
2013-03-29 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... tree | commitdiff
2013-03-23 lianahnon-incremental inequality solver seems to be bug-free... tree | commitdiff
2013-03-22 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahadded regression test for constant eval tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahadded more tests tree | commitdiff
2013-03-21 lianahgeneralized bv inequality reasoning to handle both... tree | commitdiff
2013-03-20 Liana Hadareanone more ineq regression tree | commitdiff
2013-03-20 Liana Hadareanfixed reversed concat in core theory tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-20 Liana Hadareaninequality reasoning works on small examples added... tree | commitdiff
2013-03-16 lianahstarted work on the inequality bv subtheory 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
next