diff --git a/.github/workflows/Dockerfile.release b/.github/workflows/Dockerfile.release
index af0aaa30d3..8842d35c1c 100644
--- a/.github/workflows/Dockerfile.release
+++ b/.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 \
diff --git a/.github/workflows/Dockerfile.stable b/.github/workflows/Dockerfile.stable
index ef2266480d..e29ed6b54d 100644
--- a/.github/workflows/Dockerfile.stable
+++ b/.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
diff --git a/.github/workflows/before-all-linux.sh b/.github/workflows/before-all-linux.sh
index 3890cd6b26..6b9e2668b6 100755
--- a/.github/workflows/before-all-linux.sh
+++ b/.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
diff --git a/.github/workflows/before-all-macos.sh b/.github/workflows/before-all-macos.sh
index 8cbb2b90ac..9f0c1bcdb5 100755
--- a/.github/workflows/before-all-macos.sh
+++ b/.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
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
index 80a24347fb..5895b1f0da 100644
--- a/.github/workflows/buildtest.yml
+++ b/.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
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 94b20b543a..7144d19b25 100644
--- a/.github/workflows/release.yml
+++ b/.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:
diff --git a/.github/workflows/release_docker.yml b/.github/workflows/release_docker.yml
index 1d1f901295..6bacf7d595 100644
--- a/.github/workflows/release_docker.yml
+++ b/.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 }}
diff --git a/.github/workflows/update_storm.yml b/.github/workflows/update_storm.yml
index 2238b541da..eec973d016 100644
--- a/.github/workflows/update_storm.yml
+++ b/.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
diff --git a/CHANGELOG.md b/CHANGELOG.md
index b98875728b..5ba49f83ee 100644
--- a/CHANGELOG.md
+++ b/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
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 42ea0ee146..c1042b3d89 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -84,7 +84,7 @@ if(ALLOW_STORM_SYSTEM)
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.")
diff --git a/Dockerfile b/Dockerfile
index 2370bb04be..f8d1cffce2 100644
--- a/Dockerfile
+++ b/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
diff --git a/README.md b/README.md
index f944e74186..a9e3cc797e 100644
--- a/README.md
+++ b/README.md
@@ -1,23 +1,23 @@
Stormpy - Python bindings for Storm
===================================
-[](https://moves-rwth.github.io/stormpy/)
-[](https://github.com/moves-rwth/stormpy/actions)
+[](https://stormchecker.github.io/stormpy/)
+[](https://github.com/stormchecker/stormpy/actions)
[](https://pypi.org/project/stormpy/)
-[](https://github.com/moves-rwth/stormpy/releases/)
+[](https://github.com/stormchecker/stormpy/releases/)
[](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:
-[](https://mybinder.org/v2/gh/moves-rwth/stormpy/master?urlpath=lab/tree/notebooks/getting_started.ipynb)
+[](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
diff --git a/doc/checklist_new_release.md b/doc/checklist_new_release.md
index cc2adc450d..566b0ed647 100644
--- a/doc/checklist_new_release.md
+++ b/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
diff --git a/doc/source/conf.py b/doc/source/conf.py
index 910eb6afc7..4f2469cdd8 100644
--- a/doc/source/conf.py
+++ b/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,7 +97,7 @@
"footer_links": [
{
"text": "Documentation",
- "link": "https://moves-rwth.github.io/stormpy/",
+ "link": "https://stormchecker.github.io/stormpy/",
},
{
"text": "Package",
@@ -105,11 +105,11 @@
},
{
"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
- Try online:
+ Try online: