Matthias Volk
|
dc94843aca
|
Support for parsing jani model from string
|
5 years ago |
|
Matthias Volk
|
acd5a897f1
|
Adaption to changes of relevant events in Storm
|
5 years ago |
Sebastian Junges
|
89f3924b8c
|
finding explicit states in models
|
5 years ago |
|
Matthias Volk
|
77fe824f0a
|
Compute FDEP conflicts to avoid non-determinism in DFT analysis
|
5 years ago |
|
Matthias Volk
|
432893aa55
|
Bindings for DFT transformations
|
5 years ago |
|
Matthias Volk
|
0d756c42f1
|
Binding for computing relevant events in DFTs
|
5 years ago |
|
Matthias Volk
|
27a97f313d
|
Get DFT elements by name
|
5 years ago |
|
Matthias Volk
|
84f83e47dd
|
Changed order of models in tests
|
5 years ago |
|
Matthias Volk
|
c85fad69e5
|
Improved some descriptions
|
5 years ago |
hannah
|
db6a247fcc
|
completed tests for ma, mdp, pomdp
|
5 years ago |
|
hannah
|
3523b97e46
|
completed ma tests
|
5 years ago |
|
hannah
|
f4b3169c0d
|
completed ctmc tests
|
5 years ago |
|
hannah
|
7bc0168775
|
completed dtmc tests
|
5 years ago |
|
Matthias Volk
|
ab06826b80
|
Default arguments for StateValuationsBuilder.add_state()
|
5 years ago |
|
hannah
|
04d0737f69
|
state_valuations
|
5 years ago |
|
hannah
|
1a4dc644b6
|
choiceOrigins tests
|
5 years ago |
|
hannah
|
bb59710e6e
|
tests for dtmc from mdoel_components
|
5 years ago |
|
hannah
|
b20bd741d2
|
tests
|
5 years ago |
|
hannah
|
c0a1eb7a32
|
some tests
|
5 years ago |
|
Matthias Volk
|
03605b44c4
|
Renamed preprocess_prism_program to preprocess_symbolic_input
|
5 years ago |
|
Matthias Volk
|
4c3b5c9784
|
GSPN to Jani translation
|
5 years ago |
|
Matthias Volk
|
5cb06f2ee9
|
Bindings for symmetries in DFTs
|
5 years ago |
|
Matthias Volk
|
10c26106c8
|
Bindings for DFT elements and modularisation
|
5 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
|
6 years ago |
|
Sebastian Junges
|
886718bdb2
|
state generation via stormpy is broken. to avoid compilation problems, this is disabled for now
|
6 years ago |
|
Matthias Volk
|
105d9c40b5
|
Skip tests if numpy is not available
|
6 years ago |
|
hannah
|
e5a15eac6e
|
Parametric sparse matrix builder and tests
|
6 years ago |
|
hannah
|
bfce55912d
|
added tests
|
6 years ago |
|
hannah
|
b3d99eae89
|
convert numpy to SparseMatrix, tests
|
6 years ago |
|
Matthias Volk
|
80787fb3d8
|
Consistently use Python naming scheme
|
6 years ago |
|
hannah
|
efabfd0cbe
|
completed documentation and added some testcases
|
6 years ago |
|
hannah
|
c014234e77
|
added content to the gspn documentation
|
6 years ago |
|
hannah
|
019c8ba912
|
added missing Transition class methods
|
6 years ago |
|
Matthias Volk
|
27546c7918
|
Simplified some assertions
|
6 years ago |
|
hannah
|
9a74d83079
|
added remaining tests
|
6 years ago |
|
Matthias Volk
|
2eec1828c1
|
GSPNs methods using boost::optional are working after fix in Storm
|
6 years ago |
|
hannah
|
3c71a4b04a
|
added some tests
|
6 years ago |
|
hannah
|
b5cb9d71ee
|
added GSPNParser class for gspn import and missing GSPN class methods
|
6 years ago |
|
hannah
|
4d357a7409
|
write gspn to Pnpro
|
6 years ago |
|
hannah
|
e69c181462
|
added Transition classes
|
6 years ago |
|
hannah
|
c8a9230e6e
|
added Place class
|
6 years ago |
|
hannah
|
74a69e3dd2
|
added LayoutInfo class
|
6 years ago |
|
hannah
|
90c33339c0
|
added fcts to GSPN class
|
6 years ago |
|
hannah
|
279c24d6bd
|
added functions to gspn_builder
|
6 years ago |
|
hannah
|
00569096f9
|
added gspn_builder class
|
6 years ago |
|
Matthias Volk
|
47fbb98ed5
|
Added structure for GSPN module
|
6 years ago |
|
Sebastian Junges
|
eefa75c203
|
flatset adaption to work with latest versions of boost
|
6 years ago |
|
Sebastian Junges
|
41a0dd0bde
|
fix test
|
6 years ago |
