From 93ca65ed624b7e76ba9c6776a7a9ea893b8d1538 Mon Sep 17 00:00:00 2001 From: gauravpartha Date: Sun, 8 Dec 2024 18:16:50 +0100 Subject: [PATCH 1/2] adapt to transfer from gauravpartha/foundational_boogie to viperproject/foundational-boogie --- .github/workflows/ci.yaml | 2 +- .gitmodules | 8 ++++---- foundational-boogie | 1 + foundational_boogie | 1 - 4 files changed, 6 insertions(+), 6 deletions(-) create mode 160000 foundational-boogie delete mode 160000 foundational_boogie diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index fc286b2..2f920df 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -30,7 +30,7 @@ jobs: - name: Setup Isabelle sessions run: | - isabelle components -u foundational_boogie/BoogieLang + isabelle components -u foundational-boogie/BoogieLang isabelle components -u vipersemcommon isabelle components -u viper-total-heaps isabelle components -u vipersemabstract diff --git a/.gitmodules b/.gitmodules index 6452f6d..60e687d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +1,4 @@ -[submodule "foundational_boogie"] - path = foundational_boogie - url = https://github.com/gauravpartha/foundational_boogie/ - branch = adjust_interface +[submodule "foundational-boogie"] + path = foundational-boogie + url = https://github.com/viperproject/foundational-boogie + branch = cfg_optimizations diff --git a/foundational-boogie b/foundational-boogie new file mode 160000 index 0000000..9041134 --- /dev/null +++ b/foundational-boogie @@ -0,0 +1 @@ +Subproject commit 90411340ac568c7870e85dd9ec627b84f01e79a3 diff --git a/foundational_boogie b/foundational_boogie deleted file mode 160000 index 63cb964..0000000 --- a/foundational_boogie +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 63cb964f8d9442e552c45f098f2f618684b0cf47 From 60ffdf8a34fb2b2350f78e081729c160bee78de7 Mon Sep 17 00:00:00 2001 From: gauravpartha <49554253+gauravpartha@users.noreply.github.com> Date: Sun, 8 Dec 2024 18:21:54 +0100 Subject: [PATCH 2/2] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 02971d1..1d0e646 100644 --- a/README.md +++ b/README.md @@ -14,7 +14,7 @@ which you can download from [here](https://isabelle.in.tum.de/website-Isabelle20 This repository is split into separate subpackages linked via Isabelle sessions. To setup the development, you have to register these sessions with Isabelle ``` -isabelle components -u foundational_boogie/BoogieLang +isabelle components -u foundational-boogie/BoogieLang isabelle components -u vipersemcommon isabelle components -u viper-total-heaps isabelle components -u vipersemabstract @@ -30,7 +30,7 @@ Alternatively, you can add the path to these sessions to the Isabelle `ROOTS` fi The repository contains 6 folders: -foundational_boogie: +foundational-boogie: - This is the formalization of the Boogie intermediate verification language, which is maintained in a separate repository. This formalization is a dependency of viper-total-heaps. vipersemcommon: