| 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
|
| Tue, 14 Sep 2010 13:24:18 +0200 |
blanchet |
remove "fast_descs" option from Nitpick;
|
changeset |
files
|
| Tue, 14 Sep 2010 12:52:50 +0200 |
blanchet |
fixed bug in the "fast_descrs" optimization;
|
changeset |
files
|
| Tue, 14 Sep 2010 11:18:40 +0200 |
blanchet |
speed up helper function
|
changeset |
files
|
| Tue, 14 Sep 2010 11:07:23 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Tue, 14 Sep 2010 09:12:28 +0200 |
blanchet |
rename internal Sledgehammer constant
|
changeset |
files
|
| Tue, 14 Sep 2010 08:50:46 +0200 |
blanchet |
merged
|
changeset |
files
|
| Mon, 13 Sep 2010 21:24:10 +0200 |
blanchet |
merged
|
changeset |
files
|
| Mon, 13 Sep 2010 21:23:09 +0200 |
blanchet |
adapt to latest Metis version
|
changeset |
files
|
| Mon, 13 Sep 2010 21:21:45 +0200 |
blanchet |
regenerated "metis.ML" and reintroduced Larry's old hacks manually;
|
changeset |
files
|
| Mon, 13 Sep 2010 21:19:13 +0200 |
blanchet |
update scripts
|
changeset |
files
|