| Wed, 29 Nov 2023 15:29:54 +0100 |
wenzelm |
more compact representation;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 21:32:03 +0200 |
wenzelm |
performance tuning: cached non-persistent Parser.gram reduces heap size by approx. 1-4%;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 19:56:31 +0200 |
wenzelm |
tuned: more readable ML;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 19:47:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 19:35:46 +0200 |
wenzelm |
backed out changeset 4660181c83c9: remove rather pointless timing (1..50ms);
|
file |
diff |
annotate
|
| Mon, 08 May 2023 23:00:17 +0200 |
wenzelm |
optional timing;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2023 23:04:04 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 19 Apr 2023 23:27:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 14 Apr 2023 20:42:17 +0200 |
wenzelm |
more operations, following Isabelle/ML conventions;
|
file |
diff |
annotate
|
| Tue, 11 Apr 2023 13:23:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 11 Apr 2023 10:46:43 +0200 |
wenzelm |
performance tuning: replace Table() by Set();
|
file |
diff |
annotate
|
| Wed, 29 Mar 2023 12:05:56 +0200 |
wenzelm |
discontinue somewhat pointless is_single, which also depends on details of internal data representation;
|
file |
diff |
annotate
|
| Mon, 27 Mar 2023 21:48:47 +0200 |
wenzelm |
performance tuning: prefer functor Set() over Table();
|
file |
diff |
annotate
|
| Mon, 24 Feb 2020 22:14:52 +0100 |
wenzelm |
more robust (amending add9a9f6a290): proper syntax error instead of exception for grammar with unreachable nonterminals, e.g. nonterminal f1 syntax "_F" :: "f1 ⇒ 'b" ("F _" 10);
|
file |
diff |
annotate
|
| Thu, 03 Jan 2019 14:12:44 +0100 |
wenzelm |
clarified signature: more types;
|
file |
diff |
annotate
|
| Sun, 16 Sep 2018 20:33:37 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2018 14:11:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2018 11:40:26 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2018 11:26:50 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2018 11:23:53 +0100 |
wenzelm |
explicit dummy token;
|
file |
diff |
annotate
|
| Wed, 31 Jan 2018 11:18:36 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 20:36:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 20:21:55 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 20:20:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 20:12:41 +0100 |
wenzelm |
simplified: prod_count is always NONE;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 19:59:15 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 19:45:08 +0100 |
wenzelm |
tuned data structure and operations;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 18:38:18 +0100 |
wenzelm |
tuned data structure and operations;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 16:12:50 +0100 |
wenzelm |
tuned data structure and operations;
|
file |
diff |
annotate
|
| Tue, 30 Jan 2018 15:40:01 +0100 |
wenzelm |
prefer specific tokens_subtract: subtle change of comparison via tokens_match;
|
file |
diff |
annotate
|