Matthias Volk
|
03605b44c4
|
Renamed preprocess_prism_program to preprocess_symbolic_input
|
4 years ago |
|
Matthias Volk
|
4c3b5c9784
|
GSPN to Jani translation
|
4 years ago |
|
Matthias Volk
|
5cb06f2ee9
|
Bindings for symmetries in DFTs
|
4 years ago |
|
Matthias Volk
|
10c26106c8
|
Bindings for DFT elements and modularisation
|
4 years ago |
|
Matthias Volk
|
72de6872ea
|
Config flag whether xerces-c is available in Storm
|
5 years ago |
|
Matthias Volk
|
7015a4c012
|
Default parameters for BuilderOptions
|
5 years ago |
Sebastian Junges
|
80f044cc49
|
dft tests should be disabled if no dft support is given
|
5 years ago |
|
Sebastian Junges
|
886718bdb2
|
state generation via stormpy is broken. to avoid compilation problems, this is disabled for now
|
5 years ago |
|
Matthias Volk
|
105d9c40b5
|
Skip tests if numpy is not available
|
5 years ago |
hannah
|
e5a15eac6e
|
Parametric sparse matrix builder and tests
|
5 years ago |
|
hannah
|
bfce55912d
|
added tests
|
5 years ago |
|
hannah
|
b3d99eae89
|
convert numpy to SparseMatrix, tests
|
5 years ago |
|
Matthias Volk
|
80787fb3d8
|
Consistently use Python naming scheme
|
5 years ago |
|
hannah
|
efabfd0cbe
|
completed documentation and added some testcases
|
5 years ago |
|
hannah
|
c014234e77
|
added content to the gspn documentation
|
5 years ago |
|
hannah
|
019c8ba912
|
added missing Transition class methods
|
5 years ago |
|
Matthias Volk
|
27546c7918
|
Simplified some assertions
|
5 years ago |
|
hannah
|
9a74d83079
|
added remaining tests
|
5 years ago |
|
Matthias Volk
|
2eec1828c1
|
GSPNs methods using boost::optional are working after fix in Storm
|
5 years ago |
|
hannah
|
3c71a4b04a
|
added some tests
|
5 years ago |
|
hannah
|
b5cb9d71ee
|
added GSPNParser class for gspn import and missing GSPN class methods
|
5 years ago |
|
hannah
|
4d357a7409
|
write gspn to Pnpro
|
5 years ago |
|
hannah
|
e69c181462
|
added Transition classes
|
5 years ago |
|
hannah
|
c8a9230e6e
|
added Place class
|
5 years ago |
|
hannah
|
74a69e3dd2
|
added LayoutInfo class
|
5 years ago |
|
hannah
|
90c33339c0
|
added fcts to GSPN class
|
5 years ago |
|
hannah
|
279c24d6bd
|
added functions to gspn_builder
|
5 years ago |
|
hannah
|
00569096f9
|
added gspn_builder class
|
5 years ago |
|
Matthias Volk
|
47fbb98ed5
|
Added structure for GSPN module
|
5 years ago |
|
Sebastian Junges
|
eefa75c203
|
flatset adaption to work with latest versions of boost
|
5 years ago |
|
Sebastian Junges
|
41a0dd0bde
|
fix test
|
5 years ago |
Philipp Schröer
|
620d2e4094
|
StateGenerator: update test
|
5 years ago |
|
Matthias Volk
|
5ae552ee59
|
Minor improvements
|
5 years ago |
|
Matthias Volk
|
78c5ccb2b1
|
Adapted tests to changes in storm
|
5 years ago |
|
Matthias Volk
|
ae036cfad5
|
Adapted state space sizes in tests as Storm improvements lead to smaller models
|
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
|
35fc0699ee
|
Bindings for InstantiationModelchecker with RationalNumber
|
5 years ago |
|
Philipp Schröer
|
c1f2c83e1f
|
StateGenerator
|
5 years ago |
|
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
|
e831ae36c5
|
Binding for preprocessing prism models
|
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
|
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
|
aae472389e
|
Added test for scheduler
|
6 years ago |
|
Matthias Volk
|
2908ac1b70
|
Get all parameters from sparse or symbolic model
|
6 years ago |
|
Matthias Volk
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
