From 38cc9b126581acbe592b691d4a2edd78b5f46294 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 4 Aug 2017 10:27:27 +0200 Subject: [PATCH 1/4] Fixed typo in doc --- src/storm/storage/expressions/Variable.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/storage/expressions/Variable.h b/src/storm/storage/expressions/Variable.h index 83ee9a13e..8a51df376 100644 --- a/src/storm/storage/expressions/Variable.h +++ b/src/storm/storage/expressions/Variable.h @@ -130,9 +130,9 @@ namespace storm { bool hasRationalType() const; /*! - * Checks whether the variable is of boolean type. + * Checks whether the variable is of numerical type. * - * @return True iff the variable if of boolean type. + * @return True iff the variable if of numerical type. */ bool hasNumericalType() const; From 8ede347fdd612ac9c7aee4039b54874050eb60d5 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 9 Aug 2017 12:02:01 +0200 Subject: [PATCH 2/4] Fixed warning by fixing typo --- src/storm-dft/storage/dft/OrderDFTElementsById.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp index 8812eb763..72e571ab1 100644 --- a/src/storm-dft/storage/dft/OrderDFTElementsById.cpp +++ b/src/storm-dft/storage/dft/OrderDFTElementsById.cpp @@ -22,12 +22,12 @@ namespace storm { // Explicitly instantiate the class. - template class OrderElementsById; - template class OrderElementsByRank; + template struct OrderElementsById; + template struct OrderElementsByRank; #ifdef STORM_HAVE_CARL - template class OrderElementsById; - template class OrderElementsByRank; + template struct OrderElementsById; + template struct OrderElementsByRank; #endif } } From a1934ce8a9d02f0447ca9baddc8cab0357e35fe9 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 9 Aug 2017 13:27:10 +0200 Subject: [PATCH 3/4] Fixed minor things in README --- README.md | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index ffcc3bc5c..a40a349f8 100644 --- a/README.md +++ b/README.md @@ -1,23 +1,23 @@ -Storm +Storm ============================== -For more instructions, check out the documentation found in [Getting Started](https://moves-rwth.github.io/storm/getting-started.html) +For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html). Benchmarks ---------------------------- -Example input files for storm can be obtained from +Example input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples. -Running make example-files automatically obtains these files. +Running `make example-files` automatically obtains these files. -Further examples and benchmarks found in the following repositories: +Further examples and benchmarks can be found in the following repositories: * **Prism files** (DTMC, MDP, CTMC): -http://www.prismmodelchecker.org/benchmarks/ +http://www.prismmodelchecker.org/benchmarks * **Jani files** (DTMC, MDP, CTMC, MA): -http://jani-spec.org/ -* **GSPN**s: +http://jani-spec.org +* **GSPN**s: (private, contact: sebastian.junges@cs.rwth-aachen.de) * **DFT**s: https://github.com/moves-rwth/dft-examples @@ -31,8 +31,8 @@ Storm has been developed at RWTH Aachen University. ###### Principal developers * Christian Dehnert -* Joost-Pieter Katoen * Sebastian Junges +* Joost-Pieter Katoen * Matthias Volk ###### Developers (lexicographical order) @@ -40,7 +40,7 @@ Storm has been developed at RWTH Aachen University. * David Korzeniewski * Tim Quatmann -###### Contributors (lexicographical order) +###### Contributors (lexicographical order) * Dimitri Bohlender * Harold Bruintjes * Michael Deutschen From 6edbc52171e812be59625ecf6bc1fee94c71456f Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 9 Aug 2017 15:26:14 +0200 Subject: [PATCH 4/4] Removed remark to non-existing make command in README --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index a40a349f8..92214ca57 100644 --- a/README.md +++ b/README.md @@ -8,8 +8,7 @@ Benchmarks ---------------------------- Example input files for Storm can be obtained from -https://github.com/moves-rwth/storm-examples. -Running `make example-files` automatically obtains these files. +https://github.com/moves-rwth/storm-examples. Further examples and benchmarks can be found in the following repositories: