Commit 430f34b7 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files

Update README.md

parent b7ee8f06
# Syntax-Derived Editor for ES Tools
#### Editors
* [OSS](/eu.fbk.tools.editor/eu.fbk.tools.editor.oss)
* [Contract](/eu.fbk.tools.editor/eu.fbk.tools.editor.contract)
* [Expression](/eu.fbk.tools.editor/eu.fbk.tools.editor.contract.expression)
* [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [NuSMV](/eu.fbk.tools.editor/eu.fbk.tools.editor.nusmv)
* [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [Fei](/eu.fbk.tools.editor/eu.fbk.tools.editor.fei)
* [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [Tfpg](/eu.fbk.tools.editor/eu.fbk.tools.editor.tfpg)
* [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [Tfpga](/eu.fbk.tools.editor/eu.fbk.tools.editor.tfpga)
* [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [CleanC](/eu.fbk.tools.editor/eu.fbk.tools.editor.c)
* [Statement](/eu.fbk.tools.editor/eu.fbk.tools.editor.c.statement)
* [Expression](/eu.fbk.tools.editor/eu.fbk.tools.editor.c.expression)
* [**OSS**](/eu.fbk.tools.editor/eu.fbk.tools.editor.oss)
-> [Contract](/eu.fbk.tools.editor/eu.fbk.tools.editor.contract)
-> [Expression](/eu.fbk.tools.editor/eu.fbk.tools.editor.contract.expression)
-> [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [**NuSMV**](/eu.fbk.tools.editor/eu.fbk.tools.editor.nusmv)
-> [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [**Fei**](/eu.fbk.tools.editor/eu.fbk.tools.editor.fei)
-> [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [**Tfpg**](/eu.fbk.tools.editor/eu.fbk.tools.editor.tfpg)
-> [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [**Tfpga**](/eu.fbk.tools.editor/eu.fbk.tools.editor.tfpga)
-> [Base Types](/eu.fbk.tools.editor/eu.fbk.tools.editor.basetype)
* [**CleanC**](/eu.fbk.tools.editor/eu.fbk.tools.editor.c)
-> [Statement](/eu.fbk.tools.editor/eu.fbk.tools.editor.c.statement)
-> [Expression](/eu.fbk.tools.editor/eu.fbk.tools.editor.c.expression)
Following a _not exhaustive_ representation of the grammars hierarchy (some are missing, i.e. Tfpg, Tfpga, and CleanC)
![Grammar Hierarchy](docs/Grammars%20Hierarchy.png)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment