sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Updated changelog.

tempestpy_adaptions
TimQu 6 years ago
parent
70b9398b90
commit
f9b06e7eaf
1 changed files with 2 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 2
      CHANGELOG.md

2
CHANGELOG.md
View File

@ -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. - 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. - 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. - 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: Allow bounded types for constants
- JANI: Support for non-trivial reward accumulations. - JANI: Support for non-trivial reward accumulations.
- JANI: Fixed support for reward expressions over non-transient variables. - JANI: Fixed support for reward expressions over non-transient variables.

Write Preview
Loading…
Cancel
Save