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

Age	Commit message (Collapse)	Author
2013-11-11	Some fixes to build system with dependency-tracking is off; should fix ↵	Morgan Deters
	RPM/Debian builds.
2013-11-07	Minor fixups to last commit	Morgan Deters

2013-11-07	Flatten libcvc4 build structure; remove some #include interdependences	Morgan Deters

2010-09-24	Fix build system for Mac OS X builds (resolves bug #203)	Morgan Deters

2010-07-04	make dist && make distcheck functional, other fixes	Morgan Deters

2010-05-03	theory detection fixes; fixes build breakage when you delete build directories	Morgan Deters

2010-04-14	* Better dependency tracking for unit test building and linking, and	Morgan Deters
	auto-generated headers (metakind.h etc.), so they don't have to be recompiled every time. This drastically improves build time when only small updates are made. * Added "memory.h" unit test header for checking out-of-memory conditions. cdlist_black uses it. * Added helpful output when you "make lcov" in a non-coverage-enabled build. * Removed strict aliasing warning when compiling metakind.h header with optimization on. * Removed const version of NodeBuilder::operator Node()---it was poorly performing, better to not permit it---and fixed the convenience builders to use the non-const version (re: code review #63) * Color-coded test output on capable terminals. * Fixed some warnings in unit tests.