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

[cvc5.git] / test / unit / theory / theory_uf_white.h

2010-06-29	Tim King	Merging the unate-propagator branch into the trunk...	blob \| commitdiff \| raw
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Tim King	Preregistration has been turned on. Highly experimental...	blob \| commitdiff \| raw \| diff to current
2010-04-26	Dejan Jovanović	Adding the intermediary TypeNode to represent (and...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	blob \| commitdiff \| raw \| diff to current
2010-04-09	Morgan Deters	added experimental "make lcov" target (it runs only...	blob \| commitdiff \| raw \| diff to current
2010-04-08	Morgan Deters	A handful of build system fixes:	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Addressed issues brought up in Chris's review of...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	blob \| commitdiff \| raw \| diff to current
2010-03-08	Tim King	Improved output for theory uf	blob \| commitdiff \| raw \| diff to current
2010-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-03-04	Tim King	Committing a bug fix from Dejan. This resolves an issue...	blob \| commitdiff \| raw \| diff to current
2010-02-26	Tim King	TheoryUFWhite tests are added. There are also accompany...	blob \| commitdiff \| raw \| diff to current

RSS Atom