675 Commits (321f7bdcc07609a840d0eaa4c90964d04368eb94)
 

Author SHA1 Message Date
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
hannah cb1ffad4c9
small corrections 5 years ago
hannah ef93bdd541
completed documentation for dtmc, ctmc, mdp and ma 5 years ago
hannah 0ccd7de0e9
simplified examples 5 years ago
hannah 00c460ce8b
simplified examples 5 years ago
hannah afc8af220e
doc ctmcs example 5 years ago
hannah 049dc9b6d3
doc ctmcs 5 years ago
hannah 3c29f467aa
doc dtmcs 5 years ago
hannah db6a247fcc
completed tests for ma, mdp, pomdp 5 years ago
hannah 3523b97e46
completed ma tests 5 years ago
hannah f4b3169c0d
completed ctmc tests 5 years ago
hannah 7bc0168775
completed dtmc tests 5 years ago
Matthias Volk ab06826b80
Default arguments for StateValuationsBuilder.add_state() 5 years ago
hannah 04d0737f69
state_valuations 5 years ago
hannah 1a4dc644b6
choiceOrigins tests 5 years ago
hannah bb59710e6e
tests for dtmc from mdoel_components 5 years ago
hannah 7a274add6e
PrismChoiceOrigins bindings 5 years ago
hannah f64d5e8c4e
some constructors 5 years ago
hannah c038a82e3e
cleaned 5 years ago
hannah b20bd741d2
tests 5 years ago
hannah c0a1eb7a32
some tests 5 years ago
hannah f958d0915b
changed name to SparseModelComp and added to storage 5 years ago
hannah 5b16b6075e
added constructors 5 years ago
hannah aa93129347
added constructors 5 years ago
hannah 9114729959
constructor for modelComp 5 years ago
hannah dbd4929b8c
created bindings for struct modelComponents 5 years ago
Sebastian Junges a966938095 refactoring in storm requires new includes in stormpy 4 years ago
Sebastian Junges 039ae24cb6 missing expression operations for divide and modulo added 4 years ago
Sebastian Junges 32e8f09a43 dd meta variable types 4 years ago
Sebastian Junges 935910f27d pomdp/drn example 4 years ago
Sebastian Junges 5f194b6774 inspect prob0-dds 4 years ago