projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cmake: Disable unit tests for static builds. (#2775)
[cvc5.git] / test /
2019-01-04 Andres NoetzliC++ API: Fix OOB read in unit test (#2774) tree | commitdiff
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674) tree | commitdiff
2019-01-03 Andres NoetzliC++ API: Reintroduce zero-value mkBitVector method... tree | commitdiff
2019-01-03 Aina NiemetzNew C++ API: Add tests for mk-functions in solver objec... tree | commitdiff
2018-12-19 Andrew ReynoldsFix issues with REWRITE_DONE in floating point rewriter... tree | commitdiff
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755) tree | commitdiff
2018-12-14 Aina NiemetzNew C++ API: Add tests for opterm object. (#2756) tree | commitdiff
2018-12-14 Andrew Reynolds Fix extended rewriter for binary associative operators... tree | commitdiff
2018-12-13 Aina NiemetzNew C++ API: Add tests for sort functions of solver... tree | commitdiff
2018-12-12 Andres NoetzliAPI: Add simple empty/sigma regexp unit tests (#2746) tree | commitdiff
2018-12-11 Andrew ReynoldsRemove alternate versions of mbqi (#2742) tree | commitdiff
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) tree | commitdiff
2018-12-07 Andres NoetzliStrings: Make EXTF_d inference more conservative (... tree | commitdiff
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) tree | commitdiff
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725) tree | commitdiff
2018-11-28 Andres NoetzliImprove skolem caching by normalizing skolem args ... tree | commitdiff
2018-11-22 Andres NoetzliAdd rewrite for (str.substr s x y) --> "" (#2695) tree | commitdiff
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible... tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-11-20 Andrew ReynoldsFix real2int regression. (#2716) tree | commitdiff
2018-11-19 Andrew ReynoldsFix E-matching for case where candidate generator is... tree | commitdiff
2018-11-08 Andres NoetzliEvaluator: add support for str.code (#2696) tree | commitdiff
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays... tree | commitdiff
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) tree | commitdiff
2018-11-05 Aina NiemetzNew C++ API: Split unit tests. (#2688) tree | commitdiff
2018-11-05 yoni206Increasing coverage (#2683) tree | commitdiff
2018-11-05 Andres NoetzliAPI: Fix assignment operators (#2680) tree | commitdiff
2018-11-05 Andrew ReynoldsAllow partial models with optimized sygus enumeration... tree | commitdiff
2018-11-02 yoni206fixes to regression docs (#2679) tree | commitdiff
2018-10-22 Andres NoetzliRecover from wrong use of get-info :reason-unknown... tree | commitdiff
2018-10-20 Andres NoetzliAdd substr, contains and equality rewrites (#2665) tree | commitdiff
2018-10-20 Andres NoetzliDisable dumping test for non-dumping builds (#2662) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-19 Andres NoetzliAdd helper to detect length one string terms (#2654) tree | commitdiff
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... tree | commitdiff
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) tree | commitdiff
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) tree | commitdiff
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) tree | commitdiff
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636) tree | commitdiff
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) tree | commitdiff
2018-10-18 Andres Noetzli Skip sygus-rr-synth-check regressions when ASAN on... tree | commitdiff
2018-10-18 Andres NoetzliShow if ASAN build in --show-config (#2650) tree | commitdiff
2018-10-16 Mathias Preinercmake: Add CxxTest include directory to unit test inclu... tree | commitdiff
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) tree | commitdiff
2018-10-15 Andres NoetzliAdd more (str.replace x y z) rewrites (#2628) tree | commitdiff
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
next