|
|
@ -1,10 +1,12 @@ |
|
|
Changelog |
|
|
Changelog |
|
|
============= |
|
|
============= |
|
|
|
|
|
|
|
|
Version 1.4.0 |
|
|
|
|
|
|
|
|
Version 1.4.x |
|
|
------------- |
|
|
------------- |
|
|
|
|
|
|
|
|
### Version 1.4.0 (under development) |
|
|
|
|
|
|
|
|
### Version 1.4.2 (under development) |
|
|
|
|
|
|
|
|
|
|
|
### Version 1.4.1 |
|
|
Requires storm version >= 1.4.0 |
|
|
Requires storm version >= 1.4.0 |
|
|
- Adaptions to changes in Storm |
|
|
- Adaptions to changes in Storm |
|
|
- Extended simple accessors such as `parse_properties`, `model_checking`, to handle variety of inputs. |
|
|
- Extended simple accessors such as `parse_properties`, `model_checking`, to handle variety of inputs. |
|
|
@ -19,6 +21,10 @@ Requires storm version >= 1.4.0 |
|
|
- A custom state exploration that allows to explore successor states of a prism program |
|
|
- A custom state exploration that allows to explore successor states of a prism program |
|
|
- Extended documentation, in particular examples. |
|
|
- Extended documentation, in particular examples. |
|
|
|
|
|
|
|
|
|
|
|
### Version 1.4.0 |
|
|
|
|
|
Skipped for compatibility with Storm. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Version 1.3.x |
|
|
Version 1.3.x |
|
|
------------- |
|
|
------------- |
|
|
|
|
|
|
|
|
|
Sebastian Junges
5 years ago