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

updated changelog

main
TimQu 7 years ago
parent
e1047e787f
commit
41c20c7b63
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

@ -11,6 +11,7 @@ Version 1.2.x
- 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 (enabled by default) - 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
- By default, iteration-based solvers are no longer aborted after a given number of steps.
- Improved export for jani models - Improved export for jani models
- A fix in parsing jani properties - A fix in parsing jani properties
- Several extensions to high-level counterexamples - Several extensions to high-level counterexamples

Write Preview
Loading…
Cancel
Save