Commit 3979b949 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files

Update README.md

parent 3de21ba3
......@@ -4,13 +4,18 @@
* [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)
* NuSMV
* Fei
* Tfpg
* Tfpga
* CleanC
* C.Statement
* C.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