|
|
@ -11,26 +11,13 @@ Version 1.3.x |
|
|
### Version 1.3.0 (2018/12) |
|
|
### Version 1.3.0 (2018/12) |
|
|
- Slightly improved scheduler extraction |
|
|
- Slightly improved scheduler extraction |
|
|
- Environments are now part of the c++ API |
|
|
- Environments are now part of the c++ API |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### Comparison with Version 1.2.0 (details see below) |
|
|
|
|
|
- Heavily extended JANI-support |
|
|
|
|
|
- New binary `storm-conv` that handles conversion between model files |
|
|
|
|
|
- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. |
|
|
|
|
|
- `storm-gspn` improved |
|
|
|
|
|
- Sound value iteration |
|
|
|
|
|
|
|
|
|
|
|
Version 1.2.x |
|
|
|
|
|
------------- |
|
|
|
|
|
|
|
|
|
|
|
### Version 1.2.4 (2018/08) |
|
|
|
|
|
- Heavily extended JANI support, in particular: |
|
|
- Heavily extended JANI support, in particular: |
|
|
* arrays, functions, state-exit-rewards (all engines) |
|
|
* arrays, functions, state-exit-rewards (all engines) |
|
|
* indexed assignments, complex reward expressions (sparse engine) |
|
|
* indexed assignments, complex reward expressions (sparse engine) |
|
|
* several jani-related bug fixes |
|
|
* several jani-related bug fixes |
|
|
- New binary `storm-conv` that handles conversions between model files |
|
|
- New binary `storm-conv` that handles conversions between model files |
|
|
- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. |
|
|
- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. |
|
|
- Closing a Markov automaton now removes unreachable states |
|
|
|
|
|
|
|
|
- Maximal progress assumption is now applied while building Markov Automata (sparse engine). |
|
|
- Added support for expected time properties for discrete time models |
|
|
- Added support for expected time properties for discrete time models |
|
|
- Bug fix in the parser for DRN (MDPs and MAs might have been affected). |
|
|
- Bug fix in the parser for DRN (MDPs and MAs might have been affected). |
|
|
- `storm-gspn`: Improved .pnpro parser |
|
|
- `storm-gspn`: Improved .pnpro parser |
|
|
@ -39,6 +26,16 @@ Version 1.2.x |
|
|
- `storm-gspn`: Added option to include a set of standard properties when converting GSPNs to jani |
|
|
- `storm-gspn`: Added option to include a set of standard properties when converting GSPNs to jani |
|
|
- `storm-pars`: Added possibility to compute the extremal value within a given region using parameter lifting |
|
|
- `storm-pars`: Added possibility to compute the extremal value within a given region using parameter lifting |
|
|
|
|
|
|
|
|
|
|
|
### Comparison with Version 1.2.0 (details see below) |
|
|
|
|
|
- Heavily extended JANI-support |
|
|
|
|
|
- New binary `storm-conv` that handles conversion between model files |
|
|
|
|
|
- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs. |
|
|
|
|
|
- `storm-gspn` improved |
|
|
|
|
|
- Sound value iteration |
|
|
|
|
|
|
|
|
|
|
|
Version 1.2.x |
|
|
|
|
|
------------- |
|
|
|
|
|
|
|
|
### Version 1.2.3 (2018/07) |
|
|
### Version 1.2.3 (2018/07) |
|
|
- Fix in version parsing |
|
|
- Fix in version parsing |
|
|
|
|
|
|
|
|
|
TimQu
6 years ago