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

Age	Commit message (Collapse)	Author
2019-11-15	Introduce SyGuS datatype API (#3465)	Andrew Reynolds

2019-11-05	Refactor type matcher utility (#3439)	Andrew Reynolds

2019-09-06	Remove portfolio (#3236)	Andrew Reynolds

2019-08-01	Move some generic utilities out of quantifiers (#3139)	Andrew Reynolds

2018-11-27	Make (T)NodeTrie a general utility (#2489)	Andrew Reynolds
	This moves quantifiers::TermArgTrie in src/theory/quantifiers/term_database to (T)NodeTrie in src/expr, and cleans up all references to it.
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-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: Rebase with current master, add new tests/source files.	Mathias Preiner

2018-09-22	cmake: Add missing dependency.	Mathias Preiner

2018-09-22	cmake: Cleanup CMakeLists.txt files, remove SHARED.	Mathias Preiner

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