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

Age	Commit message (Collapse)	Author
2014-03-31	Travis-CI test for new-theory script, also related bugfixes.	Morgan Deters

2014-03-28	get-antlr error on missing config.guess	Kshitij Bansal

2014-03-26	Merge branch '1.3.x'	Morgan Deters
	Conflicts: src/theory/arith/normal_form.cpp
2014-03-26	Win32 build script fixes (to allow portfolio builds).	Morgan Deters

2014-03-12	Draft contrib/get-abc script for bitvectors libabc support.	Morgan Deters

2014-01-27	URL update	Morgan Deters

2014-01-02	Update copyright year.	Morgan Deters

2013-12-05	Script fixes; when determining authorship of source files, don't count ↵	Morgan Deters
	copyright-updating commits.
2013-11-27	General pre-release cleanup commit	Morgan Deters
	* Rename {model,util_model}.{h,cpp} files to match class names * Fix alreadyVisited() issue in TheoryEngine * Remove spurious Message that causes compliance issues * Update copyrights, fix public/private markings in headers * minor comment fixes * remove EXTRACT_OP as a special-case in typechecker * note about rewriters in theoryskel readme * Clean up some compiler warnings * Code typos and spacing
2013-11-13	Another build fix; the dust should be settled now.	Morgan Deters

2013-11-12	Fix new-theory script for new, flattened build system.	Morgan Deters

2013-09-13	Documentation fixes, some code typo fixes, file perms, other minor things.	Morgan Deters

2013-07-30	Minor fixes to build system.	Morgan Deters

2013-07-16	Fix for get-antlr script and PIC/non-PIC objects, on some platforms	Morgan Deters

2013-06-08	Fix typos in alttheoryskel	Morgan Deters

2013-06-03	Updated CASC scripts, as provided to Geoff Sutcliffecasc24	Morgan Deters

2013-05-20	Possible final version of run scripts for casc.	Andrew Reynolds

2013-05-17	Add model-producing run script for casc.	Andrew Reynolds

2013-05-14	Update casc24-fnt run script. Add casc24-fof run script.	Andrew Reynolds

2013-05-11	Preliminary version of finite model finding over bounded integer ↵	Andrew Reynolds
	quantification. Minor update to casc script.
2013-05-10	Update casc run script. Work on compliance for SZS output.	Andrew Reynolds

2013-05-09	Add simplification option --fo-prop-quant. Add model support for new ↵	Andrew Reynolds
	model-checking procedure. Add run script for casc24-fnt.
2013-05-08	final updates for smt-eval script	Morgan Deters

2013-05-07	fix for smt-eval run script	Morgan Deters

2013-05-07	BV strategy for SMT-EVAL	Morgan Deters

2013-05-06	Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters	Morgan Deters

2013-04-23	Theory "alternates" support	Morgan Deters
	* This is a feature that Dejan and I want for the upcoming tutorial. It allows rapid prototyping of new decision procedure implementations (which we may choose to demonstrate), and a new --use-theory command-line option to select from different available implementations. It has no affect on the current set of theories, as no "alternates" are defined. * Also update the new-theory script, which was broken and incomplete.
2013-04-03	Pre-release versioning	Morgan Deters

2013-04-03	Some final minor changes before cutting 1.1.	Morgan Deters
	* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression
2013-04-02	Fix get-authors script to not extract email addresses, canonicalize names, ↵	Morgan Deters
	add .mailmap
2013-04-01	Adjust release Makefile rules, new run script	Morgan Deters

2013-04-01	Merging some cleanup work:	Morgan Deters
	* Comment cleanup * Spelling fixes * Fix warnings * Documentation updates * References in docs to cryptominisat removed * Unneeded scope resolutions removed * Old, unused regression removed
2013-03-19	Remove PropositionalQuery class and all CUDD-related build stuff (and ↵	Morgan Deters
	references)
2013-02-16	Some cleanup and copyright updating	Morgan Deters
	* update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles
2013-02-04	fixed files with DOS newlines; fixed contrib/ scripts to use git	Morgan Deters

2013-01-25	Fix errors and reduce warnings on clang (merge from mdeters/clang)	Morgan Deters

2013-01-24	Add win32 support (merge from mdeters/win32, with some cleanup).	Morgan Deters

2013-01-22	update ANTLR URLs (antlr.org -> antlr3.org)	Morgan Deters

2012-12-01	Cutting release 1.0.1.0	Morgan Deters

2012-12-01	fix cut-release sanity checks	Morgan Deters

2012-11-30	minor fix to release script	Morgan Deters

2012-10-24	Includes many fixes to build system for Solaris (thanks Tim!), and also	Morgan Deters
	just in general, and some documentation adjustments.
2012-10-23	The contrib/get-antlr-3.4 script:	Tim King
	- Has no outdated reference to /usr/share/java/stringtemplate.jar (as discussed on the mailing list). - Attempts to determine if the computer is 64 or 32 bit and configure antlr appropriately. - Warns the user about it's guess. - Tells the user how to correct an incorrect guess.
2012-10-22	add bug 425 models regression; fix mac-build execute permission	Morgan Deters

2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
	just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.)
2012-10-08	* Models' SubstitutionMaps are now attached to the user context	Morgan Deters
	(rather than SAT context) * Enable part of CVC3 system test (resolves bug 375) * Fix infinite recursion in beta reduction code (resolves bug 417) * Some model-building assertions have been added * Other minor changes (this commit was certified error- and warning-free by the test-and-commit script.)
2012-10-06	* Clean up some options documentation	Morgan Deters
	* Remove defunct --no-theory-registration option * Point people to Wiki tutorial * Modernize the cut-release script * Misc cleanup, documentation (this commit was certified error- and warning-free by the test-and-commit script.)
2012-10-03	updates to contrib scripts to match docs	Morgan Deters

2012-10-03	better documentation, allow examples to be installed, etc	Morgan Deters

2012-09-26	Fix a handful of things for Mac, and Java bindings.	Morgan Deters
	Also add a "mac-build" script that sets up prerequisites for Mac.