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

Age	Commit message (Expand)	Author
2010-10-03	file header documentation regenerated with contributors names; no code modifi...	Morgan Deters
2010-09-27	add workaround for systems (i.e., Mac OS X) that don't support __thread; also...	ACSYS
2010-07-29	Adding configuration_private.h to allow inlining of configuration checks	Christopher L. Conway
2010-07-06	add Configuration::isCompetitionBuild() and some main driver fixes	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-04	* Node::isAtomic() now looks at an "atomic" attribute of arguments	Morgan Deters
2010-04-01	PARSER STUFF:	Morgan Deters