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

updated changelog

tempestpy_adaptions
Tim Quatmann 5 years ago
parent
a649968a62
commit
bdcd181458
1 changed files with 1 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
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      CHANGELOG.md

1
CHANGELOG.md
View File

@ -14,6 +14,7 @@ Version 1.5.x
- Tests: Enabled tests for permissive schedulers
- `storm-counterexamples`: fix when computing multiple counterexamples in debug mode
- `storm-dft`: Renamed setting `--show-dft-stats` to `dft-statistics` and added approximation information to statistics.
- `storm-pomdp`: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
## Version 1.5.1 (2020/03)
- Jani models are now parsed using exact arithmetic.

Write Preview
Loading…
Cancel
Save