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 |
|
hannah
|
3b73800008
|
binder badge
|
4 years ago |
|
hannah
|
06c08e42ef
|
binder badge
|
4 years ago |
|
hannah
|
9bc48bbf3a
|
replaced rst files
|
4 years ago |
|
hannah
|
b978d933ee
|
binder
|
4 years ago |
|
hannah
|
8f4039fefe
|
modified Dockerfile
|
4 years ago |
|
hannah
|
532c56ea65
|
documentation tests
|
4 years ago |
|
hannah
|
523e2ff713
|
documentation tests
|
4 years ago |
|
hannah
|
6619a5f64c
|
documentation tests
|
4 years ago |
Sebastian Junges
|
f22bab577b
|
extend example
|
4 years ago |
|
Sebastian Junges
|
470fed52a1
|
Fix in the Maze MDP (Thanks to Patrick Wienhöft)
|
4 years ago |
|
Sebastian Junges
|
e1daceccd0
|
extend prism command interface
|
4 years ago |
|
Sebastian Junges
|
18dd4f1c4b
|
more operators on (bounded) until formulae
|
4 years ago |
Matthias Volk
|
53e7e102c8
|
Stormpy version 1.6.2
|
4 years ago |
|
Matthias Volk
|
618b0b5b5e
|
Updated CHANGELOG
|
4 years ago |
|
Matthias Volk
|
760c6e9f56
|
Require Storm version 1.6.2
|
4 years ago |
|
Matthias Volk
|
7a2082eb54
|
Updated CHANGELOG
|
4 years ago |
|
Sebastian Junges
|
642779e56f
|
precision for native solver
|
4 years ago |
|
Sebastian Junges
|
92268776fd
|
set seed for the simulator after initialization
|
4 years ago |
|
Sebastian Junges
|
694904b4c2
|
convenience functions on prism programs
|
4 years ago |
|
Sebastian Junges
|
7cee208518
|
keep state valuations
|
4 years ago |
|
Sebastian Junges
|
75ad72a574
|
add_memory_labels for memory unfolding added
|
4 years ago |
|
Sebastian Junges
|
d62aac24b1
|
model checking fully observable (due to auto downcasting, this needs a separate function
|
4 years ago |
|
Sebastian Junges
|
321f7bdcc0
|
random step
|
4 years ago |
|
Sebastian Junges
|
e3467a4bb9
|
simulator does not crash on dtmcs
|
4 years ago |
|
Matthias Volk
|
acd5a897f1
|
Adaption to changes of relevant events in Storm
|
4 years ago |
|
Sebastian Junges
|
d771a2118d
|
update changelog
|
4 years ago |
|
Sebastian Junges
|
89f3924b8c
|
finding explicit states in models
|
4 years ago |
|
Matthias Volk
|
2cfa252278
|
Fixed rounding problem in doctest
|
4 years ago |
|
Matthias Volk
|
77fe824f0a
|
Compute FDEP conflicts to avoid non-determinism in DFT analysis
|
4 years ago |
|
Matthias Volk
|
432893aa55
|
Bindings for DFT transformations
|
4 years ago |
|
Matthias Volk
|
0d756c42f1
|
Binding for computing relevant events in DFTs
|
4 years ago |
|
Matthias Volk
|
27a97f313d
|
Get DFT elements by name
|
4 years ago |
|
Matthias Volk
|
b8ce2f8fe4
|
Disable DC for relevant events per default
|
4 years ago |
|
Matthias Volk
|
2f8781f6e2
|
Set numpy as optional dependency
|
4 years ago |
|
Matthias Volk
|
99aa2bc2ae
|
Consistent use of literal blocks in doc
|
4 years ago |
|
Matthias Volk
|
dbeb079789
|
Skip tests if numpy is unavailable
|
4 years ago |
|
Matthias Volk
|
100ac4d4ff
|
Typo in doc
|
4 years ago |
|
Matthias Volk
|
5cb023544f
|
Updated list of contributors
|
4 years ago |
|
Matthias Volk
|
4ac88e934f
|
Skip some checks in doctests because the generated output is not deterministic
|
4 years ago |
|
Matthias Volk
|
cc1cd0dce7
|
Minor changes in documentation for model building
|
4 years ago |
|
Matthias Volk
|
84f83e47dd
|
Changed order of models in tests
|
4 years ago |
|
Matthias Volk
|
c85fad69e5
|
Improved some descriptions
|
4 years ago |
