projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Throw exception for getting value of non-well-founded datatype (#7806)
[cvc5.git] / test / CMakeLists.txt
2021-11-24 Andres NoetzliAlways enable API black box unit tests (#7696) blob | commitdiff | raw
2021-11-16 yoni206Translating API tests to Python — part 1 (#7597) blob | commitdiff | raw | diff to current
2021-11-10 Aina NiemetzReorganize test/unit/api directory. (#7612) blob | commitdiff | raw | diff to current
2021-09-29 Gereon Kremerremove stuff (#7258) blob | commitdiff | raw | diff to current
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-05 yoni206A proposal for python api unit tests (#6255) blob | commitdiff | raw | diff to current
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-15 Aina NiemetzRename system tests to api tests and remove obsolete... blob | commitdiff | raw | diff to current
2020-08-12 makaimannAdd option to only build library (#4801) blob | commitdiff | raw | diff to current
2020-07-01 Andres NoetzliAdd testing infrastructure for LFSC signatures (#4678) blob | commitdiff | raw | diff to current
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... blob | commitdiff | raw | diff to current
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) blob | commitdiff | raw | diff to current
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... blob | commitdiff | raw | diff to current
2018-10-19 Mathias Preinercmake: Run regression level 2 for make check. (#2645) blob | commitdiff | raw | diff to current
2018-10-02 Mathias Preinercmake: Add examples to build-tests, add warning for... blob | commitdiff | raw | diff to current
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... blob | commitdiff | raw | diff to current
2018-09-28 Andres Noetzlicmake: Only do Java tests when unit testing on (#2551) blob | commitdiff | raw | diff to current
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. blob | commitdiff | raw | diff to current
2018-09-22 Mathias Preinercmake: Disable unit tests if assertions are not enabled. blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Do not build examples and unit and system tests... blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Added target check blob | commitdiff | raw | diff to current
2018-09-22 Aina Niemetzcmake: Removed obsolete CMakeLists file in test. blob | commitdiff | raw
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. blob | commitdiff | raw | diff to current