Age | Commit message (Expand) | Author |
---|---|---|
2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz |
2018-09-22 | cmake: Do not build examples and unit and system tests by default. | Aina Niemetz |
2018-09-22 | cmake: Added target check | Aina Niemetz |
2018-09-22 | cmake: Only build libcvc4 and libcvc4parser as libraries. | Mathias Preiner |
2018-09-22 | cmake: Add dependencies for test targets and support for make coverage. | Aina Niemetz |
2018-09-22 | cmake: Enable parallel execution for test targets regress, units, systemtests. | Aina Niemetz |
2018-09-22 | cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON. | Aina Niemetz |
2018-09-22 | cmake: Disable W-suggest-override for unit tests. | Mathias Preiner |
2018-09-22 | cmake: Add target units. | Aina Niemetz |
2018-09-22 | cmake: Add support for CxxTest. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |