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

Age	Commit message (Collapse)	Author
2018-10-19	Remove autotools build system. (#2639)	Mathias Preiner

2017-07-16	Use CXXFLAGS when compiling parsers (#197)	Andres Noetzli
	ANTLR generates C files that we compile with the C++ compiler. To do so, we set CC=CXX in the `Makefile.am`s of the parsers. Previously, we did not copy the CXXFLAGS to the CFLAGS, which could result in problems, e.g. when using -std=gnu++11 in the CXXFLAGS, compiling the parsers would fail if they used C++11 features (configure.ac usually modifies CXX to include the -std=gnu++11 flag but if it is included in CXXFLAGS, the CXX is not changed).
2015-12-03	Removing the generated directory from the parsers.	Tim King

2013-03-26	Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac	Morgan Deters

2013-03-19	Minor fixes to build system	Morgan Deters

2013-03-14	fix to build system: #include the proper file when they are in both builds ↵	Morgan Deters
	and src
2012-10-22	fix parser generation in distributed tarballs (should fix bug #427)	Morgan Deters

2012-09-27	* Rename SMT parts (printer, parser) to SMT1	Morgan Deters
	* Change --lang smt to mean SMT-LIBv2 * --lang smt1 now means SMT-LIBv1 * SMT-LIBv2 parser now gives helpful error if input looks like v1 * SMT-LIBv1 parser now gives helpful error if input looks like v2 * CVC presentation language parser now gives helpful error if input looks like either SMT-LIB v1 or v2 * Other associated changes (this commit was certified error- and warning-free by the test-and-commit script.)