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

Age	Commit message (Collapse)	Author
2011-09-30	interfaces fixes and cleanups...and examples of each interface!	Morgan Deters

2011-07-11	submission script	Morgan Deters

2011-07-09	fix submission makefile	Morgan Deters

2011-06-18	Some fixes inspired by Fedora 15:	Morgan Deters
	* compilation fixes for GCC 4.6.x + ptrdiff_t is now in std:: * fix some make rules that are ok in Make 3.81 but broke in Make 3.82 * look for cxxtestgen.py as well as cxxtestgen.pl, and look for cxxtest headers in /usr/include
2011-04-10	merge from replay branch	Morgan Deters

2011-03-15	Merge from cudd branch. This mostly just adds support for linking	Morgan Deters
	against cudd libraries, the propositional_query class (in util/), which uses cudd if it's available (and otherwise answers UNKNOWN for all queries), and the arith theory support for it (currently disabled per Tim's request, so he can clean it up). Other changes include: * contrib/debug-keys - script to print all used keys under Debug(), Trace() * test/regress/run_regression - minor fix (don't export a variable) * configure.ac - replace a comment removed by dejan's google perf commit * some minor copyright/documentation updates, and minor changes to source text to make 'clang --analyze' happy.
2010-10-31	enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some ↵	Morgan Deters
	documentation, and make it possible to "make doc" on a clean source tree (post-configure)
2010-10-29	portability updates to build system	Morgan Deters

2010-09-02	neglected build system update from r848 (last commit)	Morgan Deters

2010-07-07	competition submission should be fully static	Morgan Deters

2010-07-07	fixed submission target	Morgan Deters

2010-07-07	things for competition upload: new "make submission" target	Morgan Deters

2010-02-04	test infrastructure updated for multiple-level regressions	Morgan Deters

2010-01-27	support "make check" in src/ subdirs for unit-testing of just that module; ↵	Morgan Deters
	also support synonyms for "make check" globally
2009-12-17	coding standard fix on SmtEngine; fix recursive make	Morgan Deters

2009-12-17	build system cleanup; test system separation into white-box, black-box, and ↵	Morgan Deters
	public tests
2009-12-16	Fixes to the build system:	Morgan Deters
	Makefile.am files - remove obsolete INCLUDES, incorporate into AM_CPPFLAGS Makefile files in src/ - support "make" under src/ (current build profile) configure.ac - updates to fix warnings config/antlr.m4 - updates to fix warnings autogen.sh - updates to generate warnings from autotools; also support Macs src/include/cvc4_config.h - guard with #ifdef total reimplementation of NodeBuilder ExprValue => NodeValue context_mm.{h,cpp} - fixed numerous compile errors
2009-12-08	check in automake/libtool/autoconf-generated files; add better file not ↵	Morgan Deters
	found handling
2009-12-07	big check-in of various fixes and adjustments	Morgan Deters

2009-12-05	more build system work	Morgan Deters

2009-12-04	more build system work	Morgan Deters

2009-12-03	first attempt at new build system	Morgan Deters