|
|
@ -30,11 +30,14 @@ Version 1.3.x |
|
|
- Support for eliminating chains of Non-Markovian states in MAs via `--eliminate-chains`. |
|
|
- Support for eliminating chains of Non-Markovian states in MAs via `--eliminate-chains`. |
|
|
- Export to dot format allows for maximal line width in states (argument `--dot-maxwidth <width>`) |
|
|
- Export to dot format allows for maximal line width in states (argument `--dot-maxwidth <width>`) |
|
|
- `storm-conv` can now apply transformations on a prism file. |
|
|
- `storm-conv` can now apply transformations on a prism file. |
|
|
|
|
|
- `storm-pars`: Enabled building, bisimulation and analysis of symbolic models. |
|
|
- `storm-dft`: Support partial-order for state space generation. |
|
|
- `storm-dft`: Support partial-order for state space generation. |
|
|
- `storm-dft`: Compute lower and upper bounds for number of BE failures via SMT. |
|
|
- `storm-dft`: Compute lower and upper bounds for number of BE failures via SMT. |
|
|
|
|
|
- `storm-dft`: Allow to set relevant events which are not set to Don't Care. |
|
|
- `storm-dft`: Support for constant failed BEs. Use flag `--uniquefailedbe` to create a unique constant failed BE. |
|
|
- `storm-dft`: Support for constant failed BEs. Use flag `--uniquefailedbe` to create a unique constant failed BE. |
|
|
- `storm-dft`: Support for probabilistic BEs via PDEPs. |
|
|
- `storm-dft`: Support for probabilistic BEs via PDEPs. |
|
|
- Fixed linking with Mathsat on macOS. |
|
|
- Fixed linking with Mathsat on macOS. |
|
|
|
|
|
- Fixed linking with IntelTBB for GCC. |
|
|
- Fixed compilation for macOS Mojave and higher. |
|
|
- Fixed compilation for macOS Mojave and higher. |
|
|
- Several bug fixes. |
|
|
- Several bug fixes. |
|
|
|
|
|
|
|
|
|
Matthias Volk
5 years ago