Adapted links to some repos after move to stormchecker organization

.github/workflows/Dockerfile.release

@@ -41,7 +41,7 @@ RUN apt-get update -qq && apt-get install -y --no-install-recommends \
 ###################
 WORKDIR /opt/
 
-RUN git clone https://github.com/moves-rwth/carl-parser.git \
+RUN git clone https://github.com/stormchecker/carl-parser.git \
     && mkdir -p /opt/carl-parser/build \
     && cd /opt/carl-parser/build \
     && cmake .. -DCMAKE_BUILD_TYPE=$build_type -DPORTABLE=ON -Dcarl_DIR=/usr/local/lib/cmake/storm \

.github/workflows/Dockerfile.stable

@@ -42,7 +42,7 @@ RUN apt-get install -y --no-install-recommends \
 WORKDIR /opt/
 
 # Obtain carl-parser
-RUN git clone https://github.com/moves-rwth/carl-parser.git
+RUN git clone https://github.com/stormchecker/carl-parser.git
 
 # Switch to build directory
 RUN mkdir -p /opt/carl-parser/build

.github/workflows/before-all-linux.sh

@@ -20,7 +20,7 @@ make install
 cd ..
 
 # Install Storm
-git clone https://github.com/moves-rwth/storm.git -b ${STORM_VERSION}
+git clone https://github.com/stormchecker/storm.git -b ${STORM_VERSION}
 cd storm
 mkdir build
 cd build

.github/workflows/before-all-macos.sh

@@ -7,7 +7,7 @@ set -e -u
 brew install ccache automake boost cln ginac glpk hwloc z3 xerces-c
 
 # Install Storm
-git clone https://github.com/moves-rwth/storm.git -b ${STORM_VERSION}
+git clone https://github.com/stormchecker/storm.git -b ${STORM_VERSION}
 cd storm
 mkdir build
 cd build

.github/workflows/buildtest.yml

@@ -262,7 +262,7 @@ jobs:
       - name: Checkout Storm
         uses: actions/checkout@v6
         with:
-          repository: moves-rwth/storm
+          repository: stormchecker/storm
           ref: master
           path: storm
       - name: Build and install Storm
@@ -323,11 +323,11 @@ jobs:
 
       - name: Login into docker
         # Only login if using master on original repo (and not for pull requests or forks)
-        if: github.repository_owner == 'moves-rwth' && github.ref == 'refs/heads/master'
+        if: github.repository_owner == 'stormchecker' && github.ref == 'refs/heads/master'
         run: echo "${{ secrets.STORM_CI_DOCKER_PASSWORD }}" | docker login -u "${{ secrets.STORM_CI_DOCKER_USERNAME }}" --password-stdin
       - name: Deploy stormpy
         # Only deploy if using master on original repo (and not for pull requests or forks)
-        if: github.repository_owner == 'moves-rwth' && github.ref == 'refs/heads/master'
+        if: github.repository_owner == 'stormchecker' && github.ref == 'refs/heads/master'
         run: |
           docker commit ci movesrwth/stormpy:${{ matrix.build_type.docker_tag }}
           docker push movesrwth/stormpy:${{ matrix.build_type.docker_tag }}
@@ -344,7 +344,7 @@ jobs:
           docker cp ci:/opt/stormpy/doc/build/html .
       - name: Deploy documentation
         # Only deploy for release version and using master on original repo (and not for pull requests or forks)
-        if: matrix.build_type.name == 'Release' && github.repository_owner == 'moves-rwth' && github.ref == 'refs/heads/master'
+        if: matrix.build_type.name == 'Release' && github.repository_owner == 'stormchecker' && github.ref == 'refs/heads/master'
         uses: peaceiris/actions-gh-pages@v4
         with:
           personal_token: ${{ secrets.GITHUB_TOKEN }}
@@ -355,7 +355,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: [indepthTests, stableTests, linuxTests, macFetchTests, macInstallTests, deploy]
     # Only run in main repo and even if previous step failed
