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

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2010-07-07	Christopher L. Conway	Fixing test plus-mult.cvc by making it linear (Fixes...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Disabling failing tests	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Adding tests for precedence of arithmetic in CVC inputs	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-02-11	Christopher L. Conway	Adding precedence regressions	blob \| commitdiff \| raw \| diff to current