Matthias Volk
|
5ae552ee59
|
Minor improvements
|
5 years ago |
|
Matthias Volk
|
1a8ec096bc
|
Use header file for all environments
|
5 years ago |
|
Matthias Volk
|
d94317b17e
|
Enable function signatures in documentation by default
|
5 years ago |
Sebastian Junges
|
2ac4805554
|
added options for the DRN parser, reflects recent changes in storm
|
5 years ago |
|
Sebastian Junges
|
d8c4bca6a7
|
added jani collector bindings
|
5 years ago |
|
Matthias Volk
|
106e1146b6
|
Bindings for elimination of chains of non-Markovian states
|
5 years ago |
|
Matthias Volk
|
5a61c88b6d
|
Tests for scheduler application and MA->CTMC translation
|
5 years ago |
|
Matthias Volk
|
9e31a5b83a
|
Fixed __str__ of models
|
5 years ago |
|
Sebastian Junges
|
7ae4d0806e
|
expression conjucntion and disjunction
|
5 years ago |
|
Matthias Volk
|
1bbf1f108e
|
Adaption to changes in Storm
|
5 years ago |
|
Sebastian Junges
|
300902a5cd
|
support for getting results for a particular state with symbolic model checking
|
5 years ago |
|
Sebastian Junges
|
1ff8ba5fe5
|
Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc.
|
5 years ago |
|
Sebastian Junges
|
fbff51a096
|
check whether the model is sparse or symbolic represented
|
5 years ago |
|
Sebastian Junges
|
feb279c7d1
|
Environment extended to select the model checking algorithm for Markov chains
|
5 years ago |
|
Sebastian Junges
|
1930a6d612
|
generic parse_properties for simpler code
|
5 years ago |
|
Matthias Volk
|
35fc0699ee
|
Bindings for InstantiationModelchecker with RationalNumber
|
5 years ago |
|
Matthias Volk
|
d96249096e
|
Adaptions to changes in Storm
|
5 years ago |
Philipp Schröer
|
c1f2c83e1f
|
StateGenerator
|
5 years ago |
|
Sebastian Junges
|
76870b61be
|
building models with valuations
|
6 years ago |
|
Matthias Volk
|
3bf516f08e
|
Changed constructor of ParameterRegion to take a valuation.
Use ParameterRegion.create_from_string() to initialize a region from string.
|
6 years ago |
|
Matthias Volk
|
de7aaa3fff
|
Set Storm settings
|
6 years ago |
|
Matthias Volk
|
e831ae36c5
|
Binding for preprocessing prism models
|
6 years ago |
Kevin Batz
|
c7e9ff14b9
|
binding for evaluate_as_rational (expressions)
|
6 years ago |
Kevin Batz
|
92275c3960
|
tests for prism programs and expressions
|
6 years ago |
|
Kevin Batz
|
a762b28b63
|
additional bindings for expressions and prism programs
|
6 years ago |
|
Matthias Volk
|
7641c433a9
|
Adaptions to changes in Storm
|
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
|
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
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
|
Sebastian Junges
|
e35f390414
|
copy sparse models
|
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 |
|
Matthias Volk
|
befee6332f
|
Added simple filtering for initial states
|
6 years ago |
|
Sebastian Junges
|
c73a5b77b3
|
explicit expression copies
|
7 years ago |
|
Sebastian Junges
|
8e19314044
|
some debugging facilities for jani model
|
7 years ago |
|
Sebastian Junges
|
6a79cfdfa9
|
several further jani code wrapped, including a fix for actually returning automaton variables by reference
|
7 years ago |
sjunges
|
350f5a09e1
|
several extensions to jani datastructures
|
7 years ago |
|
Sebastian Junges
|
fdf8d8b86b
|
several functions to build automata
|
7 years ago |
|
Sebastian Junges
|
3648aa6f76
|
model to dot string
|
7 years ago |
|
Sebastian Junges
|
9970aa391f
|
toposort bindings
|
7 years ago |
|
Sebastian Junges
|
b2b647203b
|
add pomdp support to stormpy
|
7 years ago |
