summaryrefslogtreecommitdiff
path: root/test/unit/CMakeLists.txt
AgeCommit message (Expand)Author
2021-11-10Reorganize test/unit/api directory. (#7612)Aina Niemetz
2021-11-09Clean up ctest configuration and CI test configuration. (#7620)Aina Niemetz
2021-11-04Refactor cmake to build either static or shared (#7534)Gereon Kremer
2021-10-28Add support for checking if a `-Wno` flag exists before using it (#7514)Andrew V. Jones
2021-09-30Refactor our static builds (#7251)Gereon Kremer
2021-07-16[Unit Tests] Avoid linking against external libs (#6898)Andres Noetzli
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-01Refactor CLN dependency & Cleanup (#6251)Gereon Kremer
2021-03-31Refactor GMP and Poly dependencies (#6245)Gereon Kremer
2021-03-31Refactor SymFPU dependency (#6218)Gereon Kremer
2021-03-29Add external project to install gtest (#6229)Gereon Kremer
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-17Rename test/unit/expr to test/unit/node. (#6156)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-02-26Fix -Werror issues with clang and use clang for debug-cln build. (#6004)Mathias Preiner
2020-12-02google test: base: Migrate map_util_black. (#5580)Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-11-03Add support for printing `re.loop` and `re.^` (#5392)Andres Noetzli
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2019-12-06[proof] Eliminate side-condition from ER signature (#3230)Alex Ozdemir
2019-11-14Use Shebang in cxxtestgen when appropriate (#3458)Alex Ozdemir
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2019-07-31adding bv_gauss unit test to build files (#3135)yoni206
2019-01-06[DRAT] DRAT data structure (#2767)Alex Ozdemir
2018-10-16cmake: Add CxxTest include directory to unit test includes. (#2642)Mathias Preiner
2018-10-04New C++ API: Add checks for Sorts. (#2519)Aina Niemetz
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
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-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: 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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback