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

Age	Commit message (Collapse)	Author
2014-06-21	Some minor cleanup and documentation.	Morgan Deters

2014-06-19	update to abc install instructions	lianah

2014-06-19	Documentation clean-ups.	Morgan Deters

2014-06-19	Versioning preparation.	Morgan Deters

2014-05-19	More documentation fixes. Apologies for multiple commits.	Tim King

2014-05-19	Fixing documentation for glpk configuration.	Tim King

2014-05-05	Improving documentation for glpk-cut-log switch.	Tim King

2013-12-17	some config changes: new --bsd option, readline gives warning, default build ↵	Morgan Deters
	is now production.
2013-11-27	Some versioning in advance of the 1.3 release.	Morgan Deters

2013-05-08	Cutting release 1.2.1.2	Morgan Deters

2013-04-26	FCSimplex branch merge	Tim King

2013-04-03	Some final minor changes before cutting 1.1.	Morgan Deters
	* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression
2013-03-19	Remove PropositionalQuery class and all CUDD-related build stuff (and ↵	Morgan Deters
	references)
2012-10-24	Includes many fixes to build system for Solaris (thanks Tim!), and also	Morgan Deters
	just in general, and some documentation adjustments.
2012-10-19	--fallback-sequential / --no-fallback-sequential option	Kshitij Bansal
	closes bug 419, fix typo, fix warning (this commit was certified error- and warning-free by the test-and-commit script.)
2012-10-09	some documentation fixes	Morgan Deters

2012-10-06	* Clean up some options documentation	Morgan Deters
	* Remove defunct --no-theory-registration option * Point people to Wiki tutorial * Modernize the cut-release script * Misc cleanup, documentation (this commit was certified error- and warning-free by the test-and-commit script.)
2012-10-06	* Some documentation about building compatibility and language bindings	Morgan Deters
	* Better errors/warnings when SWIG isn't installed (resolves bug 373) * Allow compatibility bindings to be built when SWIG isn't available
2012-10-03	new README and INSTALL files	Morgan Deters

2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
	Dumping infrastructure. Can dump preprocessed queries and clauses. Can also dump queries (for testing with another solver) to see if any conflicts are missed, T-propagations are missed, all lemmas are T-valid, etc. For a full list of options see --dump=help. CUDD building much cleaner. Documentation and assertion fixes. Printer improvements, printing of commands in language-defined way, etc. Typechecker stuff in expr package now autogenerated, no need to manually edit the expr package when adding a new theory. CVC3 compatibility layer (builds as libcompat). SWIG detection and language binding support (infrastructure). Support for some Z3 extended commands (like datatypes) in SMT-LIBv2 mode (when not in compliance mode). Copyright and file headers regenerated.
2009-11-03	commit of project structure including autotools support	Morgan Deters