Activity for Toy Compilers

  • Armin Heller committed [292c99]

    Add CRUD procedures for grammar and transformation rules

  • Armin Heller committed [2a8e10]

    Add PoC for lexer persistence

  • Armin Heller committed [5a5f90]

    enable de-/serialization of rules/productions/terms

  • Alfred Alfred committed [875b9e]

    Add persistent sqlite tables

  • Alfred Alfred committed [d940eb]

    Implement printers for lexers, grammars and transformations

  • Alfred Alfred committed [8deca6]

    Add type rules for grammars

  • Alfred Alfred committed [53b659]

    Fix AST node constructor without args, fix exception on failed parse

  • Alfred Alfred committed [a428b5]

    Add example grammars

  • Alfred Alfred committed [6f753f]

    Add type rules for lambda prolog

  • Alfred Alfred committed [208295]

    Convert transform cli tool to dune executable

  • Alfred Alfred committed [2fe663]

    Rename local Regex module to avoid hiding

  • Alfred Alfred committed [4126e4]

    split project into several libraries

  • Alfred Alfred committed [81b894]

    create a library with dune

  • Alfred Alfred committed [65ee38]

    create a library with dune

  • Alfred Alfred committed [d9dc3e]

    add syntax for "all" quantifier

  • Alfred Alfred committed [590f36]

    Build lambda prolog with a current version of dune

  • Alfred Alfred committed [a3eeee]

    Add untracked files to repository before refactoring

  • Alfred Alfred committed [8401b3]

    Adapt old program to new apis

  • Alfred Alfred committed [f7def3]

    Clean up showcase

  • Alfred Alfred committed [c98a6f]

    Improve showcase

  • Alfred Alfred committed [bd127b]

    Improve showcase

  • Alfred Alfred committed [86c643]

    Implement a translation showcase

  • Alfred Alfred committed [989aa8]

    debugging

  • Alfred Alfred committed [7cb7cf]

    fix lr table construction

  • Alfred Alfred committed [64e3d7]

    find bug in LR.ml

  • Alfred Alfred committed [2abecf]

    implement print tokens

  • Alfred Alfred committed [7cea67]

    implement transform

  • Alfred Alfred committed [820046]

    implement compile_transformation

  • Alfred Alfred committed [2ce9b7]

    implement parse_transformation

  • Alfred Alfred committed [c156f3]

    work in progress: parse transformation

  • Alfred Alfred committed [66c1d0]

    Work in progress: converting parse trees into lambda terms

  • Alfred Alfred committed [fd4d1f]

    Add library feature to Makefile

  • Alfred Alfred committed [ee0a32]

    Implement tokens_of_tree

  • Alfred Alfred committed [7a03cd]

    Implement choose parse tree

  • Alfred Alfred committed [ec4218]

    Implement parse_trees_of_forest

  • Alfred Alfred committed [91d1a5]

    Work on improving the parser API

  • Alfred Alfred committed [e67587]

    Implement parse function

  • Alfred Alfred committed [e34ef6]

    Implement compile_grammar

  • Alfred Alfred committed [b5c21d]

    wip: create a map of start non-terminals to SLR states

  • Alfred Alfred committed [a3ec2e]

    Add all start states to lr table

  • Alfred Alfred committed [da98f2]

    Implement parse_grammar

  • Alfred Alfred committed [5eb056]

    Implement the scan interface

  • Alfred Alfred committed [2d3328]

    Implement the scan interface with many holes.

  • Alfred Alfred committed [c0cdee]

    Extract type of key in transition maps as a type parameter module

  • Alfred Alfred committed [21c2a2]

    fix build again

  • Alfred Alfred committed [01837e]

    Implement TODOs in the lexer

  • Alfred Alfred committed [16bde1]

    work on the graph interface

  • Alfred Alfred committed [92c30c]

    add missing interfaces

  • Alfred Alfred committed [67e4f3]

    fix scanner

  • Alfred Alfred committed [b99a65]

    refactor the parser, break build

  • Alfred Alfred committed [f78454]

    improve error positions in the parser that parses the lexer

  • Alfred Alfred committed [9c5755]

    break the lexer

  • Alfred Alfred committed [223e4a]

    document replace_char_references on input streams

  • Alfred Alfred committed [fa81c5]

    add a test for the I/O buffers

  • Alfred Alfred committed [7147b0]

    fixed input buffer

  • Alfred Alfred committed [102da5]

    add input buffer

  • Alfred Alfred committed [1f3102]

    add a buffer module

  • Alfred Alfred committed [de2f44]

    specify future changes

  • Alfred Alfred committed [b2879e]

    implement the transformation api

  • Alfred Alfred committed [cf4d70]

    refine the intended API

  • Alfred Alfred committed [14c0c8]

    add a sketch of the inteded API of the whole tool

  • Alfred Alfred committed [28bdbf]

    add deserialization of discrimination nets

  • Alfred Alfred committed [499ffa]

    add some serialization code - dont know where to put it

  • Alfred Alfred committed [eed82c]

    add serialization of discrimination nets

  • Alfred Alfred committed [b8f9b1]

    serialization of lr tables

  • Alfred Alfred committed [1e1b8c]

    clean up the transform module

  • Alfred Alfred committed [8d4f79]

    clean up the transform module

  • Alfred Alfred committed [61ae53]

    clean up the transform module

  • Alfred Alfred committed [872c69]

    clean up the transform module

  • Alfred Alfred committed [4cba68]

    clean up the transform module

  • Alfred Alfred committed [6926c6]

    cleanup the transform tool

  • Alfred Alfred committed [91e01c]

    cleanup the transform tool

  • Alfred Alfred committed [a61f70]

    clean up the transform tool

  • Alfred Alfred committed [218711]

    clean up the transformation code a little

  • Alfred Alfred committed [b8fdec]

    clean up the Transformation module a little

  • Alfred Alfred committed [20a0bb]

    Test and bugfix for the GLR parser.

  • Alfred Alfred committed [84556b]

    test cases for the xml module

  • Alfred Alfred committed [884bd0]

    tests for the simple bit vectors

  • Alfred Alfred committed [24278d]

    Bugfix: The grammar mustn't depend on the lexer.

  • Alfred Alfred committed [d2e38e]

    The pipeline is in place. Now it's time for mas...

  • Alfred Alfred committed [7c33f6]

    A test type system.

  • Alfred Alfred committed [9e6b94]

    Type checking is implemented but contains a lot...

  • Alfred Alfred committed [02bc03]

    working on type-checks for lexers, grammars and...

  • Alfred Alfred committed [975111]

    transformation tool without the type system

  • Alfred Alfred committed [37f66b]

    parsing and printing in one combined program bu...

  • Alfred Alfred committed [45e5dc]

    Gluing everything together.

  • Alfred Alfred committed [82433e]

    Slightly improved error message for the GLR par...

  • Alfred Alfred committed [e6d5cb]

    Trying to glue algorithms together, GLR, Lambda...

  • Alfred Alfred committed [8c959b]

    Cleaned up some stuff.

  • Alfred Alfred committed [8fb596]

    informal specification of the lexers

  • Alfred Alfred committed [eb6eb0]

    LR(1) doesn't work here ...

  • Alfred Alfred committed [e058e6]

    non-deterministic LR parser with even worse per...

  • Alfred Alfred committed [ea755f]

    Bugfix GLR parser

  • Alfred Alfred committed [b340de]

    broken attempt to use LR(1)

  • Alfred Alfred committed [e439f4]

    performance hacks

  • Alfred Alfred committed [de5b8a]

    trying to improve performance ...

  • Alfred Alfred committed [a200f3]

    fixed GLR parser

  • Alfred Alfred committed [239fb0]

    LR(1) doesn't work here ...

  • Alfred Alfred committed [1ac7b3]

    working on a more efficient Earley parser

  • Alfred Alfred committed [5555de]

    refactoring to allow the use of LR tables in th...

1 >
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.