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

Age	Commit message (Collapse)	Author
2010-02-04	src/expr/kind.h is now automatically generated.	Morgan Deters
	Build src/expr before src/util. Moved CVC4::Command to the expr package. Re-quieted the "result is sat/invalid" etc. from PropEngine (this is now done at the main driver level). Added file-level documentation to Antlr sources When built for debug, spin on SEGV instead of aborting. Really useful for debugging problems that crop up only on long runs. Added '--segv-nospin' to override this spinning so that "make check," nightly regressions, etc. don't hang when built with debug. Updated src/main/about.h for 2010.
2010-02-03	Addressed many of the concerns of bug 10 (build system code review).	Morgan Deters
	Some parts split into other bugs: 19, 20, 21. Addressed concerns of bug 11 (util package code review). Slight parser source file modifications: file comments, #included headers in generated parsers/lexers Added CVC4::Result propagation back through MiniSat->PropEngine->SmtEngine->main(). Silenced MiniSat when verbosity is not requested.
2009-12-17	more build system fix-ups	Morgan Deters

2009-12-17	CvcParserBlack and supporting Makefile changes	Christopher L. Conway

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-10	cleanups, assert work, add a stubbed uf theory, fix driver	Morgan Deters

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	parsing/expr/command/result/various other fixes	Morgan Deters

2009-11-23	fixups, file comments	Morgan Deters

2009-11-20	fixes to build/test system	Morgan Deters

2009-11-19	testing framework, configure fixes, incorporations from meeting, continued work	Morgan Deters

2009-11-17	ignored items	Morgan Deters

2009-11-17	fixes/redesign of source layout from meeting	Morgan Deters

2009-11-17	fixes and additions	Morgan Deters

2009-11-12	minor fixes	Morgan Deters

2009-11-12	parser, minisat, other things..	Morgan Deters

2009-11-03	commit of project structure including autotools support	Morgan Deters