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

Age	Commit message (Expand)	Author
2014-05-16	sets: fix a bug in model building, another in handling set of sets	Kshitij Bansal
2014-05-11	More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...	Andrew Reynolds
2014-04-29	Mostly resolves bug #561 memory leaks, and more.	Morgan Deters
2014-04-10	Expand definitions in theory datatypes, now has the expected semantics for in...	Andrew Reynolds
2014-03-20	cleanup	Kshitij Bansal
2014-03-20	fix for sets/mar2014/..317minimized..	Kshitij Bansal
2014-03-20	fix a sharing issues with sets	Kshitij Bansal
2013-12-05	Update copyrights, add missing file-level documentation; fix perms.	Morgan Deters
2013-11-27	General pre-release cleanup commit	Morgan Deters