|
|
@ -9,7 +9,6 @@ The releases of major and minor versions contain an overview of changes since th |
|
|
### Version 1.2 |
|
|
### Version 1.2 |
|
|
- C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. |
|
|
- C++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. |
|
|
- storm-cli-utilities now contains cli related stuff, instead of storm-lib |
|
|
- storm-cli-utilities now contains cli related stuff, instead of storm-lib |
|
|
- storm-pars: support for welldefinedness constraints in mdps. |
|
|
|
|
|
- Symbolic (MT/BDD) bisimulation |
|
|
- Symbolic (MT/BDD) bisimulation |
|
|
- Fixed issue related to variable names that can not be used in Exprtk. |
|
|
- Fixed issue related to variable names that can not be used in Exprtk. |
|
|
- DRN parser improved |
|
|
- DRN parser improved |
|
|
@ -20,6 +19,10 @@ The releases of major and minor versions contain an overview of changes since th |
|
|
- WalkerChae method for solving linear equation systems with guaranteed convergence |
|
|
- WalkerChae method for solving linear equation systems with guaranteed convergence |
|
|
- 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 |
|
|
|
|
|
- storm-pars: support for welldefinedness constraints in mdps. |
|
|
|
|
|
- storm-dft: split DFT settings into IO settings and fault tree settings |
|
|
|
|
|
- storm-dft: removed obsolete explicit model builder for DFTs |
|
|
- Features for developers: |
|
|
- Features for developers: |
|
|
* Solvers can now expose requirements |
|
|
* Solvers can now expose requirements |
|
|
* unbounded reachability and reachability rewards now correctly respect solver requirements |
|
|
* unbounded reachability and reachability rewards now correctly respect solver requirements |
|
|
@ -27,7 +30,6 @@ The releases of major and minor versions contain an overview of changes since th |
|
|
* changes to Matrix-Vector operation interfaces, in particular fixed some issues with the use Intel TBB |
|
|
* changes to Matrix-Vector operation interfaces, in particular fixed some issues with the use Intel TBB |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Version 1.1.x |
|
|
Version 1.1.x |
|
|
------------- |
|
|
------------- |
|
|
|
|
|
|
|
|
|
Matthias Volk
7 years ago