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

Age	Commit message (Expand)	Author
2013-11-10	Flatten libcvc4 build structure; remove some #include interdependences	Morgan Deters
2013-03-22	Support for Boolean term conversion in datatypes.	Morgan Deters
2013-03-14	fix to build system: #include the proper file when they are in both builds an...	Morgan Deters
2012-07-31	Options merge. This commit:	Morgan Deters
2012-07-14	Type enumerator infrastructure and uninterpreted constant support. No suppor...	Morgan Deters
2011-05-05	Merge from nonclausal-simplification-v2 branch:	Morgan Deters
2011-01-05	Commit for the theory engine and rewriter changes. Changes are substantial an...	Dejan Jovanović
2010-08-19	UF theory bug fixes, code cleanup, and extra debugging output.	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	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-05-04	Type-checking classes and hooks (not tested yet).	Dejan Jovanović
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-02-25	* src/expr/node.h: add a copy constructor. Apparently GCC doesn't	Morgan Deters