126 Commits (353b98ec88bcf781249649b529fbb7f77fa26918)

Author SHA1 Message Date
dehnert c85e30dfd0 added distance-aware initial partition to dd-based bisimulation 8 years ago
dehnert b415c12c25 further preparation of partial bisimulation model checker 8 years ago
dehnert 9c685f3bdb started on partial bisimulation model checker 8 years ago
dehnert 0ef06fd31b re-add time output to storm output and make iterative minmax solver respect linear equation solver format for policy iteration 8 years ago
dehnert bf727a28fd remove debug output and choose sylvan automatically in exact mode 8 years ago
Matthias Volk 349e276c9b Removed include of cpp file in storm-pars-cli and storm-dft-cli 8 years ago
Matthias Volk e5387ecc85 Deactivated conversion to CTMC for trivial non-determinism in MA as it is not correct at the moment 8 years ago
dehnert e557a8e069 started on EC elimination for hybrid engine 8 years ago
dehnert 2d41de479e added progress outputs to iterative solvers 9 years ago
TimQu fcd277c42a added an option that enables building of state valuations. Also include the state valuations when the model is exported to .dot format 9 years ago
dehnert 68f14c728a added missing check for existence of model 9 years ago
dehnert b4bfd0c39f performance improvement in DS-MPI; some cleanups 9 years ago
dehnert df0b5fbfa5 fixed multiply-reduce operations in the presence of empty row groups 9 years ago
Sebastian Junges e0452be54b move some of the cli stuff to an own header 9 years ago
sjunges e718acffba move cli stuff from storm lib to an own small lib 9 years ago