Skip to content
Snippets Groups Projects
Commit 9a2f3c4c authored by Carlos Olarte's avatar Carlos Olarte
Browse files

Version of Maude used

parent 311d7dae
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 9a2f3c4c
...@@ -11,7 +11,7 @@ repository includes benchmarks comparing our methods and ...@@ -11,7 +11,7 @@ repository includes benchmarks comparing our methods and
## Getting started ## Getting started
The project was tested in [Maude 3.2](http://maude.cs.illinois.edu/) and [Maude The project was tested in [Maude 3.2.1](http://maude.cs.illinois.edu/) and [Maude
SE](https://maude-se.github.io/). A script written in [Python SE](https://maude-se.github.io/). A script written in [Python
3.10](https://www.python.org/) is used to parse Imitator input files into Maude 3.10](https://www.python.org/) is used to parse Imitator input files into Maude
files. files.
......
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