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

Age	Commit message (Expand)	Author
2015-10-26	This commit removes using absolute paths in the generation of the .subdirs fi...	Tim King
2013-11-11	Some fixes to build system with dependency-tracking is off; should fix RPM/De...	Morgan Deters
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