| Tue, 14 Sep 2010 16:34:26 +0200 | blanchet | handle relevance filter corner cases more gracefully; | changeset | files |
| Tue, 14 Sep 2010 16:33:38 +0200 | blanchet | remove more clutter related to old "fast_descrs" optimization | changeset | files |
| Tue, 14 Sep 2010 15:39:57 +0200 | blanchet | Sledgehammer should be called in "prove" mode; | changeset | files |
| Tue, 14 Sep 2010 14:47:53 +0200 | blanchet | added a timeout around "try" call in Mirabelle | changeset | files |
| Tue, 14 Sep 2010 14:22:49 +0200 | blanchet | adapt examples to latest Nitpick changes + speed them up a little bit | changeset | files |
| Tue, 14 Sep 2010 14:12:18 +0200 | blanchet | tuning | changeset | files |
| Tue, 14 Sep 2010 13:44:43 +0200 | blanchet | eliminate more clutter related to "fast_descrs" optimization | changeset | files |