Add CRUD procedures for grammar and transformation rules
Add PoC for lexer persistence
enable de-/serialization of rules/productions/terms
Add persistent sqlite tables
Implement printers for lexers, grammars and transformations
Add type rules for grammars
Fix AST node constructor without args, fix exception on failed parse
Add example grammars
Add type rules for lambda prolog
Convert transform cli tool to dune executable
Rename local Regex module to avoid hiding
split project into several libraries
create a library with dune
create a library with dune
add syntax for "all" quantifier
Build lambda prolog with a current version of dune
Add untracked files to repository before refactoring
Adapt old program to new apis
Clean up showcase
Improve showcase
Improve showcase
Implement a translation showcase
debugging
fix lr table construction
find bug in LR.ml
implement print tokens
implement transform
implement compile_transformation
implement parse_transformation
work in progress: parse transformation
Work in progress: converting parse trees into lambda terms
Add library feature to Makefile
Implement tokens_of_tree
Implement choose parse tree
Implement parse_trees_of_forest
Work on improving the parser API
Implement parse function
Implement compile_grammar
wip: create a map of start non-terminals to SLR states
Add all start states to lr table
Implement parse_grammar
Implement the scan interface
Implement the scan interface with many holes.
Extract type of key in transition maps as a type parameter module
fix build again
Implement TODOs in the lexer
work on the graph interface
add missing interfaces
fix scanner
refactor the parser, break build
improve error positions in the parser that parses the lexer
break the lexer
document replace_char_references on input streams
add a test for the I/O buffers
fixed input buffer
add input buffer
add a buffer module
specify future changes
implement the transformation api
refine the intended API
add a sketch of the inteded API of the whole tool
add deserialization of discrimination nets
add some serialization code - dont know where to put it
add serialization of discrimination nets
serialization of lr tables
clean up the transform module
clean up the transform module
clean up the transform module
clean up the transform module
clean up the transform module
cleanup the transform tool
cleanup the transform tool
clean up the transform tool
clean up the transformation code a little
clean up the Transformation module a little
Test and bugfix for the GLR parser.
test cases for the xml module
tests for the simple bit vectors
Bugfix: The grammar mustn't depend on the lexer.
The pipeline is in place. Now it's time for mas...
A test type system.
Type checking is implemented but contains a lot...
working on type-checks for lexers, grammars and...
transformation tool without the type system
parsing and printing in one combined program bu...
Gluing everything together.
Slightly improved error message for the GLR par...
Trying to glue algorithms together, GLR, Lambda...
Cleaned up some stuff.
informal specification of the lexers
LR(1) doesn't work here ...
non-deterministic LR parser with even worse per...
Bugfix GLR parser
broken attempt to use LR(1)
performance hacks
trying to improve performance ...
fixed GLR parser
LR(1) doesn't work here ...
working on a more efficient Earley parser
refactoring to allow the use of LR tables in th...