|
|
|
@ -1,20 +1,22 @@ |
|
|
|
Changelog |
|
|
|
============== |
|
|
|
============= |
|
|
|
|
|
|
|
|
|
|
|
Version 1.1.x |
|
|
|
------------- |
|
|
|
|
|
|
|
### Version 1.1.1 |
|
|
|
|
|
|
|
### Version 1.2.0 |
|
|
|
Requires storm version >= 1.2.0 and pycarl version >= 2.0.2 |
|
|
|
- Adaptions to changes in Storm |
|
|
|
- Bindings for simplification of parametric models |
|
|
|
|
|
|
|
- Handling of rewards |
|
|
|
|
|
|
|
### Version 1.1.0 (2017/08) |
|
|
|
|
|
|
|
- Bindings for storm-pars |
|
|
|
Requires storm version >= 1.1.0 |
|
|
|
- Bindings for `storm-pars` |
|
|
|
- Bindings for graph constraints |
|
|
|
- Bindings for handling JANI files |
|
|
|
- Moved expressions from own module into storage module |
|
|
|
- Moved expressions from own module into `storage` module |
|
|
|
- Travis support for build process |
|
|
|
- Tests for documentation |
|
|
|
- Updated pybind version |
|
|
|
@ -28,11 +30,10 @@ Version 0.9.x |
|
|
|
------------- |
|
|
|
|
|
|
|
### Version 0.9.1 (2017/04) |
|
|
|
|
|
|
|
- Bindings for DFTs |
|
|
|
- Bindings for PLA |
|
|
|
- Updated to pycarl v2 (support for both cln and gmp) |
|
|
|
- Updated to pycarl version 2.0.0 (support for both CLN and GMP) |
|
|
|
- Improved building system, read flags from storm build system |
|
|
|
|
|
|
|
### Version 0.9 (2017/03) |
|
|
|
Start of this changelog |
|
|
|
- Start of this changelog |
Matthias Volk
7 years ago