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

Age	Commit message (Expand)	Author
2016-06-01	Revert "Merging proof branch"	Guy
2016-06-01	Merging proof branch	Guy
2016-04-03	Updating the copyright headers and scripts.	Tim King
2016-03-23	squash-merge from proof branch	Guy
2016-02-24	Unifying the definitions of ClauseId to a single source of truth.	Tim King
2016-02-01	Adding a destructor to ProofOutputChannel.	Tim King
2016-01-28	Adding listeners to Options.	Tim King
2016-01-26	Merged bit-vector and uf proof branch.	Liana Hadarean
2015-03-10	CNF proofs. Infrastructure for preprocessing proofs. Updates to smt.plf sig...	ajreynol
2014-07-01	Update copyrights.	Morgan Deters
2013-12-23	Proof-checking code; fixups of segfaults and missing functionality in proof g...	Morgan Deters
2013-11-05	fixed proof regression script and added a new uf test case	lianah
2013-10-09	cleaned up proof code	lianah
2013-10-09	fixed uf proof bug: now storing deleted theory lemmas	lianah
2013-10-08	added currying for uf proofs; still needs debugging	lianah
2013-10-08	fixed uf proof with holes bugs	lianah
2013-10-07	first draft implementation of uf proofs with holes	Liana Hadarean