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

Age	Commit message (Expand)	Author
2012-09-28	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...	Morgan Deters
2012-05-09	* simplifying equality engine interface	Dejan Jovanović
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-09	minor fixes to lcov build target, better contextobj testing	Morgan Deters
2010-04-09	added experimental "make lcov" target (it runs only unit tests); better cover...	Morgan Deters
2010-04-01	reran update-copyright.pl to get new contributors and add new header comments...	Morgan Deters
2010-03-30	I think this finishes off the CDMap<>/Attribute leaks	Morgan Deters
2010-03-14	* test/unit/context/context_black.h: added a test for Clark's fix to bug #45.	Morgan Deters
2010-03-10	fix production-build unit testing errors (they assumed that assertions were on)	Morgan Deters
2010-03-05	* public/private code untangled (smt/smt_engine.h no longer #includes	Morgan Deters
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters
2010-02-08	Disabling the failing test case for the context.	Dejan Jovanović
2010-02-04	remove -- c++ -- emacs tag from source files (it overrides cvc4-c++-editing...	Morgan Deters
2010-02-04	minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...	Morgan Deters
2010-02-03	some more tests for the context.	Dejan Jovanović
2010-02-02	beginings of test for CDO. one fail	Dejan Jovanović