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

Age	Commit message (Expand)	Author
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
2010-02-17	Initial draft of TheoryUF. Should compile without problems. A decent amount o...	Tim King
2010-02-04	Added theory output channel interfaces and "Interrupted" exception.	Morgan Deters
2009-12-16	Fixes to the build system:	Morgan Deters
2009-12-10	cleanups, assert work, add a stubbed uf theory, fix driver	Morgan Deters