| Tue, 08 Sep 2020 11:32:57 +0200 |
desharna |
[mirabelle] add initial documentation in Sledgehammer's doc
|
file |
diff |
annotate
|
| Wed, 21 Jun 2017 22:48:55 +0200 |
blanchet |
added -d option to Mirabelle
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 10:28:04 +0200 |
boehmes |
extended Mirabelle to support user-provided setup files which contain the configuration for a Mirabelle run (avoids some layers of scripts and reduces the complexity of the overall Mirabelle setup)
|
file |
diff |
annotate
|
| Wed, 02 May 2012 13:09:26 +0200 |
wenzelm |
more robust wrt. spaces in directory names;
|
file |
diff |
annotate
|
| Wed, 02 May 2012 11:45:00 +0200 |
wenzelm |
back to "Tools" in conformance with toplevel Isabelle layout (cf. 3fabf352243e, 15f4309bb9eb);
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 13:59:29 +0100 |
sultana |
reversed Tools to Actions Mirabelle renaming;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 23:52:17 +0100 |
sultana |
Mirabelle's 'usage' description relating to Sledgehammer now synchs with the ML code of the Mirabelle-Sledgehammer action
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 23:52:17 +0100 |
sultana |
Mirabelle now gives usage info when no arguments given
|
file |
diff |
annotate
|
| 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
|