| Wed, 16 Feb 2022 14:24:05 +0100 |
desharna |
Mirabelle now considers goals preceding "unfolding" and "using" commands
|
file |
diff |
annotate
|
| Wed, 09 Feb 2022 16:39:55 +0100 |
desharna |
added Isabelle identification to Mirabelle output
|
file |
diff |
annotate
|
| Thu, 20 Jan 2022 13:55:29 +0100 |
desharna |
added Mirabelle option "-y" for dry run
|
file |
diff |
annotate
|
| Wed, 19 Jan 2022 10:11:24 +0100 |
desharna |
added cpu time (in ms) to Mirabelle run_action output
|
file |
diff |
annotate
|
| Tue, 18 Jan 2022 17:55:20 +0100 |
desharna |
added Mirabelle option -r to randomize the goals before selection
|
file |
diff |
annotate
|
| Mon, 20 Dec 2021 14:46:23 +0100 |
desharna |
tuned mirabelle command-line help message
|
file |
diff |
annotate
|
| Fri, 17 Dec 2021 09:51:37 +0100 |
desharna |
added support for initialization messages to Mirabelle
|
file |
diff |
annotate
|
| Fri, 12 Nov 2021 08:51:45 +0100 |
desharna |
added padding to Mirabelle's output
|
file |
diff |
annotate
|
| Wed, 10 Nov 2021 13:16:57 +0100 |
wenzelm |
proper handling of Protocol.Export, using the payload from the message --- in contrast db_context.read_export materializes only later by a different thread (race condition);
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:53:12 +0100 |
wenzelm |
prefer official Export.explode_name;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:37:45 +0100 |
wenzelm |
avoid conflict with future keyword;
|
file |
diff |
annotate
|
| Tue, 02 Nov 2021 15:40:02 +0100 |
wenzelm |
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
|
file |
diff |
annotate
|
| Tue, 03 Aug 2021 10:33:35 +0200 |
desharna |
fixed malconfigured option output_dir in mirabelle
|
file |
diff |
annotate
|
| Wed, 28 Jul 2021 19:17:31 +0200 |
desharna |
changed Mirabelle_Sledgehammer keep option from path to boolean
|
file |
diff |
annotate
|
| Wed, 28 Jul 2021 14:16:19 +0200 |
desharna |
added automatic uniform stride option to Mirabelle
|
file |
diff |
annotate
|
| Fri, 11 Jun 2021 09:33:43 +0200 |
desharna |
tuned Mirabelle
|
file |
diff |
annotate
|
| Thu, 10 Jun 2021 11:21:57 +0200 |
desharna |
refactored Mirabelle to produce output in real time
|
file |
diff |
annotate
|
| Sun, 06 Jun 2021 20:29:52 +0200 |
wenzelm |
clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 23:40:44 +0200 |
wenzelm |
proper usage (amending f7ea394490f5);
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 23:37:27 +0200 |
wenzelm |
merged, resolving minor conflict;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 22:30:17 +0200 |
wenzelm |
removed pointless option (see 3d0952893db8);
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 23:03:12 +0200 |
desharna |
moved stride option from sledgehammer action to main mirabelle
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:14:16 +0200 |
wenzelm |
ignore session build timeout, notably in AFP;
|
file |
diff |
annotate
|
| Sat, 15 May 2021 22:36:36 +0200 |
wenzelm |
proper build of required session images vs. build with Mirabelle presentation;
|
file |
diff |
annotate
|
| Sat, 15 May 2021 17:38:49 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
| Sat, 15 May 2021 12:33:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 15 May 2021 12:25:24 +0200 |
wenzelm |
clarified log content;
|
file |
diff |
annotate
|
| Fri, 14 May 2021 21:32:11 +0200 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|