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

Age	Commit message (Expand)	Author
2016-04-03	Updating the copyright headers and scripts.	Tim King
2014-07-01	Update copyrights.	Morgan Deters
2014-06-21	Fix compiler warnings in BV-related code (unused vars mostly).	Morgan Deters
2013-12-05	Update copyrights, add missing file-level documentation; fix perms.	Morgan Deters
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters
2013-04-01	update copyrights	Morgan Deters
2013-03-27	fixed inequality checkDisequalities inefficiency	lianah
2013-03-26	added model generation for bv subtheories and bv-inequality solver option	lianah
2013-03-25	getEqualityStatus now also queries the inequality solver	lianah
2013-03-24	added support for disequalities in the inequality solver	Liana Hadarean
2013-03-24	incremental inequality solver implemented	lianah
2013-03-23	non-incremental inequality solver seems to be bug-free (i.e. passes fuzzing)	lianah
2013-03-20	generalized bv inequality reasoning to handle both strict and non-strict ineq...	lianah
2013-03-19	inequality reasoning works on small examples added to regressions (not increm...	Liana Hadarean
2013-03-19	implementing more inequality graph stuff; work in progress doesn't compile	Liana Hadarean
2013-03-18	more work on inequality reasoning for bv	lianah
2013-03-16	started work on the inequality bv subtheory	lianah