Added Boogie as a submodule

dafny-lang · Aug 26, 2024 · 64ed59b · 64ed59b
1 parent d7501de
commit 64ed59b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "Test/libraries"]
 	path = Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries
 	url = https://github.com/dafny-lang/libraries.git
+[submodule "boogie"]
+	path = boogie
+	url = https://github.com/keyboardDrummer/boogie
diff --git a/boogie b/boogie