manuelelucchi/liblet.jl

A simple library for language and compilers building

liblet.jl's Issues

Examples for 0.1

Github Actions Support

totable (iter2table)

Derivation type

• Constructors
• Operators
• leftmost
• rightmost
• step
• steps
• possiblesteps
• sententialform

Code Refactor with operators

Implement Production tests

• Constructors
• Production Operators
• suchthat
• astype0

totable (dod2table)

Add epsilon management in Grammar constructor

More specific exceptions messages

Implement restrict in Grammar

Basic Docs

Implement Derivation tests

• leftmost
• rightmost
• step
• possiblesteps
• steps
• sententialform

ProductionGraph

Complete suchthat in Production

Production suchthat(right_is_suffix_of) error: override of c value

totable (prods2table)

Automaton type

• Constructors
• Operators
• Delta Function

fix Transition tests

• Less than
• Tuple of Items
• test_transition_hash
• test_transition_str
• test_transition_lt
• test_transition_set

Code of Conduct

fix Grammar tests

• Hash
• FromToString

fix to make tests pass

• suchthat
• restrict
• grammars with multiple productions

Liblet 0.1 Roadmap

This issue details the features planned for the version 0.1 and the current development status

In Consideration

To Do

In Progress

Done

• Production
• Grammar
• Derivation
• Transition
• Automaton
• Item
• Code Docs
• Closure Macro
• Docs Generation

REPL in autogenerated docs

Transition type

• Operators
• Constructors

Antlr Integration

Make Grammar tests pass

Implement Transition and Automaton tests

Production type

• Constructors
• Operators
• suchthat

Manage badprods in Grammar constructor

implement basic testing

Grammar type

• Constructors
• Operators
• restricto
• alternatives

Fix Item Tests

Implement Grammar tests

• Constuctors
• Grammar Operators
• alternatives
• restrict

Improve Readme

Symbols support in Productions

totable (dict2table)

Item tests

Pull Requests/Issue Template

Grammar refactor with new operators

Liblet 0.2 Roadmap

closure decorator

fix Automaton tests

• test_automaton_from_grammar
• test_automaton_from_ε_grammar
• test_automaton_from_string

Derivation step check sentential form

Docs Generation

sidebyside function

totable (cyktotable)

Item type

Make Production tests pass

cyk

animate derivation