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

Age	Commit message (Collapse)	Author
2020-12-01	google test: Infrastructure and first api test. (#5548)	Aina Niemetz
	This sets up the infrastructure for migrating unit tests from CxxTest to Google Test. It further migrates api/datatype_api_black to the new infrastructure.
2020-10-05	cmake: Add warning when unit testing is disabled due to assertions being ↵	Aina Niemetz
	disabled. (#5204) This further fixes the testing instructions for API tests (formerly known as system tests) in INSTALL.md. Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
2020-08-04	Add documentation and build instructions for recompilation (LGPL). (#4844)	Mathias Preiner

2020-07-17	Support for using 'libedit' over 'readline' #4571 (#4579)	Andrew V. Jones
	Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
2020-07-17	Integration of libpoly (#4679)	Gereon Kremer
	This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration. Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
2020-07-02	Remove SWIG bindings (#4683)	Andres Noetzli
	This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API.
2020-06-19	Update version information post 1.8 release (#4635)	Andres Noetzli

2020-06-19	Update info for 1.8 release (#4633)	Andres Noetzli

2020-04-28	contrib/get-gmp: Rename and update install instructions with a warning. (#4407)	Aina Niemetz

2020-04-27	Fix examples instructions in INSTALL.md. (#4397)	Mathias Preiner

2020-02-04	Update INSTALL.md (#3714)	mudathirmahgoub
	Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
2019-12-17	Generate code for options with modes. (#3561)	Mathias Preiner
	This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace.
2019-09-25	Add Windows cross-compiling instructions to INSTALL.md. (#3226)	Mathias Preiner

2019-04-12	Referring to prerelease 1.8 (#2943)	Haniel Barbosa

2019-04-08	"prerelease -> release" in INSTALL (#2944)	Haniel Barbosa

2019-03-14	Improve INSTALL instructions. (#2866)	Aina Niemetz

2018-11-01	fixes to regression docs (#2679)	yoni206

2018-10-18	cmake: Run regression level 2 for make check. (#2645)	Mathias Preiner

2018-10-02	Fix documentation for `make regress`. (#2557)	Alex Ozdemir

2018-09-25	cmake: New INSTALL.md for build and testing instructions. (#2536)	Aina Niemetz