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

2021-03-16	Mathias Preiner	cmake: Generate cvc4_export.h and set visibility to...	blob \| commitdiff \| raw
2021-03-10	Mathias Preiner	cmake: Fix optimization level for debug builds. (#6097)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
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

RSS Atom