Tim Quatmann
|
2e593dc014
|
Added computation of steady state probabilities for DTMC/CTMC in the sparse engine.
|
5 years ago |
|
Tim Quatmann
|
28ab011eb8
|
Added an export of check results to json.
|
5 years ago |
|
Tim Quatmann
|
7002946845
|
Updated changelog.
|
5 years ago |
|
Tim Quatmann
|
6d6e142236
|
Fixed an issue with JANI models concerning properties using transient variable expressions.
|
5 years ago |
|
Tim Quatmann
|
d0c153da8d
|
Added switch `--no-simplify` to disable simplification of PRISM programs (which sometimes costs a bit of time on extremely large inputs)
|
5 years ago |
|
Tim Quatmann
|
2cadf3a252
|
Added support for generating optimal schedulers for globally formulae
|
5 years ago |
|
Tim Quatmann
|
f5ce4860ac
|
Updated changelog.
|
5 years ago |
Sebastian Junges
|
32c88825e2
|
cleanup
|
5 years ago |
|
Tim Quatmann
|
f91c0de9ec
|
Storm version 1.6.2
|
5 years ago |
|
Tim Quatmann
|
3883c99ed0
|
Storm Version 1.6.1
|
5 years ago |
|
Tim Quatmann
|
90d5da570c
|
Renamed portfolio engine to automatic engine.
|
5 years ago |
Matthias Volk
|
f3e5708dac
|
Updated changelog
|
5 years ago |
|
Sebastian Junges
|
8d9e2a92f0
|
update changelog
|
5 years ago |
|
Tim Quatmann
|
d0cc24ae51
|
Updated Changelog.
|
5 years ago |
|
Sebastian Junges
|
ceab2c4985
|
update changelog
|
5 years ago |
|
Matthias Volk
|
0cb0ca8a48
|
Storm version 1.6.0
|
5 years ago |
|
Tim Quatmann
|
90ade051c2
|
Added CMAKE option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set
|
6 years ago |
|
Sebastian Junges
|
d1b34e3572
|
changelog updated with storm-pomdp change
|
6 years ago |
|
Tim Quatmann
|
ab93422fa0
|
Changed default dd library from `cudd` to `sylvan` (cf. Github issue #71)
|
6 years ago |
|
Sebastian Junges
|
669ffc52d2
|
reworked the interface to qualitative analysis of POMDPs
|
6 years ago |
|
Tim Quatmann
|
74f7cd17ea
|
Changed the target directory for the downloaded Eigen headers so that they are now located within the build folder (hopefully avoiding conflicts with multiple build-folders).
Made the include path for the Eigen headers more unique, so we no longer use the headers at /urs/include/ instead.
|
6 years ago |
|
Tim Quatmann
|
bdcd181458
|
updated changelog
|
6 years ago |
Sebastian Junges
|
e6f1c573c4
|
recent changes added
|
6 years ago |
|
Matthias Volk
|
06941e7c48
|
Setting 'dft-statistics' prints information about intermediate approximation results
|
6 years ago |
|
Tim Quatmann
|
feebf1a24d
|
Added scheduler export in .json
|
6 years ago |
|
Sebastian Junges
|
01e3752d09
|
updated changelog
|
6 years ago |
|
Matthias Volk
|
afbfd42b3a
|
Storm version 1.5.1
|
6 years ago |
|
Tim Quatmann
|
7cbddfeef6
|
Updated changelog
|
6 years ago |
|
Matthias Volk
|
1593f39035
|
Updated CHANGELOG
|
6 years ago |
|
Tim Quatmann
|
f584bfe0d4
|
Updated changelog.
|
6 years ago |
|
Matthias Volk
|
c17a50904d
|
Updated CHANGELOG
|
6 years ago |
|
Tim Quatmann
|
7617d4f96f
|
Updated changelog.
|
6 years ago |
|
Tim Quatmann
|
20f5cf158b
|
storm-dft: Using symmetry reduction by default.
|
6 years ago |
|
Tim Quatmann
|
f7e2ff0843
|
Apply max. Prog. assumption while building with the dd engine.
|
6 years ago |
|
Tim Quatmann
|
ba6f0c0e87
|
BuildSettings: Added the possiblities to build a model with choiceorigins and without max. progress assumption.
|
6 years ago |
|
Tim Quatmann
|
066593f4c1
|
Updated Changelog.
|
6 years ago |
|
Sebastian Junges
|
0a6f54f33e
|
a version of parsing choice labels from DRN
|
6 years ago |
|
Sebastian Junges
|
0d5d3774d2
|
changelog updated with pomdp changes
|
6 years ago |
|
Matthias Volk
|
32371c44d4
|
Updated documentation for new release
|
6 years ago |
|
Matthias Volk
|
cf8337583b
|
Storm version 1.4.1
|
6 years ago |
|
Tim Quatmann
|
267291ea90
|
Updated Changelog
|
6 years ago |
|
Matthias Volk
|
2c80acd121
|
Prepared Changelog for next entries
|
6 years ago |
|
Matthias Volk
|
13b0f6e421
|
Updated Changelog
|
6 years ago |
|
Tim Quatmann
|
175a1d8686
|
Updated changelog.
|
6 years ago |
|
Tim Quatmann
|
b7cd16df68
|
Updated Changelog
|
6 years ago |
|
Matthias Volk
|
b0abbb5088
|
Support for k-shortest path counterexamples
|
6 years ago |
|
Matthias Volk
|
bb71c078fa
|
Export to dot format allows for maximal line width in state labels and valuations
|
6 years ago |
|
Matthias Volk
|
2c46b38130
|
Updated CHANGELOG
|
6 years ago |
Jip Spel
|
e89b743f65
|
Update changelog
|
6 years ago |
|
Jip Spel
|
5c1d597292
|
Add line for changelog
|
6 years ago |
