From 70b9398b903b15d0ad59c494a8cbf3a17d16c00b Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 13 May 2019 13:53:24 +0200 Subject: [PATCH 1/2] storage/Scheduler: Fixed a constructor. --- src/storm/storage/Scheduler.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/storage/Scheduler.cpp b/src/storm/storage/Scheduler.cpp index 252cd1ebc..ed118b4ca 100644 --- a/src/storm/storage/Scheduler.cpp +++ b/src/storm/storage/Scheduler.cpp @@ -17,7 +17,7 @@ namespace storm { template Scheduler::Scheduler(uint_fast64_t numberOfModelStates, boost::optional&& memoryStructure) : memoryStructure(std::move(memoryStructure)) { - uint_fast64_t numOfMemoryStates = memoryStructure ? memoryStructure->getNumberOfStates() : 1; + uint_fast64_t numOfMemoryStates = this->memoryStructure ? this->memoryStructure->getNumberOfStates() : 1; schedulerChoices = std::vector>>(numOfMemoryStates, std::vector>(numberOfModelStates)); numOfUndefinedChoices = numOfMemoryStates * numberOfModelStates; numOfDeterministicChoices = 0; From f9b06e7eaf24d472a55c04f9ebe32e215fe1e4da Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 13 May 2019 13:55:36 +0200 Subject: [PATCH 2/2] Updated changelog. --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 4453f0ed1..5610f8171 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,8 @@ Version 1.3.x - Allow to quickly check a benchmark from the [Quantitative Verification Benchmark Set](http://qcomp.org/benchmarks/) using the --qvbs option. - Added script resources/examples/download_qvbs.sh to download the QVBS. - If an option is unknown, Storm now prints a hint to similar option names. +- Support for the new `round` operator in the PRISM language +- Support for parsing of exact time bounds for properties, e.g., `P=? [F=27 "goal"]` - JANI: Allow bounded types for constants - JANI: Support for non-trivial reward accumulations. - JANI: Fixed support for reward expressions over non-transient variables.