96 Commits (74ecd91159c9ac5e6abaaa802bf792baeefae9cd)

Author SHA1 Message Date
Matthias Volk 389331b28f
Doc: typo 4 years ago
Matthias Volk 3976ef11b6
Added documentation about compatible stormpy and Storm versions 4 years ago
Matthias Volk 01b6ee3f18
Fixed typo in binder url 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 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 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 06c08e42ef
binder badge 4 years ago
hannah 9bc48bbf3a
replaced rst files 4 years ago
hannah b978d933ee
binder 4 years ago
hannah 523e2ff713
documentation tests 4 years ago
hannah 6619a5f64c
documentation tests 4 years ago
Matthias Volk 2cfa252278
Fixed rounding problem in doctest 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
hannah cb1ffad4c9
small corrections 4 years ago
hannah ef93bdd541
completed documentation for dtmc, ctmc, mdp and ma 4 years ago
hannah 00c460ce8b
simplified examples 4 years ago
hannah 049dc9b6d3
doc ctmcs 4 years ago
hannah 3c29f467aa
doc dtmcs 4 years ago
Matthias Volk 9a1656eb6f Changed expected output for POMDP exploration example 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
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 42e0774d83 documentation for gspn bindings 5 years ago
Matthias Volk b14ec6fc40 Add installation step for pytest in doc 5 years ago
Matthias Volk 2df513f66e Updated documentation for new releases 5 years ago
Sebastian Junges dff5e65b93 new information on using different model checking techniques 5 years ago
Sebastian Junges 2f8c8c6be9 topological sort added to examples 5 years ago
Sebastian Junges 3f06963172 extended description of changing model checking environments 5 years ago
Sebastian Junges 52b88c3710 A new example showing that one can change the analysis method 5 years ago
Sebastian Junges 752522aa9f new example on parametric models 5 years ago
Sebastian Junges 1930a6d612 generic parse_properties for simpler code 5 years ago
Matthias Volk 0595ee1d64 Added documentation for MA scheduler extraction 6 years ago
Matthias Volk 37d82d4e0c Fixed typo in doc 6 years ago
Matthias Volk e148fbcd6a Added documenation for schedulers 6 years ago
Matthias Volk 7268fc1472 Set version in doc automatically 6 years ago