| Sat, 14 Apr 2012 23:52:17 +0100 |
sultana |
switched from using sed to perl in mirabelle tool
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 23:52:17 +0100 |
sultana |
renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
|
file |
diff |
annotate
|
| Wed, 07 Mar 2012 13:00:30 +0000 |
sultana |
added Mirabelle action info in its log file; tuned;
|
file |
diff |
annotate
|
| Wed, 23 Mar 2011 09:15:49 +0100 |
krauss |
replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH
|
file |
diff |
annotate
|
| Mon, 21 Mar 2011 12:43:25 +0100 |
krauss |
propagate mirabelle failures properly;
|
file |
diff |
annotate
|
| Mon, 06 Dec 2010 10:52:48 +0100 |
bulwahn |
correcting usage documentation in mirabelle tool
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 23:05:23 +0100 |
boehmes |
also consider the fully-typed version of metis for Mirabelle measurements
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 18:01:50 +0100 |
boehmes |
included description for sledgehammer options in Mirabelle script
|
file |
diff |
annotate
|
| Sat, 05 Sep 2009 15:46:52 +0200 |
boehmes |
Mirabelle: command-line action options may either be key=value or just key
|
file |
diff |
annotate
|
| Sat, 05 Sep 2009 11:45:57 +0200 |
boehmes |
added initialization and cleanup of actions,
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 16:23:53 +0200 |
boehmes |
moved Mirabelle from HOL/Tools to HOL,
|
file |
diff |
annotate
| base
|