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 |
|
Sebastian Junges
|
4c3f98ab6c
|
graph-preprocessing on the pomdp
|
5 years ago |
Matthias Volk
|
eeffca7df5
|
Small revision for MatrixBuilder
|
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 |
|
hannah
|
2059add7cd
|
SparseMatrixBuilder class
|
5 years ago |
|
Matthias Volk
|
e2e7919427
|
Fixed links in GSPN doc
|
5 years ago |
|
Matthias Volk
|
42d2f1be01
|
Small revision in GSPN doc
|
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
|
c076609c34
|
small correction in gspn doc
|
5 years ago |
|
hannah
|
c014234e77
|
added content to the gspn documentation
|
5 years ago |
|
hannah
|
339781db4a
|
created gspn example
|
5 years ago |
|
hannah
|
42e0774d83
|
documentation for gspn bindings
|
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
|
7fee180e40
|
export gspn to pnml
|
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 |
|
Matthias Volk
|
7318abdd64
|
Travis: fixed failure not being an error
|
5 years ago |
Tim Quatmann
|
7ea0055c11
|
added an example that prints the model checking result for all states
|
5 years ago |
|
Matthias Volk
|
320fe5eb5d
|
Updated required Storm version
|
5 years ago |
|
Matthias Volk
|
5eda9b6ae2
|
Travis: use latest Storm release
|
5 years ago |
|
Matthias Volk
|
d060658bee
|
Adaption to changes in storm-dft
|
5 years ago |
|
Sebastian Junges
|
fc61bd2b15
|
Merge branch 'master' into almostsurepomdp
|
5 years ago |
|
Sebastian Junges
|
5d05bc0e2f
|
bitvector already has an iterator, remove comment
|
5 years ago |
|
Sebastian Junges
|
c17680f761
|
fix code that only compiles on macos
|
5 years ago |
|
Sebastian Junges
|
dd7506c231
|
write / load winning regions
|
5 years ago |
|
Sebastian Junges
|
e259779f45
|
Merge branch 'master' into almostsurepomdp
|
5 years ago |
|
Sebastian Junges
|
b041ca5e66
|
get constants and there defining expressions
|
5 years ago |
|
Sebastian Junges
|
eefa75c203
|
flatset adaption to work with latest versions of boost
|
5 years ago |
|
Sebastian Junges
|
9a819d7029
|
Merge branch 'master' into almostsurepomdp
|
5 years ago |
|
Sebastian Junges
|
c29871b1b2
|
build reward models and get them by name
|
5 years ago |
|
Sebastian Junges
|
865c804093
|
Merge branch 'master' into almostsurepomdp
|
5 years ago |
|
Sebastian Junges
|
1d3bc4154a
|
clion build folder ignored
|
5 years ago |
|
Sebastian Junges
|
831353bca0
|
jani model transformers
|
5 years ago |
|
Sebastian Junges
|
f42092e7aa
|
convenient access to choice index
|
5 years ago |
