git.libre-soc.org Git - cvc5.git/history - src/theory/builtin/kinds

2011-11-04	Morgan Deters	STRING_TYPE and CONST_STRING and associate type infrast...	blob \| commitdiff \| raw
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-08-24	Dejan Jovanović	Simplification of the preregister and register throught...	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-09	Morgan Deters	support for SMT-LIBv2 :named attributes, and attributes...	blob \| commitdiff \| raw \| diff to current
2010-10-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	* Added white-box TheoryEngine test that tests the...	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current