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

2013-11-12	Fix new-theory script for new, flattened build system.	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.
2012-02-27	fixes to new-theory script; resolves bug #307	Morgan Deters

2012-02-12	separate new-theory components into a "theoryskel" directory so that new ↵	Morgan Deters
	files can be added to it without modifying the script.
2012-02-11	ensure using bash for new-theory script	Morgan Deters

2012-02-10	script to ease creating a new theory from scratch (will go along with new ↵	Morgan Deters
	reference documentation)