Thomas Knoll
|
08e389a9da
|
added shield_expression parameter for
model checking call
|
1 year ago |
|
Thomas Knoll
|
5d84d94028
|
removed useless calls in pre shield dt example
|
1 year ago |
|
Thomas Knoll
|
7744b5e3dc
|
changed pre shield decision tree export example
added post tree decision tree export example
|
1 year ago |
|
Thomas Knoll
|
f2695b54d8
|
added dtcontrol dependency
export file handling
|
1 year ago |
|
Thomas Knoll
|
86a64c7f35
|
some example adaptions removed optimal simulator
|
1 year ago |
|
Thomas Knoll
|
7a27bf6ad9
|
changes to examples
|
1 year ago |
|
Thomas Knoll
|
9599bbdd3f
|
added prism files for shield examples
|
1 year ago |
|
Thomas Knoll
|
cc6ae3868b
|
added / renamed shield examples
|
1 year ago |
|
Thomas Knoll
|
557dd4f57e
|
extended smg / stg / simulator python classes
|
1 year ago |
|
Thomas Knoll
|
ac5f685d24
|
support smg model / testcases for optimal shields
|
1 year ago |
|
Thomas Knoll
|
89107ce6ee
|
added bindings for shield querying
|
1 year ago |
|
Thomas Knoll
|
fa533af4c4
|
added basic shield export functionality
|
1 year ago |
|
Thomas Knoll
|
74ecd91159
|
added pre / post scheduler skeleton
|
1 year ago |
|
Thomas Knoll
|
12bcd67300
|
added suffix for shield template classes
|
1 year ago |
|
Thomas Knoll
|
5617735b69
|
added basic shield class bindings
|
1 year ago |
|
Thomas Knoll
|
024a022bc5
|
added shields module files
|
1 year ago |
Matthias Volk
|
6fc0d72b99
|
Stormpy version 1.6.3
|
4 years ago |
|
Matthias Volk
|
389331b28f
|
Doc: typo
|
4 years ago |
|
Matthias Volk
|
f7942cd2c9
|
Travis: use latest stable Storm version
|
4 years ago |
|
Matthias Volk
|
dc94843aca
|
Support for parsing jani model from string
|
4 years ago |
|
Matthias Volk
|
3976ef11b6
|
Added documentation about compatible stormpy and Storm versions
|
4 years ago |
|
Matthias Volk
|
f8942adceb
|
Increased required Storm version
|
4 years ago |
|
Matthias Volk
|
7d8c3ffd68
|
Avoid creating tmp file when testing examples
|
4 years ago |
Sebastian Junges
|
75a2c70af6
|
minor extensions to examples
|
4 years ago |
|
Sebastian Junges
|
d24b866b8f
|
Merge branch 'master' into monitoring
|
4 years ago |
Tobias Winkler
|
1a39ef8380
|
minor extension to expressions/prism program
|
4 years ago |
|
Tobias Winkler
|
e80c7e2dcf
|
extensions to prism datastructures
|
4 years ago |
|
Tobias Winkler
|
0c724c9b68
|
added getExpression for formula
|
4 years ago |
|
Tobias Winkler
|
1c8ce6ba76
|
small extension in jani and expressions
|
4 years ago |
|
Tobias Winkler
|
19e748c754
|
extensions to jani model accessors
|
4 years ago |
|
Matthias Volk
|
92bdd31ef6
|
Travis: another fix in installation of dependencies
|
4 years ago |
|
Matthias Volk
|
0751e27774
|
Travis: fix installation of dependencies
|
4 years ago |
|
Matthias Volk
|
baf9f311db
|
Travis: install numpy for tests
|
4 years ago |
|
Matthias Volk
|
d8e46968d3
|
Updated CHANGELOG
|
4 years ago |
|
Matthias Volk
|
01b6ee3f18
|
Fixed typo in binder url
|
4 years ago |
|
Matthias Volk
|
dbe31a4b92
|
Updated Dockerfile
|
4 years ago |
|
Matthias Volk
|
56b50cea56
|
Hide prompt in generated doc
|
4 years ago |
|
Matthias Volk
|
1d1b291248
|
Update year in doc
|
4 years ago |
|
Matthias Volk
|
de64e42dfc
|
Update pytest and sphinx generation for new Jupyter notebooks
|
4 years ago |
|
Matthias Volk
|
76586df65d
|
Update url for binder launch
|
4 years ago |
hannah
|
8afa3529f4
|
api rst files
|
4 years ago |
|
hannah
|
afb1987830
|
deleted temp files
|
4 years ago |
|
hannah
|
baf66a5ef5
|
link in binder badge
|
4 years ago |
|
hannah
|
4a1207918a
|
dockerfile: copy files for notebooks
|
4 years ago |
|
hannah
|
b7ae4d5bfd
|
dockerfile: copy files for notebooks
|
4 years ago |
|
hannah
|
3d3e220f6f
|
dockerfile added models
|
4 years ago |
|
hannah
|
9d7ddecbb7
|
fixed links
|
4 years ago |
|
hannah
|
91eb5073ac
|
fixed test
|
4 years ago |
|
hannah
|
f5668000b9
|
fixed engines notebook and binder badge
|
4 years ago |
|
hannah
|
ddfcde4c3a
|
fixed typo
|
4 years ago |
