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

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2019-08-02	Mathias Preiner	Update CaDiCaL to version 1.0.3. (#3137)	blob \| commitdiff \| raw \| diff to current
2019-05-18	Andres Noetzli	Support for incremental bit-blasting with CaDiCaL ...	blob \| commitdiff \| raw \| diff to current
2019-04-16	makaimann	Check for rt library in configuration -- support for...	blob \| commitdiff \| raw \| diff to current
2018-10-20	Mathias Preiner	Remove antlr_undefines.h. (#2664)	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add support for cross-compiling for Windows.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Various CMakeLists.txt fixes/cleanup.	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add missing checks for cvc4autoconfig.h to Confi...	blob \| commitdiff \| raw \| diff to current
2018-09-22	Mathias Preiner	cmake: Add module finder for CLN.	blob \| commitdiff \| raw \| diff to current