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

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

2013-09-09	Morgan Deters	Support empty (and 1-ary) tuples and records.	blob \| commitdiff \| raw
2013-04-02	Morgan Deters	Fixes for two bugs:	blob \| commitdiff \| raw \| diff to current
2013-04-01	Tim King	Adding tests for the previous commit.	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	added model generation for bv subtheories and bv-inequa...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Dejan Jovanović	Merge remote-tracking branch 'dddejan/c++11'	blob \| commitdiff \| raw \| diff to current
2013-03-22	Morgan Deters	Support for Boolean term conversion in datatypes.	blob \| commitdiff \| raw \| diff to current
2013-03-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-14	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-13	lianah	post failed attempts at getting the incremental solver...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-03-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-16	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-15	Tim King	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-08	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-05	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-04	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-03	Morgan Deters	Merge from mdeters/miplib branch (commit 'ce7c485182902...	blob \| commitdiff \| raw \| diff to current
2013-02-02	lianah	merged master into branch	blob \| commitdiff \| raw \| diff to current
2013-02-01	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-02-01	Morgan Deters	Fix a tuple attribute bug that was causing model-genera...	blob \| commitdiff \| raw \| diff to current
2013-01-31	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-28	Morgan Deters	Merge branch '1.0.x'	blob \| commitdiff \| raw \| diff to current
2013-01-28	Morgan Deters	some fixes for win32, including ability to "make check...	blob \| commitdiff \| raw \| diff to current
2012-11-30	Morgan Deters	Add some regressions for bug 438.	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Tuples and records merge. Resolves bug 270.	blob \| commitdiff \| raw \| diff to current
2012-11-17	Morgan Deters	* enable previously-failing (now succeeding) datatype...	blob \| commitdiff \| raw \| diff to current
2012-09-24	Dejan Jovanović	some api changes	blob \| commitdiff \| raw \| diff to current
2012-09-21	Morgan Deters	Fixes for datatype dumping and printing. Add a new...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Morgan Deters	fix regression tests for automake 1.11 and automake...	blob \| commitdiff \| raw \| diff to current
2012-08-20	Morgan Deters	removing v1l20009.cvc, a datatypes benchmark where...	blob \| commitdiff \| raw \| diff to current
2012-08-05	Morgan Deters	Disable failing datatypes regression, pending solution...	blob \| commitdiff \| raw \| diff to current
2012-07-27	Andrew Reynolds	merging fmf-devel branch, includes refactored datatype...	blob \| commitdiff \| raw \| diff to current
2012-05-19	Tim King	- The array type rules were fixed to use isSubtypeOf.	blob \| commitdiff \| raw \| diff to current
2012-04-18	Kshitij Bansal	add the missing BINARY variable in some test/regress...	blob \| commitdiff \| raw \| diff to current
2012-04-05	Morgan Deters	Support to test the "dumper" mechanism in regressions...	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw \| diff to current
2011-11-16	Morgan Deters	* Applying Andy's fix for datatypes bug #286; thanks...	blob \| commitdiff \| raw \| diff to current
2011-10-29	Morgan Deters	support for proof regressions in other parts of the...	blob \| commitdiff \| raw \| diff to current
2011-05-06	Andrew Reynolds	added 10 benchmarks to regress/regress0/datatypes from...	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current

RSS Atom