git.libre-soc.org Git - cvc5.git/history - src/theory/uf/theory_uf_type

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-07-27	Christopher L. Conway	Adding optional 'check' parameter to getType() methods	blob \| commitdiff \| raw \| diff to current
2010-07-06	Morgan Deters	Fixes for doubled-statistics (bug 171), a fix to muzzle...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	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-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-05-05	Dejan Jovanović	bug fixes for types, old unit tests for types work now	blob \| commitdiff \| raw \| diff to current
2010-05-04	Dejan Jovanović	Type-checking classes and hooks (not tested yet).	blob \| commitdiff \| raw \| diff to current