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

Age	Commit message (Collapse)	Author
2018-03-08	Fixed message in get-antlr script.	Aina Niemetz

2018-02-06	Use separate shell script for common get-* script parts. (#1567)	Mathias Preiner

2017-11-01	Add option to build shared Windows dependencies (#1282)	Andres Noetzli
	This commit adds an option to the contrib/get-win-dependencies script (-s) to build shared library versions of ANTLR and GMP, which enables building the shared versions of the CVC4 libraries needed for language bindings.
2015-12-01	Adds attempt to download config.guess to get-antlr-3.4 script.	Chris Conway
	This should work around the case where autogen.sh hasn't been run, as long as the download succeeds.
2015-02-12	try curl before wget, workaround for issue with FTP PASV	Kshitij Bansal

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

2014-01-27	URL update	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-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-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-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.
2012-06-13	Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ↵	Morgan Deters
	condition when reading from stdin. This should completely resolve bug #319. However, on large inputs especially (like the stp/testcase benchmarks), this inlining feature can speed parsing by 5-10%, at the cost of not supporting interactive sessions on stdin (like in the SMT-COMP application track). So I updated the submission script and competition build so that * a competition build with antlr-inlining is built for the main and parallel tracks * a competition build without antlr-inlining is built for the application track Again, the effect is only when reading the stdin stream (but that's how SMT-COMP works). For normal (non-competition) builds, we need to support interactive sessions (from e.g. KIND) on stdin, so this inlining is off for all builds except main- and parallel-track competition builds. Also added a "get-antlr-3.4" script that automatically downloads and locally installs a copy of libantlr3c and the antlr parser generator inside the CVC4 source tree. Closing bug #319.