- Bindings for maximal end components
- Developer: Storm is built with C++17
- Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly
Requires storm version >= 1.6.4 and pycarl version >= 2.0.5
- Simulator for sparse models updated, added simulator for prism programs.
- Renamed PrismProgram::isDeterministicModel -> is_deterministic_model for consistency
- Support for specifying the returned quotient format (symbolic or sparse) for symbolic bisimulation
- Added support for continuous integration with Github Actions
- Updated bindings for, e.g., Jani to reflect changes in Storm
- Bindings for end component elimination
Requires storm version >= 1.6.3 and pycarl version >= 2.0.4
- Documentation is largely based on Jupyter notebooks now and supports launch with Binder
- Support for exact arithmetic in models
- Support for timeouts/signal handlers in Storm
- Code for parametric/exact/floating-point models data structures unified
- Extended support for Prism and Jani data structures
export_parametric_to_drn
no longer exists, useexport_to_drn
instead
Requires storm version >= 1.6.2 and pycarl version >= 2.0.4
- Adaptions to changes in Storm
- Create models (DTMC, MDP, CTMC, MA) directly from model components. Support creation of transition matrix, labeling, reward models, etc.
- Explicit State Lookup: Finding a state based on the variable values
- Support for pPOMDPs
- (p)POMDPs: Support for unfolding memory, making POMDPs simple, and exporting POMDP to a pMC
- Export to DRN options to support exporting without placeholders
- Renamed
preprocess_prism_program
topreprocess_symbolic_input
- Bindings for Storm-dft; most notably transformations, symmetries and relevant events
Skipped for compatibility with Storm.
Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
- Adaptions to changes in Storm: most notably state valuations
- Support for GSPNs: parsing, exploring, building
- Support for matrix building
- Extended expression operators with {conjunction, disjunction}
- Added information collector to extract information from jani models
- Bindings for elimination of chains of non-Markovian states
- Early support for POMDPs
- Early support for simulations on explicit-state models
Skipped for compatibility with Storm.
Skipped for compatibility with Storm.
Requires storm version >= 1.4.1 and pycarl version >= 2.0.4
- Adaptions to changes in Storm
- Extended simple accessors such as
parse_properties
,model_checking
, to handle variety of inputs. - Added and extended environments
- Changed constructor of
ParameterRegion
to take a valuation instead of string. UseParameterRegion.create_from_string()
to create a region from string. - Added InstantiationModelChecker for pMDPs and allow instations with rational numbers
- Added transformation of CTMCs to DTMCs
- Further bindings for Prism Programs and their preprocessing
- SettingsManager updated
- Allow building models annotated with valuations
- A custom state exploration that allows to explore successor states of a prism program
- Extended documentation, in particular examples.
- Fix for compilation with Xcode 11
Skipped for compatibility with Storm.
Requires storm version >= 1.3.0 and pycarl version >= 2.0.3
- Adaptions to changes in Storm
- Bindings for symbolic models:
- building symbolic models
- bisimulation
- transforming symbolic to sparse models
- Extraction of schedulers and queries on schedulers
- High-level counterexamples connected
- Drastically extended JANI bindings
- Extended bindings for expressions
- Extended PLA bindings
- Extended DFT bindings
- Extended documentation
- Improved and extended setup
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
- Building of model with all labels if no formula is given
- Support for
submatrix()
- Extended documentation
- Extended build script
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 - Travis support for build process
- Tests for documentation
- Updated pybind version
Skipped, to keep on par with storm
- Bindings for DFTs
- Bindings for PLA
- Updated to pycarl version 2.0.0 (support for both CLN and GMP)
- Improved building system, read flags from storm build system
- Start of this changelog