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

2020-03-31	Andrew Reynolds	Remove replay and use-theory options and idl (#4186)	blob \| commitdiff \| raw
2020-02-11	Mathias Preiner	cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Refactor and clean up build profile printing.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Various portfolio/default option fixes.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Enable shared by default.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Add support for CxxTest.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Filter through and disable unused HAVE_* variabl...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added support for coverage and profiling.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added 3-valued option handling (to enable detect...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Added licensing options and warnings/errors.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Add build configurations.	blob \| commitdiff \| raw \| diff to current