summaryrefslogtreecommitdiff
path: root/test/CMakeLists.txt
AgeCommit message (Expand)Author
2021-11-16Translating API tests to Python — part 1 (#7597)yoni206
2021-11-10Reorganize test/unit/api directory. (#7612)Aina Niemetz
2021-09-29remove stuff (#7258)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-05A proposal for python api unit tests (#6255)yoni206
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-14Rename system tests to api tests and remove obsolete Java test. (#5066)Aina Niemetz
2020-08-12Add option to only build library (#4801)makaimann
2020-07-01Add testing infrastructure for LFSC signatures (#4678)Andres Noetzli
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-10-18cmake: Run regression level 2 for make check. (#2645)Mathias Preiner
2018-10-02cmake: Add examples to build-tests, add warning for disabling static build. (...Mathias Preiner
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-28cmake: Only do Java tests when unit testing on (#2551)Andres Noetzli
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: Disable unit tests if assertions are not enabled.Mathias Preiner
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: Removed obsolete CMakeLists file in test.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