710 Commits (1d1b291248e6ebb3f59db90109241a6cb80a2f2d)
 

Author SHA1 Message Date
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
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