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

adapting changelog

main
dehnert 7 years ago
parent
1adc1ce564
commit
601b73608a
1 changed files with 1 additions and 1 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

@ -11,7 +11,7 @@ Version 1.2.x
- `storm-dft`: improvements in Galileo parser - `storm-dft`: improvements in Galileo parser
- `storm-dft`: test cases for DFT analysis - `storm-dft`: test cases for DFT analysis
- Sound value iteration (SVI) for DTMCs and MDPs - Sound value iteration (SVI) for DTMCs and MDPs
- Topological solver for linear equation systems and MinMax equation systems.
- Topological solver for linear equation systems and MinMax equation systems (enabled by default)
- Added support for expected total rewards in the sparse engine - Added support for expected total rewards in the sparse engine
- `storm-parsers` extracted to reduce linking time - `storm-parsers` extracted to reduce linking time
- `storm-counterexamples` extracted to reduce linking time - `storm-counterexamples` extracted to reduce linking time

Write Preview
Loading…
Cancel
Save