Matthias Volk
|
3bf516f08e
|
Changed constructor of ParameterRegion to take a valuation.
Use ParameterRegion.create_from_string() to initialize a region from string.
|
5 years ago |
|
Matthias Volk
|
3606edfa96
|
Test for symbolic parametric bisimulation
|
5 years ago |
|
Matthias Volk
|
de7aaa3fff
|
Set Storm settings
|
5 years ago |
|
Matthias Volk
|
e831ae36c5
|
Binding for preprocessing prism models
|
5 years ago |
Kevin Batz
|
c7e9ff14b9
|
binding for evaluate_as_rational (expressions)
|
5 years ago |
Kevin Batz
|
92275c3960
|
tests for prism programs and expressions
|
5 years ago |
|
Kevin Batz
|
a762b28b63
|
additional bindings for expressions and prism programs
|
5 years ago |
|
Matthias Volk
|
7641c433a9
|
Adaptions to changes in Storm
|
6 years ago |
|
Matthias Volk
|
c0c0a4b547
|
Merge from master
|
6 years ago |
|
Matthias Volk
|
2bd53218ad
|
Adaptions to changes in Storm-dft
|
6 years ago |
|
Matthias Volk
|
65cd8f4787
|
Adaption to changes in Storm-dft
|
6 years ago |
|
Matthias Volk
|
0595ee1d64
|
Added documentation for MA scheduler extraction
|
6 years ago |
|
Matthias Volk
|
72bbb161b3
|
Removed print statement in tests
|
6 years ago |
|
Matthias Volk
|
341bd544e3
|
Added tests for MAs: scheduler extraction and transformation to MDPs
|
6 years ago |
|
Matthias Volk
|
37d82d4e0c
|
Fixed typo in doc
|
6 years ago |
|
Matthias Volk
|
e148fbcd6a
|
Added documenation for schedulers
|
6 years ago |
|
Matthias Volk
|
aae472389e
|
Added test for scheduler
|
6 years ago |
|
Matthias Volk
|
2908ac1b70
|
Get all parameters from sparse or symbolic model
|
6 years ago |
Sebastian Junges
|
e9ddc058f6
|
instantiation checker for mdps
|
6 years ago |
|
Sebastian Junges
|
2e218a14b3
|
add instantiation checker (for pDTMCs)
|
6 years ago |
|
Matthias Volk
|
fdf566876e
|
Increment required Storm version
|
6 years ago |
|
Matthias Volk
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
|
Matthias Volk
|
6233fc5f82
|
Set correct pycarl version in CHANGELOG
|
6 years ago |
|
Matthias Volk
|
57f4dfc344
|
Require newest pycarl version
|
6 years ago |
|
Matthias Volk
|
7268fc1472
|
Set version in doc automatically
|
6 years ago |
|
Matthias Volk
|
b30cae0d6d
|
Updated CHANGELOG
|
6 years ago |
|
Matthias Volk
|
abe5c8d69e
|
Require Storm version >= 1.3.0
|
6 years ago |
|
Matthias Volk
|
5eb7af76b1
|
Travis: use new Storm release 1.3.0
|
6 years ago |
|
Sebastian Junges
|
e35f390414
|
copy sparse models
|
6 years ago |
|
Sebastian Junges
|
7c8110f38d
|
extra example file listed
|
6 years ago |
|
Sebastian Junges
|
aaf22508a1
|
update changelog in preparation of release
|
6 years ago |
|
Sebastian Junges
|
bdff55242e
|
setting stormpy version to 1.3.0 in preparation of release
|
6 years ago |
|
Sebastian Junges
|
910e24a73e
|
fixed tests based on changes in storm
|
6 years ago |
|
Sebastian Junges
|
98e61814f8
|
fix test to use new capitalised operators
|
6 years ago |
|
Matthias Volk
|
af5872d633
|
Fixed conversion to raw_formula for properties
|
6 years ago |
|
Sebastian Junges
|
9317d54083
|
extended support for mdps
|
6 years ago |
|
Sebastian Junges
|
2e1f60a3c0
|
support for submodel construction
|
6 years ago |
|
Sebastian Junges
|
cec2861a5d
|
several extensions and fixes for jani data structures
|
6 years ago |
|
Sebastian Junges
|
65147aec12
|
expressions: operators changed to capital (breaks backward compatibility)
|
6 years ago |
|
Sebastian Junges
|
1b75c23257
|
updated formula operator access
|
6 years ago |
|
Sebastian Junges
|
297f5457a3
|
improved access to counterexamples
|
6 years ago |
|
Sebastian Junges
|
183f0cf843
|
extended environment
|
6 years ago |
|
Sebastian Junges
|
30f6b4395d
|
model checking routines take optional environment
|
6 years ago |
|
Sebastian Junges
|
5aab3cbe3e
|
support for properties and raw formulae in symbolic model creation
|
6 years ago |
|
Sebastian Junges
|
4f0981eb66
|
Merge branch 'master' into wrap_highlevel
|
6 years ago |
|
Matthias Volk
|
c714cb68f5
|
Added documentation for engines
|
6 years ago |
|
Matthias Volk
|
4ab6277e3f
|
Fixed some typos
|
6 years ago |
|
Matthias Volk
|
befee6332f
|
Added simple filtering for initial states
|
6 years ago |
|
Sebastian Junges
|
daad201f6c
|
Merge branch 'wrap_highlevel' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy into wrap_highlevel
|
6 years ago |
|
Sebastian Junges
|
3ab8262f08
|
Merge branch 'master' into wrap_highlevel
|
6 years ago |
