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

2020-07-07	Andrew V. Jones	Increase the minimum version of CMake due to the use...	blob \| commitdiff \| raw
2020-06-29	Andres Noetzli	Make ExprManager constructor private (#4669)	blob \| commitdiff \| raw \| diff to current
2020-06-09	Andres Noetzli	Language bindings: Enable catching of exceptions (...	blob \| commitdiff \| raw \| diff to current
2019-10-03	Aina Niemetz	Travis: Reenable building and running of examples....	blob \| commitdiff \| raw \| diff to current
2019-09-25	Mathias Preiner	Use separate CMake project for CVC4 examples. (#3196)	blob \| commitdiff \| raw \| diff to current
2019-08-08	Mathias Preiner	Fix issues with Ninja build system and add configure...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Mathias Preiner	cmake: Require boost 1.50.0 for examples. (#2710)	blob \| commitdiff \| raw \| diff to current
2018-10-09	Aina Niemetz	Cmake: Fix ctest call for example/translator. (#2600)	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add more documentation, some fixes and cleanup.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Refactor cvc4_add_unit_test macro to support...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Add target runexamples.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Guard examples that require Boost.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: examples: Configure output directory per target.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added java examples	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added target examples (currently .cpp examples...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	blob \| commitdiff \| raw \| diff to current

RSS Atom