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

Age	Commit message (Collapse)	Author
2021-03-27	Refactor ANTLR3 dependency (#6202)	Gereon Kremer
	This PR refactors our first, and arguably most fragile, dependency. Right now all dependencies need to be manually installed (by calling the appropriate contrib/get-X script). For optional dependencies, we additionally need to enable them when calling the configure script (or via ccmake). This PR is the first step in refactoring all dependencies to be automatically build (if required) as an external project. Note that this not only eliminates the need to call contrib scripts, but also simplifies cross compilation: as all dependencies are now built within the build folders, every build folder has its own copy which may use different toolchains.
2020-09-22	Update copyright header script to support CMake and Python files (#5067)	Mathias Preiner
	This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.
2018-10-19	Remove autotools build system. (#2639)	Mathias Preiner

2018-04-19	Adding config/tap-driver.sh to .gitignore (#1792)	yoni206
	#1791 removed config/tap-driver.sh from the repo, as ./autogen.sh adds it automatically. The current PR prevents this file from being added to the untracked changes list when doing git status.
2014-06-21	API documentation improvements.	Morgan Deters

2014-02-21	add new theory (sets)	Kshitij Bansal
	Specification (smt2) -- as per this commit, subject to change - Parameterized sort Set, e.g. (Set Int) - Empty set constant (typed), use with "as" to specify the type, e.g. (as emptyset (Set Int)) - Create a singleton set (setenum X (Set X)) : creates singleton set - Functions/operators (union (Set X) (Set X) (Set X)) (intersection (Set X) (Set X) (Set X)) (setminus (Set X) (Set X) (Set X)) - Predicates (in X (Set X) Bool) : membership (subseteq (Set X) (Set X) Bool) : set containment
2013-11-27	Ignore config/compile file, which newer autotools create	Morgan Deters

2013-10-17	minor fix to last commit (gitignore)	Kshitij Bansal

2013-10-17	.gitignore personal configuration files	Kshitij Bansal

2012-06-11	Merge from quantifiers2-trunkmerge branch.	Morgan Deters
	Adds TheoryQuantifiers and TheoryRewriteRules, QuantifiersEngine, and other infrastructure. Adds theory instantiators to many theories. Adds the UF strong solver.
2012-02-20	portfolio merge	Morgan Deters

2010-07-07	Adding config.reconfig to .gitignore	Christopher L. Conway

2010-05-27	Adding .cvc4_config to .gitignore	Christopher L. Conway

2010-04-05	Ignoring gcov files	Christopher L. Conway

2010-04-01	Adding newly generated files	Christopher L. Conway

2010-03-31	Adding 'generated/' to .gitignore	Christopher L. Conway

2010-03-30	Removing unnecessary .gitignores	Christopher L. Conway

2010-03-30	Merging from branches/antlr3 (r246:354)	Christopher L. Conway