cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2021-04-22	cmake: Do not require --auto-download for already downloaded dependencies. ↵	Mathias Preiner
	(#6417) This will look for already downloaded dependencies in the build directory and therefore will not require --auto-download if the dependencies were already downloaded in a previous build.
2021-04-16	Refactor cmake: auto-download and default-on dependencies (#6355)	Gereon Kremer
	This PR changes a few things in how dependencies are handled during configuration: - --x-dir are removed for most dependencies, use the generic --dep-path instead - the cmake ENABLE_AUTO_DOWNLOAD determines whether we attempt to download missing dependencies ourselves - external projects check this option and send an error if it is OFF - some optional dependencies are enabled by default (CaDiCaL, Poly, SymFPU) This will essentially fail every call to ./configure.sh until the user specifies --auto-download.
2021-04-12	Refactor and update copyright headers. (#6316)	Aina Niemetz

2021-04-01	Refactor CLN dependency & Cleanup (#6251)	Gereon Kremer
	This PR migrates CLN to a new Find script and adds the possibility to install CLN if not found in the system. Also, it does a bit of cleanup.
2021-03-31	Refactor GMP and Poly dependencies (#6245)	Gereon Kremer
	Refactors GMP and libpoly to also use external projects and be available within cmake as proper targets.
2021-03-09	Update copyright headers to 2021. (#6081)	Aina Niemetz

2020-09-22	Update copyright header script to support CMake and Python files (#5067)	Mathias Preiner
	This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.
2019-12-06	contrib: Setup all dependencies in deps/ directory. (#3534)	Mathias Preiner

2018-09-22	cmake: Build fully static binaries with option --static.	Mathias Preiner

2018-09-22	cmake: Add options for specifying install directories for dependencies.	Mathias Preiner

2018-09-22	cmake: .cpp generation done, .h generation not yet complete	Aina Niemetz

2018-09-22	cmake: Added initial build infrastructure.	Aina Niemetz