Sebastian Junges
|
ddc8181113
|
nondet tracker
|
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 |
hannah
|
cb1ffad4c9
|
small corrections
|
4 years ago |
|
hannah
|
ef93bdd541
|
completed documentation for dtmc, ctmc, mdp and ma
|
4 years ago |
|
hannah
|
0ccd7de0e9
|
simplified examples
|
4 years ago |
|
hannah
|
00c460ce8b
|
simplified examples
|
4 years ago |
|
hannah
|
afc8af220e
|
doc ctmcs example
|
4 years ago |
|
hannah
|
049dc9b6d3
|
doc ctmcs
|
4 years ago |
|
hannah
|
3c29f467aa
|
doc dtmcs
|
4 years ago |
|
hannah
|
db6a247fcc
|
completed tests for ma, mdp, pomdp
|
4 years ago |
|
hannah
|
3523b97e46
|
completed ma tests
|
4 years ago |
|
hannah
|
f4b3169c0d
|
completed ctmc tests
|
4 years ago |
|
hannah
|
7bc0168775
|
completed dtmc tests
|
4 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 |
