add parser
Showing
- parser/.gitignore 6 additions, 0 deletionsparser/.gitignore
- parser/README.md 56 additions, 0 deletionsparser/README.md
- parser/app.py 52 additions, 0 deletionsparser/app.py
- parser/requirements.txt 2 additions, 0 deletionsparser/requirements.txt
- parser/src/Imitator.g4 125 additions, 0 deletionsparser/src/Imitator.g4
- parser/src/Imitator.py 500 additions, 0 deletionsparser/src/Imitator.py
- parser/src/ImitatorVisitor.py 138 additions, 0 deletionsparser/src/ImitatorVisitor.py
- parser/src/Maude.py 276 additions, 0 deletionsparser/src/Maude.py
- parser/src/Parser.py 939 additions, 0 deletionsparser/src/Parser.py
- parser/src/__init__.py 0 additions, 0 deletionsparser/src/__init__.py
- parser/tests/conftest.py 13 additions, 0 deletionsparser/tests/conftest.py
- parser/tests/examples/coffee-nc.maude 33 additions, 0 deletionsparser/tests/examples/coffee-nc.maude
- parser/tests/examples/coffee.imi 83 additions, 0 deletionsparser/tests/examples/coffee.imi
- parser/tests/examples/ex1x-nc.maude 27 additions, 0 deletionsparser/tests/examples/ex1x-nc.maude
- parser/tests/examples/ex1x.imi 16 additions, 0 deletionsparser/tests/examples/ex1x.imi
- parser/tests/examples/ex1x.maude 28 additions, 0 deletionsparser/tests/examples/ex1x.maude
- parser/tests/examples/ex1xp.imi 18 additions, 0 deletionsparser/tests/examples/ex1xp.imi
- parser/tests/examples/ex1xy-nc.maude 27 additions, 0 deletionsparser/tests/examples/ex1xy-nc.maude
- parser/tests/examples/ex1xy.imi 17 additions, 0 deletionsparser/tests/examples/ex1xy.imi
- parser/tests/examples/ex1xy.maude 28 additions, 0 deletionsparser/tests/examples/ex1xy.maude
Loading
Please register or sign in to comment