projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix fp-bool.sy grammar and require symfpu (#2631)
[cvc5.git] / test /
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631) tree | commitdiff
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) tree | commitdiff
2018-10-12 Andres Noetzli Add rewrites for str.replace in str.contains (#2623) tree | commitdiff
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ... tree | commitdiff
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... tree | commitdiff
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) tree | commitdiff
2018-10-10 Andres NoetzliAdd length-based rewrites for (str.substr _ _ _) (... tree | commitdiff
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... tree | commitdiff
2018-10-09 Aina NiemetzBV instantiator: Factor out util functions. (#2604) tree | commitdiff
2018-10-09 Aina Niemetz BV inverter: Factor out util functions. (#2603) tree | commitdiff
2018-10-08 Andrew ReynoldsAddress slow sygus regressions (#2598) tree | commitdiff
2018-10-05 Andrew Reynolds Fix cache for sygus post-condition inference (#2592) tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590) tree | commitdiff
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) tree | commitdiff
2018-10-03 Andrew ReynoldsFix regress (#2575) tree | commitdiff
2018-10-03 Andrew ReynoldsFix stale op list in sets (#2572) tree | commitdiff
2018-10-03 Andrew ReynoldsEliminate partial operators within lambdas during gramm... tree | commitdiff
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567) tree | commitdiff
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566) tree | commitdiff
2018-10-03 Mathias Preinerunit: Fix ASAN detection for GCC. (#2561) tree | commitdiff
2018-10-02 Mathias Preinercmake: Add examples to build-tests, add warning for... tree | commitdiff
2018-10-02 Andres NoetzliFix "catching polymorphic type by value" warnings ... tree | commitdiff
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... tree | commitdiff
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) tree | commitdiff
2018-09-28 Andres NoetzliRewrites for (= "" _) and (= (str.replace _) _) (#2546) tree | commitdiff
2018-09-28 Andres Noetzlicmake: Only do Java tests when unit testing on (#2551) tree | commitdiff
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... tree | commitdiff
2018-09-27 Andrew ReynoldsFix Taylor overapproximation for large exponentials... tree | commitdiff
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) tree | commitdiff
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... tree | commitdiff
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) tree | commitdiff
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539) tree | commitdiff
2018-09-25 Andrew ReynoldsFix quantifiers selector over store rewrite (#2510) tree | commitdiff
2018-09-24 Andres NoetzliUnify rewrites related to (str.contains x y) --> (... tree | commitdiff
2018-09-24 Andres NoetzliMake string rewriter unit tests more robust (#2520) tree | commitdiff
2018-09-23 Andrew ReynoldsFix regress2. (#2502) tree | commitdiff
2018-09-22 Mathias Preinercmake: Fix systemtests dependency. tree | commitdiff
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Refactor cvc4_add_unit_test macro to support... tree | commitdiff
2018-09-22 Mathias Preinercmake: Require JUnit version 4. tree | commitdiff
2018-09-22 Aina Niemetzcmake: More documentation, clean up. tree | commitdiff
2018-09-22 Mathias Preinercmake: Disable unit tests if assertions are not enabled. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Do not build examples and unit and system tests... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added target check tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... tree | commitdiff
2018-09-22 Mathias Preinercmake: Compile Java tests and add to ctest if Java... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added system tests and target make systemtests. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Mathias Preinercmake: Disable W-suggest-override for unit tests. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add target units. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Removed obsolete CMakeLists file in test. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-19 Andres NoetzliAdd rewrites for str.contains + str.replace/substr... tree | commitdiff
2018-09-18 Andres NoetzliFix issue with str.idof in evaluator (#2493) tree | commitdiff
2018-09-18 Andrew ReynoldsImprovements and fixes for symmetry detection and break... tree | commitdiff
2018-09-17 Andrew ReynoldsMake strings model construction robust to lengths that... tree | commitdiff
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine... tree | commitdiff
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... tree | commitdiff
2018-09-13 Haniel BarbosaUses information gain heuristic for building better... tree | commitdiff
2018-09-11 Andrew ReynoldsSupport model cores via option --produce-model-cores... tree | commitdiff
2018-09-11 Andrew ReynoldsFix global negate (#2449) tree | commitdiff
2018-09-10 Andres NoetzliAdd (str.replace (str.replace y w y) y z) rewrite ... tree | commitdiff
2018-09-06 Andrew ReynoldsRefactor and document quantifiers variable elimination... tree | commitdiff
2018-09-05 Andres NoetzliAdd regex grammar to rewriter verification tests (... tree | commitdiff
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427) tree | commitdiff
2018-09-04 Andres NoetzliRemove CVC3 compatibility layer (#2418) tree | commitdiff
2018-09-04 Andrew ReynoldsMake quantifiers strategies exit immediately when in... tree | commitdiff
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) tree | commitdiff
2018-08-28 Andrew Reynolds Fix for get constraints method in fmf-fun (#2399) tree | commitdiff
2018-08-28 Andrew ReynoldsFix sort inference for quantified variables of interpre... tree | commitdiff
2018-08-28 Andrew ReynoldsRefactor extended rewriter, move rewrites to aggressive... tree | commitdiff
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) tree | commitdiff
2018-08-24 Andrew Reynolds Remove spurious disabling of cbqi-all (#2368) tree | commitdiff
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... tree | commitdiff
2018-08-23 Andres NoetzliAdd missing overrides in unit tests (#2362) tree | commitdiff
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364) tree | commitdiff
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354) tree | commitdiff
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann... tree | commitdiff
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353) tree | commitdiff
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS... tree | commitdiff
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus... tree | commitdiff
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) tree | commitdiff
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346) tree | commitdiff
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... tree | commitdiff
2018-08-21 Aina NiemetzRemove disabled system test cvc3_george. (#2342) tree | commitdiff
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337) tree | commitdiff
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure... tree | commitdiff
2018-08-17 Andrew ReynoldsRemove support for flipDecision (#2319) tree | commitdiff
2018-08-17 Andrew Reynolds Add sygus stream regressions (#2330) tree | commitdiff
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331) tree | commitdiff
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normaliza... tree | commitdiff
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) tree | commitdiff
next