Commit 5c2e4e5e authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Added SDL model checker

parent 78925b8b
......@@ -22,3 +22,6 @@
[submodule "ocarina"]
path = ocarina
url =
[submodule "taste-model-checker"]
path = taste-model-checker
url =
Subproject commit b0a70e95da6ebd96ca201ded346f5a1e2624512e
Supports Markdown
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