summaryrefslogtreecommitdiff
path: root/test/unit
AgeCommit message (Expand)Author
2018-11-05API: Fix assignment operators (#2680)Andres Noetzli
2018-10-20Add substr, contains and equality rewrites (#2665)Andres Noetzli
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-19Add helper to detect length one string terms (#2654)Andres Noetzli
2018-10-17Show if ASAN build in --show-config (#2650)Andres Noetzli
2018-10-16cmake: Add CxxTest include directory to unit test includes. (#2642)Mathias Preiner
2018-10-15Delay initialization of theory engine (#2621)Andrew Reynolds
2018-10-15Add more (str.replace x y z) rewrites (#2628)Andres Noetzli
2018-10-12 Add rewrites for str.replace in str.contains (#2623)Andres Noetzli
2018-10-11Improve reasoning about empty strings in rewriter (#2615)Andres Noetzli
2018-10-10Add length-based rewrites for (str.substr _ _ _) (#2610)Andres Noetzli
2018-10-08BV instantiator: Factor out util functions. (#2604)Aina Niemetz
2018-10-08 BV inverter: Factor out util functions. (#2603)Aina Niemetz
2018-10-04New C++ API: Add checks for Sorts. (#2519)Aina Niemetz
2018-10-02unit: Fix ASAN detection for GCC. (#2561)Mathias Preiner
2018-10-02Fix "catching polymorphic type by value" warnings (#2556)Andres Noetzli
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-28Rewrites for (= "" _) and (= (str.replace _) _) (#2546)Andres Noetzli
2018-09-27cmake: Add CxxTest finder module to allow custom paths. (#2542)Mathias Preiner
2018-09-26cmake: Fix test target dependency issues. (#2540)Mathias Preiner
2018-09-24Unify rewrites related to (str.contains x y) --> (= x y) (#2512)Andres Noetzli
2018-09-24Make string rewriter unit tests more robust (#2520)Andres Noetzli
2018-09-22cmake: Run make coverage in parallel by default.Mathias Preiner
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Do not build examples and unit and system tests by default.Aina Niemetz
2018-09-22cmake: Added target checkAina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Add dependencies for test targets and support for make coverage.Aina Niemetz
2018-09-22cmake: Enable parallel execution for test targets regress, units, systemtests.Aina Niemetz
2018-09-22cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.Aina Niemetz
2018-09-22cmake: Disable W-suggest-override for unit tests.Mathias Preiner
2018-09-22cmake: Add target units.Aina Niemetz
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-19Add rewrites for str.contains + str.replace/substr (#2496)Andres Noetzli
2018-09-18Fix issue with str.idof in evaluator (#2493)Andres Noetzli
2018-09-14Refactor how assertions are added to decision engine (#2396)Andres Noetzli
2018-09-10Add (str.replace (str.replace y w y) y z) rewrite (#2441)Andres Noetzli
2018-08-23Add missing overrides in unit tests (#2362)Andres Noetzli
2018-08-17Remove support for flipDecision (#2319)Andrew Reynolds
2018-08-13Removing support for T* and const T* attributes. (#2297)Tim King
2018-08-10Do not use static initialization in CxxTest runner (#2293)Andres Noetzli
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-08-08 Proposal for adding map utility functions to CVC4. (#2232)Tim King
2018-08-01 InteractiveShell: Remove redundant options argument. (#2244)Aina Niemetz
2018-07-30Add support for incremental eager bit-blasting. (#1838)Mathias Preiner
2018-07-05sygusComp2018: Improve string rewriter (#2141)Andres Noetzli
2018-07-04Remove unused CDVector (#2139)Andres Noetzli
2018-07-02Refactor ApplySubsts preprocessing pass. (#2120)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback