Merge branch 'master' into deterministicScheds

.gitignore

@@ -36,7 +36,7 @@ obj/
 CMakeFiles/
 CPackConfig.cmake
 # The build Dir
-*build*/
+/*build*/
 build//CMakeLists.txt
 /*.vcxproj
 /*.filters

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 <PackageName>_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)
 

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):