|
|
@ -4,7 +4,7 @@ Changelog |
|
|
Version 1.3.x |
|
|
Version 1.3.x |
|
|
------------- |
|
|
------------- |
|
|
|
|
|
|
|
|
### Version 1.3.0 (2018/12) |
|
|
|
|
|
|
|
|
### Version 1.3.0 (2019/01) |
|
|
Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 |
|
|
Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 |
|
|
- Adaptions to changes in Storm |
|
|
- Adaptions to changes in Storm |
|
|
- Bindings for symbolic models: |
|
|
- Bindings for symbolic models: |
|
|
@ -18,6 +18,7 @@ Requires storm version >= 1.3.0 and pycarl version >= 2.0.2 |
|
|
- Extended PLA bindings |
|
|
- Extended PLA bindings |
|
|
- Extended DFT bindings |
|
|
- Extended DFT bindings |
|
|
- Extended documentation |
|
|
- Extended documentation |
|
|
|
|
|
- Improved and extended setup |
|
|
|
|
|
|
|
|
Version 1.2.x |
|
|
Version 1.2.x |
|
|
------------- |
|
|
------------- |
|
|
|
Matthias Volk
6 years ago