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

Age	Commit message (Expand)	Author
2013-03-14	fix to build system: #include the proper file when they are in both builds an...	Morgan Deters
2012-12-01	drastic simplification of quantifiers code regarding equality queries, instan...	Andrew Reynolds
2012-07-31	Options merge. This commit:	Morgan Deters
2012-07-27	merging fmf-devel branch, includes refactored datatype theory, updates to mod...	Andrew Reynolds
2012-07-14	Type enumerator infrastructure and uninterpreted constant support. No suppor...	Morgan Deters
2012-06-11	Merge from quantifiers2-trunkmerge branch.	Morgan Deters
2011-07-11	Clark's work on array theory - can now solve all QF_AX problems	Clark Barrett
2011-05-23	Merge from arrays2 branch.	Morgan Deters
2011-01-05	Commit for the theory engine and rewriter changes. Changes are substantial an...	Dejan Jovanović
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-06-30	* theory "tree" rewriting implemented and works	Morgan Deters
2010-06-15	fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)	Morgan Deters
2010-06-15	remove warnings about unknown #pragma GCC diagnostic on older compilers	Morgan Deters
2010-06-14	Started work on array theory	Clark Barrett
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters