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

update changelog

main
dehnert 8 years ago
parent
cd34e3d67e
commit
e67c04d2d6
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
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      CHANGELOG.md

1
CHANGELOG.md
View File

@ -20,6 +20,7 @@ The releases of major and minor versions contain an overview of changes since th
- Performance improvements for sparse model building - Performance improvements for sparse model building
- Performance improvements for conditional properties on MDPs - Performance improvements for conditional properties on MDPs
- Automatically convert MA without probabilistic states into CTMC - Automatically convert MA without probabilistic states into CTMC
- Fixed implemention of Fox and Glynn' algorithm
- storm-pars: support for welldefinedness constraints in mdps. - storm-pars: support for welldefinedness constraints in mdps.
- storm-dft: split DFT settings into IO settings and fault tree settings - storm-dft: split DFT settings into IO settings and fault tree settings
- storm-dft: removed obsolete explicit model builder for DFTs - storm-dft: removed obsolete explicit model builder for DFTs

Write Preview
Loading…
Cancel
Save