git.libre-soc.org Git - cvc5.git/history

2018-10-02	Mathias Preiner	cmake: Add examples to build-tests, add warning for...	blob \| commitdiff \| raw
2018-10-01	Mathias Preiner	cmake: Add build target build-tests to build all test...	blob \| commitdiff \| raw \| diff to current
2018-09-28	Andres Noetzli	cmake: Only do Java tests when unit testing on (#2551)	blob \| commitdiff \| raw \| diff to current
2018-09-26	Mathias Preiner	cmake: Fix test target dependency issues. (#2540)	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Run make coverage in parallel by default.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Disable unit tests if assertions are not enabled.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Do not build examples and unit and system tests...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added target check	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Removed obsolete CMakeLists file in test.	blob \| commitdiff \| raw
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	blob \| commitdiff \| raw \| diff to current