Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
mbe-tools
mt-bench-public
Commits
3d1cabc2
Commit
3d1cabc2
authored
Aug 23, 2021
by
Hana Mkaouar
Browse files
Update README.md
parent
58693c5c
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
3d1cabc2
...
...
@@ -29,7 +29,7 @@ This benchmark is performed with the following tool versions:
-
eMoflon::IBeX (Democles): 1.0.0.202003161959 (updatesite: https://emoflon.org/emoflon-ibex-updatesite/snapshot/updatesite/)
-
MoTE2 Development Tools 1.2.0.202102051638 (updatesite: https://www.hpi.uni-potsdam.de/giese/update-site/)
-
VIATRA Query and Transformation SDK 2.5.0.202012091732 (updatesite: http://download.eclipse.org/viatra/updates/release/latest)
-
YAMTL 0.
0
.1
0-SNAPSHOT
-
YAMTL 0.
2
.1
-
Open Source AADL Tool Environment 6.0.0.v20201013-1222 (updatesite: https://osate-build.sei.cmu.edu/download/osate/stable/2.9.0/updates/)
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment