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

Age	Commit message (Collapse)	Author
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-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-20	fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and ↵	Morgan Deters
	bug217.smt2 as regressions; fix to build system to only run regressions (not units) if you "make -C test regress", for example (this matches behavior elsewhere)
2010-09-13	build system consistency in target names for unit test targets	Morgan Deters

2010-02-04	build system for multi-level regressions	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	update-copyright.pl now retrieves and incorporates author information from ↵	Morgan Deters
	repository history; re-ran update-copyright.pl; cleaned up some things with make
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