Commit d3a1baa3 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Added POHIC and POHIAda

parent bb9bd869
......@@ -25,3 +25,9 @@
[submodule "taste-model-checker"]
path = taste-model-checker
url =
[submodule "polyorb-hi-c"]
path = polyorb-hi-c
url =
[submodule "polyorb-hi-ada"]
path = polyorb-hi-ada
url =
Subproject commit d69082fd8f72ccf25dbc1cf1d8a999279a23a8b8
Subproject commit fb1e7da6a5d055a9d4fc8e4ba5b5631630b9cbb9
Markdown is supported
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