From 415f27db34952feb8df7102670cca97193c25181 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 23 Mar 2016 18:31:39 +0100 Subject: [PATCH] added sylvan --- .gitmodules | 2 +- modelchecker/.gitignore | 1 - modelchecker/sylvan | 1 + 3 files changed, 2 insertions(+), 2 deletions(-) create mode 160000 modelchecker/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 -- 2.20.1