From fedac853df973e8cd277837724faf6c334c4382a Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 27 Jun 2019 12:18:03 +0200 Subject: [PATCH 1/3] Fixed gitignore to only exclude build dirs in the root folder. Otherwise, e.g. src/storm/builder/ would also be excluded. --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index ee2a4f77b..98a24b25d 100644 --- a/.gitignore +++ b/.gitignore @@ -36,7 +36,7 @@ obj/ CMakeFiles/ CPackConfig.cmake # The build Dir -*build*/ +/*build*/ build//CMakeLists.txt /*.vcxproj /*.filters From d0596ecf0cf7eb6155ac77d65a0ad92a1c7eb076 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 4 Jul 2019 11:57:20 +0200 Subject: [PATCH 2/3] Changed cmake policy for finding packages: Now path specified via -D_ROOT=/path/to/package/ are automatically considered when searching for packages. --- CMakeLists.txt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index b2fe1b814..6b67feefb 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,6 +1,13 @@ cmake_minimum_required (VERSION 3.2) + cmake_policy(VERSION 3.2) +# When searching for packages, we would like to first search in prefixes specified by _ROOT. +# However, this behavior is only supported since CMake 3.12. +if(POLICY CMP0074) + cmake_policy(SET CMP0074 NEW) +endif() + # Set project name project (storm CXX C) From 230a2c86d34888a123cdf6273051158c736d7423 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 8 Jul 2019 09:23:02 +0200 Subject: [PATCH 3/3] Mentioning QVBS as Benchmark source in README --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6dcf702a0..c8d4dbb38 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,8 @@ Benchmarks Example input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples. +Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Suite (QVBS)](http://qcomp.org/benchmarks). + Further examples and benchmarks can be found in the following repositories: * **Prism files** (DTMC, MDP, CTMC):