rename parser to pta2maude

5b4418e1 · Jaime Arias · 371af9d8 · 5b4418e1 · 5b4418e1 · 5b4418e1
Commit 5b4418e1 authored 2 years ago by Jaime Arias
--- a/parser/.gitignore
+++ b/parser/.gitignore
--- a/parser/LICENSE
+++ b/parser/LICENSE
--- a/parser/README.md
+++ b/parser/README.md
--- a/parser/app.py
+++ b/parser/app.py
--- a/parser/requirements.txt
+++ b/parser/requirements.txt
--- a/parser/src/Imitator.g4
+++ b/parser/src/Imitator.g4
--- a/parser/src/Imitator.py
+++ b/parser/src/Imitator.py
--- a/parser/src/ImitatorVisitor.py
+++ b/parser/src/ImitatorVisitor.py
--- a/parser/src/Maude.py
+++ b/parser/src/Maude.py
--- a/parser/src/Parser.py
+++ b/parser/src/Parser.py
--- a/parser/src/__init__.py
+++ b/parser/src/__init__.py
--- a/parser/tests/conftest.py
+++ b/parser/tests/conftest.py
--- a/parser/tests/examples/coffee-nc.maude
+++ b/parser/tests/examples/coffee-nc.maude
--- a/parser/tests/examples/coffee.imi
+++ b/parser/tests/examples/coffee.imi
--- a/parser/tests/examples/ex1x-nc.maude
+++ b/parser/tests/examples/ex1x-nc.maude
--- a/parser/tests/examples/ex1x.imi
+++ b/parser/tests/examples/ex1x.imi
--- a/parser/tests/examples/ex1x.maude
+++ b/parser/tests/examples/ex1x.maude
--- a/parser/tests/examples/ex1xp.imi
+++ b/parser/tests/examples/ex1xp.imi
--- a/parser/tests/examples/ex1xy-nc.maude
+++ b/parser/tests/examples/ex1xy-nc.maude
--- a/parser/tests/examples/ex1xy.imi
+++ b/parser/tests/examples/ex1xy.imi