Fri, 19 Feb 2010 09:35:18 +0100 | blanchet | merge | changeset | files |
Thu, 18 Feb 2010 18:48:07 +0100 | blanchet | added support for nonstandard "nat"s to Nitpick and fixed bugs in binary "nat"s and "int"s | changeset | files |
Thu, 18 Feb 2010 10:38:37 +0100 | blanchet | fix bug in Nitpick's monotonicity code w.r.t. binary integers | changeset | files |