git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/uf/Makefile.am

[cvc5.git] / test / regress / regress0 / uf / Makefile.am

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2010-11-19	Morgan Deters	Merge from ufprop branch, including:	blob \| commitdiff \| raw \| diff to current
2010-09-28	Morgan Deters	fix predicate bug in UF; code cleanup in theory.cpp	blob \| commitdiff \| raw \| diff to current
2010-09-02	Morgan Deters	recategorize eq_diamond14 as a regress2 test (instead...	blob \| commitdiff \| raw \| diff to current
2010-08-19	Morgan Deters	UF theory bug fixes, code cleanup, and extra debugging...	blob \| commitdiff \| raw \| diff to current
2010-08-18	Morgan Deters	more tests, configuration for UF	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	make dist && make distcheck functional, other fixes	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Christopher L. Conway	Merging from branches/antlr3 (r246:354)	blob \| commitdiff \| raw \| diff to current
2010-03-11	Tim King	Added some hand generated UF tests. Unfortunartely...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Dejan Jovanović	Fix for the main bug that was bugging me -- Bug 49...	blob \| commitdiff \| raw \| diff to current
2010-03-09	Dejan Jovanović	one more simple test for uf	blob \| commitdiff \| raw \| diff to current
2010-03-09	Dejan Jovanović	(no commit message)	blob \| commitdiff \| raw \| diff to current

RSS Atom