From 8f168c49fa814434ace05ff3bf253147e64073e6 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 15 Nov 2024 10:26:07 +0100 Subject: [PATCH 1/2] Dropped support for Debian 11 and Ubuntu 22.04 --- documentation/obtain-storm/build.md | 4 ++-- documentation/obtain-storm/dependencies.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/documentation/obtain-storm/build.md b/documentation/obtain-storm/build.md index 2220f17..d39b291 100644 --- a/documentation/obtain-storm/build.md +++ b/documentation/obtain-storm/build.md @@ -25,8 +25,8 @@ While compiling the source code is not always a breeze (depending on your operat Currently, we provide support for - macOS on either x86- or [ARM-based](apple-silicon.html) CPUs -- Debian 11 and higher -- Ubuntu 20.04 and higher +- Debian 12 and higher +- Ubuntu 22.04 and higher - 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. diff --git a/documentation/obtain-storm/dependencies.md b/documentation/obtain-storm/dependencies.md index 34752d8..e9a107f 100644 --- a/documentation/obtain-storm/dependencies.md +++ b/documentation/obtain-storm/dependencies.md @@ -81,7 +81,7 @@ $ brew install cln ginac automake cmake boost gmp glpk hwloc z3 xerces-c ### Debian and Ubuntu -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 From 6371e866b5f89b68e8ffdeb965ecec0f2fde8e47 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 15 Nov 2024 10:34:26 +0100 Subject: [PATCH 2/2] Removed invalid link --- _bibliography/references.bib | 1 - 1 file changed, 1 deletion(-) diff --git a/_bibliography/references.bib b/_bibliography/references.bib index ffe9e6c..6d245aa 100644 --- a/_bibliography/references.bib +++ b/_bibliography/references.bib @@ -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,