git.libre-soc.org Git - cvc5.git/history - test/unit/theory/theory_engine

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-09-28	Morgan Deters	fix pre-registration of operator, previously committed...	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-29	Morgan Deters	fix TheoryEngineWhite, add documentation; related to...	blob \| commitdiff \| raw \| diff to current
2010-07-28	Christopher L. Conway	Forcing a type check on Node construction in debug...	blob \| commitdiff \| raw \| diff to current
2010-07-28	Morgan Deters	fixed theory engine white test for new (old) theoryOf...	blob \| commitdiff \| raw \| diff to current
2010-07-22	Morgan Deters	incorporate a fix from smtcomp2010 version for handling...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identif...	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	With "-d extra-checking", rewrites are now checked...	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