Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dropped support for Debian 11 and Ubuntu 22.04 #9

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Dropped support for Debian 11 and Ubuntu 22.04 #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8f168c4
Dropped support for Debian 11 and Ubuntu 22.04
volkm Nov 15, 2024
6371e86
Removed invalid link
volkm Nov 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion _bibliography/references.bib
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1174,7 +1174,6 @@ @inproceedings{DJKV17
doi = {10.1007/978-3-319-63390-9_31},
arxiv-id = {1702.04311},
website = {https://stormchecker.org/benchmarks.html},
material = {https://stormchecker.org/documentation/obtain-storm/vm.html#storm-010-20172},
}

@inproceedings{GJKKV17,
Expand Down
4 changes: 2 additions & 2 deletions documentation/obtain-storm/build.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,8 @@ While compiling the source code is not always a breeze (depending on your operat
Currently, we provide support for

- <i class="fa fa-apple" aria-hidden="true"></i> macOS on either x86- or [ARM-based](apple-silicon.html) CPUs
- <i class="icon-debian"></i> Debian 11 and higher
- <i class="icon-ubuntu"></i> Ubuntu 20.04 and higher
- <i class="icon-debian"></i> Debian 12 and higher
- <i class="icon-ubuntu"></i> Ubuntu 22.04 and higher
- <i class="icon-archlinux"></i> Arch Linux

which are known to enable the easy installation of Storm. Other Linux distributions are likely to work too, but it may take significant effort to get the required versions of the dependencies up and running.
Expand Down
2 changes: 1 addition & 1 deletion documentation/obtain-storm/dependencies.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ $ brew install cln ginac automake cmake boost gmp glpk hwloc z3 xerces-c
### <i class="icon-debian"></i> Debian and <i class="icon-ubuntu"></i> Ubuntu
<!-- If these are changed, also change them in `vm.md` -->

We currently support Debian from version 11 and Ubuntu from version 20.04.
We currently support Debian from version 12 and Ubuntu from version 22.04.

- Required:
``` console
Expand Down