| Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | mention new Nitpick options | changeset | files |
| Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | simplify "need" option's syntax | changeset | files |
| Thu, 03 Mar 2011 11:20:48 +0100 | blanchet | renamed "preconstr" option "need" | changeset | files |
| Thu, 03 Mar 2011 10:55:41 +0100 | hoelzl | finally remove upper_bound_finite_set | changeset | files |
| Thu, 03 Mar 2011 15:59:44 +1100 | kleing | separate settings for afp test | changeset | files |
| Wed, 02 Mar 2011 15:51:22 +0100 | blanchet | added missing spaces in output | changeset | files |
| Wed, 02 Mar 2011 14:50:16 +0100 | blanchet | lower threshold for implicitly using "nitpick_simp" for predicate definitions when "total_consts" is on | changeset | files |