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

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-03-31	Andrew Reynolds	Remove replay and use-theory options and idl (#4186)	blob \| commitdiff \| raw \| diff to current
2020-02-11	Mathias Preiner	cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)	blob \| commitdiff \| raw \| diff to current
2019-09-07	Andrew Reynolds	Remove portfolio (#3236)	blob \| commitdiff \| raw \| diff to current
2018-09-27	Mathias Preiner	cmake: Only print dumping warning if not disabled by...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Do not allow dumping with portfolio build.	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: Added 3-valued option handling (to enable detect...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Aina Niemetz	cmake: Add build configurations.	blob \| commitdiff \| raw \| diff to current