-    if: github.repository_owner == 'moves-rwth' && always()
+    if: github.repository_owner == 'stormchecker' && always()
     steps:
       - uses: technote-space/workflow-conclusion-action@v3
       - uses: dawidd6/action-send-mail@v15

.github/workflows/release.yml

@@ -74,7 +74,7 @@ jobs:
       - name: Git clone
         uses: actions/checkout@v6
         with:
-          repository: moves-rwth/stormpy
+          repository: stormchecker/stormpy
           ref: master
       - name: Update Binder version
         run: |
@@ -120,7 +120,7 @@ jobs:
     permissions:
       id-token: write
     # Only upload if using original repo and triggered by either a release or a manual workflow dispatch
-    if: ${{ github.repository_owner == 'moves-rwth' && ((github.event_name == 'release' && github.event.action == 'published') || github.event_name == 'workflow_dispatch') }}
+    if: ${{ github.repository_owner == 'stormchecker' && ((github.event_name == 'release' && github.event.action == 'published') || github.event_name == 'workflow_dispatch') }}
     steps:
       - uses: actions/download-artifact@v8
         with:

.github/workflows/release_docker.yml

@@ -79,7 +79,7 @@ jobs:
         uses: docker/setup-buildx-action@v4
       - name: Login to Docker Hub
         # Only login if using original repo
-        if: github.repository_owner == 'moves-rwth'
+        if: github.repository_owner == 'stormchecker'
         uses: docker/login-action@v4
         with:
           username: ${{ secrets.STORM_CI_DOCKER_USERNAME }}
@@ -140,7 +140,7 @@ jobs:
             type=raw,${{ matrix.image.tag }}
       - name: Login to Docker Hub
         # Only login if using original repo
-        if: github.repository_owner == 'moves-rwth'
+        if: github.repository_owner == 'stormchecker'
         uses: docker/login-action@v4
         with:
           username: ${{ secrets.STORM_CI_DOCKER_USERNAME }}

.github/workflows/update_storm.yml

@@ -21,7 +21,7 @@ jobs:
       - name: Git clone
         uses: actions/checkout@v6
         with:
-          repository: moves-rwth/stormpy
+          repository: stormchecker/stormpy
       - name: Update Storm version
         run: |
           # Update STORM_MIN_VERSION

CHANGELOG.md

@@ -316,7 +316,7 @@ Version 2.2.x
 ### Version 2.2.0 (2023/06)
 Requires carl-storm version >= 14.23
 
