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

Age	Commit message (Collapse)	Author
2021-04-21	Goodbye CVC4, hello cvc5! (#6371)	Mathias Preiner
	This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
2021-04-12	Refactor and update copyright headers. (#6316)	Aina Niemetz

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.
2018-09-24	cmake: Fix dependencies for code generation. (#2524)	Mathias Preiner

2018-09-24	cmake: Fix theory order #2. (#2522)	Mathias Preiner

2018-09-24	cmake: Fix theory order. (#2518)	Mathias Preiner

2018-09-22	cmake: Only build libcvc4 and libcvc4parser as libraries.	Mathias Preiner
	The sources of all previous libraries are now added to libcvc4 and built as libcvc4. This removes circular dependencies between libcvc4 and libexpr. Further, we now only have one parser library and don't build additional libraries for each language.
2018-09-22	cmake: Working build infrastructure.	Mathias Preiner
	TODO: cvc4autoconfig.h
2018-09-22	cmake: .cpp generation done, .h generation not yet complete	Aina Niemetz

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