projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Stratify enumerative instantiation (#2954)
[cvc5.git] / test / regress / CMakeLists.txt
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954) blob | commitdiff | raw
2019-04-11 Andrew Reynolds Eliminate Boolean ITE within terms, fixes 2947 (#2949) blob | commitdiff | raw | diff to current
2019-04-05 Andrew ReynoldsFix another corner case of datatypes+PBE (#2938) blob | commitdiff | raw | diff to current
2019-04-03 Andrew ReynoldsFix combination of datatypes + strings in PBE (#2930) blob | commitdiff | raw | diff to current
2019-04-01 Andres NoetzliFP: Fix wrong model due to partial assignment (#2910) blob | commitdiff | raw | diff to current
2019-04-01 Andres NoetzliMove slow string regression to regress3 (#2913) blob | commitdiff | raw | diff to current
2019-03-29 Andrew ReynoldsApply empty splits more aggressively in sets+cardinalit... blob | commitdiff | raw | diff to current
2019-03-22 Andrew ReynoldsMore fixes for PBE with datatypes (#2882) blob | commitdiff | raw | diff to current
2019-03-21 Andrew ReynoldsRewrite selectors correctly applied to constructors... blob | commitdiff | raw | diff to current
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) blob | commitdiff | raw | diff to current
2019-03-19 Andrew ReynoldsFix fairness issue with fast sygus enumerator (#2873) blob | commitdiff | raw | diff to current
2019-03-15 Haniel BarbosaNew beta-reduction for HOL solving (#2869) blob | commitdiff | raw | diff to current
2019-03-14 Andrew ReynoldsUse zero slope tangent planes for transcendental functi... blob | commitdiff | raw | diff to current
2019-03-14 Andrew ReynoldsImplement proper semantics for TPTP predicate is_rat... blob | commitdiff | raw | diff to current
2019-03-12 Andrew Reynolds Move tuple/record update elimination from ppRewrite... blob | commitdiff | raw | diff to current
2019-01-22 Andrew Reynolds Fix tuple and record CVC printing (#2818) blob | commitdiff | raw | diff to current
2019-01-22 Andrew Reynolds Fix parsing of overloaded parametric datatype selector... blob | commitdiff | raw | diff to current
2019-01-17 Andres NoetzliAdd option to print BV constants in binary (#2805) blob | commitdiff | raw | diff to current
2019-01-16 Andrew ReynoldsFix constant contains ITOS rewrite (#2799) blob | commitdiff | raw | diff to current
2019-01-15 Andrew Reynolds Fix unsound double abs rewrite rule for FP (#2792) blob | commitdiff | raw | diff to current
2019-01-09 Andrew ReynoldsDo not rewrite 1-constructor sygus testers to true... blob | commitdiff | raw | diff to current
2018-12-19 Andrew ReynoldsFix issues with REWRITE_DONE in floating point rewriter... blob | commitdiff | raw | diff to current
2018-12-14 Andrew Reynolds Fix extended rewriter for binary associative operators... blob | commitdiff | raw | diff to current
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) blob | commitdiff | raw | diff to current
2018-12-07 Andres NoetzliStrings: Make EXTF_d inference more conservative (... blob | commitdiff | raw | diff to current
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725) blob | commitdiff | raw | diff to current
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible... blob | commitdiff | raw | diff to current
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) blob | commitdiff | raw | diff to current
2018-11-20 Andrew ReynoldsFix real2int regression. (#2716) blob | commitdiff | raw | diff to current
2018-11-19 Andrew ReynoldsFix E-matching for case where candidate generator is... blob | commitdiff | raw | diff to current
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays... blob | commitdiff | raw | diff to current
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) blob | commitdiff | raw | diff to current
2018-11-05 yoni206Increasing coverage (#2683) blob | commitdiff | raw | diff to current
2018-10-22 Andres NoetzliRecover from wrong use of get-info :reason-unknown... blob | commitdiff | raw | diff to current
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... blob | commitdiff | raw | diff to current
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) blob | commitdiff | raw | diff to current
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) blob | commitdiff | raw | diff to current
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) blob | commitdiff | raw | diff to current
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... blob | commitdiff | raw | diff to current
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) blob | commitdiff | raw | diff to current
2018-10-08 Andrew ReynoldsAddress slow sygus regressions (#2598) blob | commitdiff | raw | diff to current
2018-10-05 Andrew Reynolds Fix cache for sygus post-condition inference (#2592) blob | commitdiff | raw | diff to current
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590) blob | commitdiff | raw | diff to current
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) blob | commitdiff | raw | diff to current
2018-10-03 Andrew ReynoldsFix stale op list in sets (#2572) blob | commitdiff | raw | diff to current
2018-10-03 Andrew ReynoldsEliminate partial operators within lambdas during gramm... blob | commitdiff | raw | diff to current
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567) blob | commitdiff | raw | diff to current
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566) blob | commitdiff | raw | diff to current
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... blob | commitdiff | raw | diff to current
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) blob | commitdiff | raw | diff to current
2018-09-27 Andrew ReynoldsFix Taylor overapproximation for large exponentials... blob | commitdiff | raw | diff to current
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) blob | commitdiff | raw | diff to current
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... blob | commitdiff | raw | diff to current
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) blob | commitdiff | raw | diff to current
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: More documentation, clean up. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added target check blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. blob | commitdiff | raw | diff to current