-- Upgraded repo / version for carl, requires [carl-storm](https://github.com/moves-rwth/carl-storm) from now on
+- Upgraded repo / version for carl, requires [carl-storm](https://github.com/stormchecker/carl-storm) from now on
 - Developer: added Dockerfile
 - Developer: improved build process
 - Developer: updated pybind11 to version 2.10.0
@@ -377,7 +377,7 @@ Requires carl version >= 17.08
 - Added variable and integer pickling support. Throw errors if pickling is not supported
 - Added hash functions
 - Hide factorization caches for user
-- Depend on [carl-parser](https://github.com/ths-rwth/carl-parser) for parsing routines
+- Depend on [carl-parser](https://github.com/stormchecker/carl-parser) for parsing routines
 - Check for carl version
 - Fixed issues when CLN is not available
 

CMakeLists.txt

@@ -49,7 +49,7 @@
 # Python version should be synced with pyproject.toml
 find_package(Python 3.10 COMPONENTS Interpreter Development.Module REQUIRED)
 # Pybind11 version should be synced with pyproject.toml
 find_package(pybind11 3.0.2 EXACT CONFIG REQUIRED)
 message(STATUS "Stormpy - Using pybind11 version ${pybind11_VERSION}")
 
 # Helper function to print path where library was found and check whether hint was used
@@ -84,7 +84,7 @@
         check_hint("Storm" ${storm_DIR} "${STORM_DIR_HINT}" ${storm_VERSION})
         # Check Storm version
         if (${storm_VERSION} VERSION_LESS ${STORM_MIN_VERSION})
-            MESSAGE(FATAL_ERROR "Stormpy - Storm version ${storm_VERSION} from ${storm_DIR} is not supported anymore!\nStormpy requires at least Storm version >= ${STORM_MIN_VERSION}.\nFor more information, see https://moves-rwth.github.io/stormpy/installation.html#compatibility-of-stormpy-and-storm")
+            MESSAGE(FATAL_ERROR "Stormpy - Storm version ${storm_VERSION} from ${storm_DIR} is not supported anymore!\nStormpy requires at least Storm version >= ${STORM_MIN_VERSION}.\nFor more information, see https://stormchecker.github.io/stormpy/installation.html#compatibility-of-stormpy-and-storm")
         endif()
         if (STORM_VERSION_DEV)
             message(WARNING "Stormpy - Using a development version of Storm. This may lead to issues and we recommend using a release of Storm instead.")

Dockerfile

@@ -42,7 +42,7 @@ RUN apt-get install -y --no-install-recommends \
 WORKDIR /opt/
 
 # Obtain carl-parser
-RUN git clone https://github.com/moves-rwth/carl-parser.git
+RUN git clone https://github.com/stormchecker/carl-parser.git
 
 # Switch to build directory
 RUN mkdir -p /opt/carl-parser/build

README.md

@@ -1,23 +1,23 @@
 Stormpy - Python bindings for Storm
 ===================================
 
-[![Docs Badge](https://img.shields.io/badge/docs-latest-blue)](https://moves-rwth.github.io/stormpy/)
-[![Build Status](https://github.com/moves-rwth/stormpy/workflows/Build%20Test/badge.svg)](https://github.com/moves-rwth/stormpy/actions)
+[![Docs Badge](https://img.shields.io/badge/docs-latest-blue)](https://stormchecker.github.io/stormpy/)
+[![Build Status](https://github.com/stormchecker/stormpy/workflows/Build%20Test/badge.svg)](https://github.com/stormchecker/stormpy/actions)
 [![PyPI - Version](https://img.shields.io/pypi/v/stormpy)](https://pypi.org/project/stormpy/)
-[![GitHub release](https://img.shields.io/github/release/moves-rwth/stormpy.svg)](https://github.com/moves-rwth/stormpy/releases/)
+[![GitHub release](https://img.shields.io/github/release/stormchecker/stormpy.svg)](https://github.com/stormchecker/stormpy/releases/)
 [![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7763208.svg)](https://doi.org/10.5281/zenodo.7763208)
 
 Python bindings for [Storm](https://www.stormchecker.org/), created using [PyBind11](https://pybind11.readthedocs.io/).
 
-Stormpy includes Pycarl, the Python Bindings for [CArL](https://github.com/moves-rwth/carl-storm).
+Stormpy includes Pycarl, the Python Bindings for [CArL](https://github.com/stormchecker/carl-storm).
 
 
 ### Get started
 Get started with stormpy directly in the browser via JupyterLab:
 
-[![badge](https://img.shields.io/badge/try%20out-stormpy-579ACA.svg?logo=data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAABZCAMAAABi1XidAAAB8lBMVEX///9XmsrmZYH1olJXmsr1olJXmsrmZYH1olJXmsr1olJXmsrmZYH1olL1olJXmsr1olJXmsrmZYH1olL1olJXmsrmZYH1olJXmsr1olL1olJXmsrmZYH1olL1olJXmsrmZYH1olL1olL0nFf1olJXmsrmZYH1olJXmsq8dZb1olJXmsrmZYH1olJXmspXmspXmsr1olL1olJXmsrmZYH1olJXmsr1olL1olJXmsrmZYH1olL1olLeaIVXmsrmZYH1olL1olL1olJXmsrmZYH1olLna31Xmsr1olJXmsr1olJXmsrmZYH1olLqoVr1olJXmsr1olJXmsrmZYH1olL1olKkfaPobXvviGabgadXmsqThKuofKHmZ4Dobnr1olJXmsr1olJXmspXmsr1olJXmsrfZ4TuhWn1olL1olJXmsqBi7X1olJXmspZmslbmMhbmsdemsVfl8ZgmsNim8Jpk8F0m7R4m7F5nLB6jbh7jbiDirOEibOGnKaMhq+PnaCVg6qWg6qegKaff6WhnpKofKGtnomxeZy3noG6dZi+n3vCcpPDcpPGn3bLb4/Mb47UbIrVa4rYoGjdaIbeaIXhoWHmZYHobXvpcHjqdHXreHLroVrsfG/uhGnuh2bwj2Hxk17yl1vzmljzm1j0nlX1olL3AJXWAAAAbXRSTlMAEBAQHx8gICAuLjAwMDw9PUBAQEpQUFBXV1hgYGBkcHBwcXl8gICAgoiIkJCQlJicnJ2goKCmqK+wsLC4usDAwMjP0NDQ1NbW3Nzg4ODi5+3v8PDw8/T09PX29vb39/f5+fr7+/z8/Pz9/v7+zczCxgAABC5JREFUeAHN1ul3k0UUBvCb1CTVpmpaitAGSLSpSuKCLWpbTKNJFGlcSMAFF63iUmRccNG6gLbuxkXU66JAUef/9LSpmXnyLr3T5AO/rzl5zj137p136BISy44fKJXuGN/d19PUfYeO67Znqtf2KH33Id1psXoFdW30sPZ1sMvs2D060AHqws4FHeJojLZqnw53cmfvg+XR8mC0OEjuxrXEkX5ydeVJLVIlV0e10PXk5k7dYeHu7Cj1j+49uKg7uLU61tGLw1lq27ugQYlclHC4bgv7VQ+TAyj5Zc/UjsPvs1sd5cWryWObtvWT2EPa4rtnWW3JkpjggEpbOsPr7F7EyNewtpBIslA7p43HCsnwooXTEc3UmPmCNn5lrqTJxy6nRmcavGZVt/3Da2pD5NHvsOHJCrdc1G2r3DITpU7yic7w/7Rxnjc0kt5GC4djiv2Sz3Fb2iEZg41/ddsFDoyuYrIkmFehz0HR2thPgQqMyQYb2OtB0WxsZ3BeG3+wpRb1vzl2UYBog8FfGhttFKjtAclnZYrRo9ryG9uG/FZQU4AEg8ZE9LjGMzTmqKXPLnlWVnIlQQTvxJf8ip7VgjZjyVPrjw1te5otM7RmP7xm+sK2Gv9I8Gi++BRbEkR9EBw8zRUcKxwp73xkaLiqQb+kGduJTNHG72zcW9LoJgqQxpP3/Tj//c3yB0tqzaml05/+orHLksVO+95kX7/7qgJvnjlrfr2Ggsyx0eoy9uPzN5SPd86aXggOsEKW2Prz7du3VID3/tzs/sSRs2w7ovVHKtjrX2pd7ZMlTxAYfBAL9jiDwfLkq55Tm7ifhMlTGPyCAs7RFRhn47JnlcB9RM5T97ASuZXIcVNuUDIndpDbdsfrqsOppeXl5Y+XVKdjFCTh+zGaVuj0d9zy05PPK3QzBamxdwtTCrzyg/2Rvf2EstUjordGwa/kx9mSJLr8mLLtCW8HHGJc2R5hS219IiF6PnTusOqcMl57gm0Z8kanKMAQg0qSyuZfn7zItsbGyO9QlnxY0eCuD1XL2ys/MsrQhltE7Ug0uFOzufJFE2PxBo/YAx8XPPdDwWN0MrDRYIZF0mSMKCNHgaIVFoBbNoLJ7tEQDKxGF0kcLQimojCZopv0OkNOyWCCg9XMVAi7ARJzQdM2QUh0gmBozjc3Skg6dSBRqDGYSUOu66Zg+I2fNZs/M3/f/Grl/XnyF1Gw3VKCez0PN5IUfFLqvgUN4C0qNqYs5YhPL+aVZYDE4IpUk57oSFnJm4FyCqqOE0jhY2SMyLFoo56zyo6becOS5UVDdj7Vih0zp+tcMhwRpBeLyqtIjlJKAIZSbI8SGSF3k0pA3mR5tHuwPFoa7N7reoq2bqCsAk1HqCu5uvI1n6JuRXI+S1Mco54YmYTwcn6Aeic+kssXi8XpXC4V3t7/ADuTNKaQJdScAAAAAElFTkSuQmCC)](https://mybinder.org/v2/gh/moves-rwth/stormpy/master?urlpath=lab/tree/notebooks/getting_started.ipynb)
+[![badge](https://img.shields.io/badge/try%20out-stormpy-579ACA.svg?logo=data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAABZCAMAAABi1XidAAAB8lBMVEX///9XmsrmZYH1olJXmsr1olJXmsrmZYH1olJXmsr1olJXmsrmZYH1olL1olJXmsr1olJXmsrmZYH1olL1olJXmsrmZYH1olJXmsr1olL1olJXmsrmZYH1olL1olJXmsrmZYH1olL1olL0nFf1olJXmsrmZYH1olJXmsq8dZb1olJXmsrmZYH1olJXmspXmspXmsr1olL1olJXmsrmZYH1olJXmsr1olL1olJXmsrmZYH1olL1olLeaIVXmsrmZYH1olL1olL1olJXmsrmZYH1olLna31Xmsr1olJXmsr1olJXmsrmZYH1olLqoVr1olJXmsr1olJXmsrmZYH1olL1olKkfaPobXvviGabgadXmsqThKuofKHmZ4Dobnr1olJXmsr1olJXmspXmsr1olJXmsrfZ4TuhWn1olL1olJXmsqBi7X1olJXmspZmslbmMhbmsdemsVfl8ZgmsNim8Jpk8F0m7R4m7F5nLB6jbh7jbiDirOEibOGnKaMhq+PnaCVg6qWg6qegKaff6WhnpKofKGtnomxeZy3noG6dZi+n3vCcpPDcpPGn3bLb4/Mb47UbIrVa4rYoGjdaIbeaIXhoWHmZYHobXvpcHjqdHXreHLroVrsfG/uhGnuh2bwj2Hxk17yl1vzmljzm1j0nlX1olL3AJXWAAAAbXRSTlMAEBAQHx8gICAuLjAwMDw9PUBAQEpQUFBXV1hgYGBkcHBwcXl8gICAgoiIkJCQlJicnJ2goKCmqK+wsLC4usDAwMjP0NDQ1NbW3Nzg4ODi5+3v8PDw8/T09PX29vb39/f5+fr7+/z8/Pz9/v7+zczCxgAABC5JREFUeAHN1ul3k0UUBvCb1CTVpmpaitAGSLSpSuKCLWpbTKNJFGlcSMAFF63iUmRccNG6gLbuxkXU66JAUef/9LSpmXnyLr3T5AO/rzl5zj137p136BISy44fKJXuGN/d19PUfYeO67Znqtf2KH33Id1psXoFdW30sPZ1sMvs2D060AHqws4FHeJojLZqnw53cmfvg+XR8mC0OEjuxrXEkX5ydeVJLVIlV0e10PXk5k7dYeHu7Cj1j+49uKg7uLU61tGLw1lq27ugQYlclHC4bgv7VQ+TAyj5Zc/UjsPvs1sd5cWryWObtvWT2EPa4rtnWW3JkpjggEpbOsPr7F7EyNewtpBIslA7p43HCsnwooXTEc3UmPmCNn5lrqTJxy6nRmcavGZVt/3Da2pD5NHvsOHJCrdc1G2r3DITpU7yic7w/7Rxnjc0kt5GC4djiv2Sz3Fb2iEZg41/ddsFDoyuYrIkmFehz0HR2thPgQqMyQYb2OtB0WxsZ3BeG3+wpRb1vzl2UYBog8FfGhttFKjtAclnZYrRo9ryG9uG/FZQU4AEg8ZE9LjGMzTmqKXPLnlWVnIlQQTvxJf8ip7VgjZjyVPrjw1te5otM7RmP7xm+sK2Gv9I8Gi++BRbEkR9EBw8zRUcKxwp73xkaLiqQb+kGduJTNHG72zcW9LoJgqQxpP3/Tj//c3yB0tqzaml05/+orHLksVO+95kX7/7qgJvnjlrfr2Ggsyx0eoy9uPzN5SPd86aXggOsEKW2Prz7du3VID3/tzs/sSRs2w7ovVHKtjrX2pd7ZMlTxAYfBAL9jiDwfLkq55Tm7ifhMlTGPyCAs7RFRhn47JnlcB9RM5T97ASuZXIcVNuUDIndpDbdsfrqsOppeXl5Y+XVKdjFCTh+zGaVuj0d9zy05PPK3QzBamxdwtTCrzyg/2Rvf2EstUjordGwa/kx9mSJLr8mLLtCW8HHGJc2R5hS219IiF6PnTusOqcMl57gm0Z8kanKMAQg0qSyuZfn7zItsbGyO9QlnxY0eCuD1XL2ys/MsrQhltE7Ug0uFOzufJFE2PxBo/YAx8XPPdDwWN0MrDRYIZF0mSMKCNHgaIVFoBbNoLJ7tEQDKxGF0kcLQimojCZopv0OkNOyWCCg9XMVAi7ARJzQdM2QUh0gmBozjc3Skg6dSBRqDGYSUOu66Zg+I2fNZs/M3/f/Grl/XnyF1Gw3VKCez0PN5IUfFLqvgUN4C0qNqYs5YhPL+aVZYDE4IpUk57oSFnJm4FyCqqOE0jhY2SMyLFoo56zyo6becOS5UVDdj7Vih0zp+tcMhwRpBeLyqtIjlJKAIZSbI8SGSF3k0pA3mR5tHuwPFoa7N7reoq2bqCsAk1HqCu5uvI1n6JuRXI+S1Mco54YmYTwcn6Aeic+kssXi8XpXC4V3t7/ADuTNKaQJdScAAAAAElFTkSuQmCC)](https://mybinder.org/v2/gh/stormchecker/stormpy/master?urlpath=lab/tree/notebooks/getting_started.ipynb)
 
-For more information on stormpy, please check the [documentation](https://moves-rwth.github.io/stormpy/).
+For more information on stormpy, please check the [documentation](https://stormchecker.github.io/stormpy/).
 
 
 ### Authors

doc/checklist_new_release.md

@@ -8,7 +8,7 @@ The following steps should be performed when releasing a new stormpy version.
    Note that the CI test use the Docker `storm:ci` images which are only updated once per day.
    The CI fails if the new Storm version is not yet present in these CI Docker images.
 
-2. Check that the stormpy [CI](https://github.com/moves-rwth/stormpy/actions/) builds without errors and all tests are successful.
+2. Check that the stormpy [CI](https://github.com/stormchecker/stormpy/actions/) builds without errors and all tests are successful.
 
 3. Update `CHANGELOG.md`:
    * Set release month
@@ -30,9 +30,9 @@ The following steps should be performed when releasing a new stormpy version.
    git tag -a X.Y.Z -m "Stormpy version X.Y.Z" -s
    git push origin X.Y.Z
    ```
-   The new tag should now be visible on [GitHub](https://github.com/moves-rwth/stormpy/tags).
+   The new tag should now be visible on [GitHub](https://github.com/stormchecker/stormpy/tags).
 
-7. [Create a new release](https://github.com/moves-rwth/stormpy/releases/new) on GitHub.
+7. [Create a new release](https://github.com/stormchecker/stormpy/releases/new) on GitHub.
    Create a new tag or use the tag created in the previous step.
    Finishing the release automatically triggers a CI workflow which also
    * updates the `stable` branch

doc/source/conf.py

@@ -58,7 +58,7 @@
     "logo_alt": "Storm logo",
     ## Repos
     "repository_name": "stormpy",
-    "repository_url": "https://github.com/moves-rwth/stormpy",
+    "repository_url": "https://github.com/stormchecker/stormpy",
     ## Header options
     "header_links_in_2nd_row": False,
     "header_links": [
@@ -97,19 +97,19 @@
     "footer_links": [
         {
             "text": "Documentation",
-            "link": "https://moves-rwth.github.io/stormpy/",
+            "link": "https://stormchecker.github.io/stormpy/",
         },
         {
             "text": "Package",
             "link": "https://pypi.org/project/stormpy/",
         },
         {
             "text": "Repository",
-            "link": "https://github.com/moves-rwth/stormpy/",
+            "link": "https://github.com/stormchecker/stormpy/",
         },
         {
             "text": "Issues",
-            "link": "https://github.com/moves-rwth/stormpy/issues",
+            "link": "https://github.com/stormchecker/stormpy/issues",
         },
     ],
     "show_powered_by": True,
@@ -130,7 +130,7 @@
 .. raw:: html
 
     <div class="admonition note">
-      Try online: <span><a href="https://mybinder.org/v2/gh/moves-rwth/stormpy/master?filepath=notebooks/{{ docname }}"><img alt="Binder badge" src="https://mybinder.org/badge_logo.svg" style="margin-bottom: 0rem"></a></span>
+      Try online: <span><a href="https://mybinder.org/v2/gh/stormchecker/stormpy/master?filepath=notebooks/{{ docname }}"><img alt="Binder badge" src="https://mybinder.org/badge_logo.svg" style="margin-bottom: 0rem"></a></span>
     </div>
 """
 

doc/source/doc/analysis.ipynb

@@ -49,7 +49,7 @@
    "source": [
     "## Adapting the model checking engine\n",
     "\n",
-    "[02-analysis.py](https://github.com/moves-rwth/stormpy/blob/master/examples/analysis/02-analysis.py)\n",
+    "[02-analysis.py](https://github.com/stormchecker/stormpy/blob/master/examples/analysis/02-analysis.py)\n",
     "\n",
     "Instead of using the sparse representation, models can also be built symbolically:"
    ]
@@ -102,7 +102,7 @@
    "source": [
     "## Adapting model checking algorithms\n",
     "\n",
-    "[03-analysis.py](https://github.com/moves-rwth/stormpy/blob/master/examples/analysis/03-analysis.py)\n",
+    "[03-analysis.py](https://github.com/stormchecker/stormpy/blob/master/examples/analysis/03-analysis.py)\n",
     "\n",
     "Reconsider the model checking example from the getting started guide:"
    ]

doc/source/doc/dfts.ipynb

@@ -13,7 +13,7 @@
    "source": [
     "## Building DFTs\n",
     "\n",
-    "[01-dfts.py](https://github.com/moves-rwth/stormpy/blob/master/examples/dfts/01-dfts.py)\n",
+    "[01-dfts.py](https://github.com/stormchecker/stormpy/blob/master/examples/dfts/01-dfts.py)\n",
     "\n",
     "Dynamic fault trees can be loaded from either the Galileo format or from a custom JSON form.\n",
     "A file containing the DFT in the Galileo format can be loaded via `load_dft_galileo_file(path)`.\n",
@@ -83,7 +83,7 @@
    "source": [
     "## Analyzing DFTs\n",
     "\n",
-    "[01-dfts.py](https://github.com/moves-rwth/stormpy/blob/master/examples/dfts/01-dfts.py)\n",
+    "[01-dfts.py](https://github.com/stormchecker/stormpy/blob/master/examples/dfts/01-dfts.py)\n",
     "\n",
     "The next step is to analyze the DFT via `analyze_dft(dft, formula)`.\n",
     "Here we can use all standard properties as described in [Building properties](../getting_started.ipynb#building-properties).\n",