git.libre-soc.org Git - cvc5.git/history

[cvc5.git] / src / theory / arith / kinds

2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Partial merge of integers work; this is simple B&B...	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Monday tasks:	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current
2010-10-12	Tim King	IDENTITY has been removed.	blob \| commitdiff \| raw \| diff to current
2010-10-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-09-13	Tim King	* New normal form for arithmetic is in place.	blob \| commitdiff \| raw \| diff to current
2010-05-20	Tim King	Added the division symbol to the parser, and minimal...	blob \| commitdiff \| raw \| diff to current
2010-04-28	Tim King	Added theory/arith/kind and enabled the smt parser...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	blob \| commitdiff \| raw \| diff to current
2010-03-25	Morgan Deters	new domain-specific language for kinds files: permits...	blob \| commitdiff \| raw \| diff to current
2010-02-27	Morgan Deters	A bag of unrelated fixes to bring trunk more in-line...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	Added theory output channel interfaces and "Interrupted...	blob \| commitdiff \| raw \| diff to current

RSS Atom