Achim D. Brucker adbrucker
1 Followers · 1 Following
Repositories
18
 Projects Packages Public Activity Starred Repositories
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 19:45:06 +00:00
f53adf105a Store generated artifacts as early as possible in virtual file system (verbose mode), simplifies debugging.
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 18:26:56 +00:00
fd844481b7 Tuned.
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 18:00:14 +00:00
45f0604675 Cleanup: removed files not used by Isabelle/PIDE integrated ml-yacc.
dad56ee9d3 Cleanup: removed files not used by Isabelle/PIDE integrated ml-lex.
Compare 2 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 17:40:54 +00:00
bf77bb83b0 Tuned.
611a5a1272 Initial PIDE error reporting for yacc.
Compare 2 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 12:19:24 +00:00
beffd4e7eb In verbose mode, print lex stats.
6102e2fb38 Proper PIDE error reporting for lex.
Compare 2 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 09:09:53 +00:00
7be9bd1756 Tuned documentation.
7a6fdba0a0 * convert Yacc to in-memory, without generating temporary files
Compare 2 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-10 07:07:12 +00:00
6748c3d145 Tuning.
df81972c7a Initial commit: document generation and session build setup.
e802242162 Changed Lexer to work in memory, without writing files to physical file system.
ed87d6d4e5 * Added light-weight highlighting using Isabelle's built-in tooling
Compare 4 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-05-09 21:57:10 +00:00
74e765cf50 Use ML parser for lex/yacc user declarations.
06efa63db4 Disabled syntax highlighting for lex/yacc specifications after splitting them into sections. Debugging resulting in a new example: the parser for Pascal.
e33b66aa6b Disabled syntax highlighting for lex/yacc specifications after splitting them into sections. Debugging resulting in a new example: the parser for Pascal.
4e1b89b3a7 Cleanup.
ffda5bfee7 Updated yacc.lex to match latest Isabelle_lex_yacc API.
Compare 12 commits »
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-03-15 14:24:42 +00:00
f3361abbb8 Export automaton description to virtual file system and silenced code compilation.
adbrucker pushed to main at adbrucker/isabelle_lex-yacc 2026-03-14 07:28:20 +00:00
590813d12a Added glue code, lining lexer and parser; also added an exemplarly Isar-toplevel command.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2026-02-01 19:01:56 +00:00
5096d1ecaa Update to Isabelle 2025-2.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2026-02-01 18:47:12 +00:00
167786bb09 Update/cleanup.
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2026-02-01 18:46:27 +00:00
5924413e47 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
1ecec5a70b Update.
Compare 2 commits »
adbrucker created branch Isabelle_dev in Isabelle_DOF/Isabelle_DOF 2026-02-01 18:45:04 +00:00
adbrucker pushed to Isabelle_dev at Isabelle_DOF/Isabelle_DOF 2026-02-01 18:45:04 +00:00
adbrucker created branch makarius-isabelle_dev in Isabelle_DOF/Isabelle_DOF 2026-02-01 18:45:04 +00:00
adbrucker pushed to makarius-isabelle_dev at Isabelle_DOF/Isabelle_DOF 2026-02-01 18:45:04 +00:00
adbrucker pushed to main at adbrucker/authorarchive 2025-12-25 15:44:27 +00:00
22ffb59461 Update of version information after release of 1.3.1.
adbrucker released Changes: at adbrucker/authorarchive 2025-12-25 15:43:00 +00:00
adbrucker pushed tag v1.3.1 to adbrucker/authorarchive 2025-12-25 15:42:06 +00:00