Mon, 30 Sep 2024 10:46:26 +0200 | wenzelm | clarified parse tree: always provide root node; | file | diff | annotate |
Mon, 30 Sep 2024 10:44:25 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 29 Sep 2024 21:13:17 +0200 | wenzelm | more parse tree positions; | file | diff | annotate |
Sun, 29 Sep 2024 19:51:23 +0200 | wenzelm | more accurate parse tree: retain all tokens (and thus positions); | file | diff | annotate |
Sun, 29 Sep 2024 15:58:28 +0200 | wenzelm | clarified comparison: prefer authentic nonterminal context, instead of somewhat accidental "const"; | file | diff | annotate |
Sun, 29 Sep 2024 15:24:17 +0200 | wenzelm | more detailed parse tree: retain nonterminal context as well; | file | diff | annotate |