From: Mart Lubbers Date: Wed, 23 Mar 2016 17:31:39 +0000 (+0100) Subject: added sylvan X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=415f27db34952feb8df7102670cca97193c25181;p=mc1516pa.git added sylvan --- diff --git a/.gitmodules b/.gitmodules index ef5881a..e398ab4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "modelchecker/sylvan"] path = modelchecker/sylvan - url = git@github.com:utwente-fmt/sylvan.git + url = https://github.com/utwente-fmt/sylvan diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore index 6f3c928..87e54c2 100644 --- a/modelchecker/.gitignore +++ b/modelchecker/.gitignore @@ -1,3 +1,2 @@ main -sylvan *.o diff --git a/modelchecker/sylvan b/modelchecker/sylvan new file mode 160000 index 0000000..f3f771f --- /dev/null +++ b/modelchecker/sylvan @@ -0,0 +1 @@ +Subproject commit f3f771fcdd4768e2c6e71404b23f791a5fde6b06