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

2012-04-11	Morgan Deters	merge from arrays-clark branch	blob \| commitdiff \| raw
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-05-23	Morgan Deters	Merge from arrays2 branch.	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-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current
2010-06-14	Christopher L. Conway	Adding array select/store to SMT v1 and v2 parsers	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-26	Morgan Deters	* test/unit/context/context_black.h: Test CDList<>...	blob \| commitdiff \| raw \| diff to current