|
|
f53adf105a
|
Store generated artifacts as early as possible in virtual file system (verbose mode), simplifies debugging.
|
2026-05-10 20:44:41 +01:00 |
|
|
|
fd844481b7
|
Tuned.
|
2026-05-10 19:26:51 +01:00 |
|
|
|
45f0604675
|
Cleanup: removed files not used by Isabelle/PIDE integrated ml-yacc.
|
2026-05-10 19:00:07 +01:00 |
|
|
|
dad56ee9d3
|
Cleanup: removed files not used by Isabelle/PIDE integrated ml-lex.
|
2026-05-10 18:47:38 +01:00 |
|
|
|
bf77bb83b0
|
Tuned.
|
2026-05-10 18:40:48 +01:00 |
|
|
|
611a5a1272
|
Initial PIDE error reporting for yacc.
|
2026-05-10 18:40:25 +01:00 |
|
|
|
beffd4e7eb
|
In verbose mode, print lex stats.
|
2026-05-10 13:19:02 +01:00 |
|
|
|
6102e2fb38
|
Proper PIDE error reporting for lex.
|
2026-05-10 13:10:10 +01:00 |
|
|
|
7be9bd1756
|
Tuned documentation.
|
2026-05-10 10:09:42 +01:00 |
|
|
|
7a6fdba0a0
|
* convert Yacc to in-memory, without generating temporary files
* added option to control verbosity (generation of automaton description)
|
2026-05-10 09:56:21 +01:00 |
|
|
|
6748c3d145
|
Tuning.
|
2026-05-10 08:07:08 +01:00 |
|
|
|
df81972c7a
|
Initial commit: document generation and session build setup.
|
2026-05-10 08:06:52 +01:00 |
|
|
|
e802242162
|
Changed Lexer to work in memory, without writing files to physical file system.
|
2026-05-10 07:04:19 +01:00 |
|
|
|
ed87d6d4e5
|
* Added light-weight highlighting using Isabelle's built-in tooling
* Added documentation of the ml_lex_yacc command.
|
2026-05-10 06:30:52 +01:00 |
|
|
|
74e765cf50
|
Use ML parser for lex/yacc user declarations.
|
2026-05-09 22:57:05 +01:00 |
|
|
|
06efa63db4
|
Disabled syntax highlighting for lex/yacc specifications after splitting them into sections. Debugging resulting in a new example: the parser for Pascal.
|
2026-05-09 22:47:45 +01:00 |
|
|
|
e33b66aa6b
|
Disabled syntax highlighting for lex/yacc specifications after splitting them into sections. Debugging resulting in a new example: the parser for Pascal.
|
2026-05-09 22:47:33 +01:00 |
|
|
|
4e1b89b3a7
|
Cleanup.
|
2026-05-09 22:44:35 +01:00 |
|
|
|
ffda5bfee7
|
Updated yacc.lex to match latest Isabelle_lex_yacc API.
|
2026-05-09 20:07:31 +01:00 |
|
|
|
d2d77dbae8
|
Moved bootstrapped files.
|
2026-05-09 19:59:33 +01:00 |
|
|
|
bfd3c93e11
|
Initial commit.
|
2026-05-09 19:56:29 +01:00 |
|
|
|
563a6a1e95
|
Split lex/yacc specification into three subsections each.
|
2026-05-09 19:55:21 +01:00 |
|
|
|
933450ba94
|
Refactoring to use Isabelle's Position.T type for ml_lex_yacc command and providing prototypic syntax highlighting in yacc specification.
|
2026-05-09 17:21:24 +01:00 |
|
|
|
d0d38e9713
|
Dummy implementation of expert and verbose mode, pass pos to lex parser.
|
2026-05-09 08:38:58 +01:00 |
|
|
|
30e6d16340
|
Initial commit.
|
2026-05-09 08:38:08 +01:00 |
|
|
|
2627720cd4
|
Switched to using Isabelle's pos type.
|
2026-04-25 14:15:36 +01:00 |
|
|
|
f3361abbb8
|
Export automaton description to virtual file system and silenced code compilation.
|
2026-03-15 14:24:36 +00:00 |
|
|
|
590813d12a
|
Added glue code, lining lexer and parser; also added an exemplarly Isar-toplevel command.
|
2026-03-14 07:28:02 +00:00 |
|
|
|
e42f509f1d
|
Initial commit.
|
2026-03-12 11:05:06 +00:00 |
|
|
|
485e3c6f54
|
Initial commit.
|
2026-03-12 09:14:24 +00:00 |
|
|
|
f2e3d7bbd4
|
Merge commit '2ac279c2bf6544bb894693ae24444dad393f8022' as 'mllex-polyml'
|
2026-03-12 08:31:27 +00:00 |
|
|
|
2ac279c2bf
|
Squashed 'mllex-polyml/' content from commit 85768e9
git-subtree-dir: mllex-polyml
git-subtree-split: 85768e9f351a8d84d24f7bb33e589d37b88e4e59
|
2026-03-12 08:31:27 +00:00 |
|
|
|
48afe1ca17
|
Merge commit 'df6a49f2e3730be38140b9f5a3303e1068403053' as 'mlyacc-polyml'
|
2026-03-12 08:31:00 +00:00 |
|
|
|
df6a49f2e3
|
Squashed 'mlyacc-polyml/' content from commit 423449e
git-subtree-dir: mlyacc-polyml
git-subtree-split: 423449eb96ca35d62e16e1bab27426f38be2a3e0
|
2026-03-12 08:31:00 +00:00 |
|
|
|
303dfa0195
|
Initial commit.
|
2026-03-12 08:29:02 +00:00 |
|
