tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
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	8 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	8 years ago
dehnert	68f14c728a	added missing check for existence of model	8 years ago
dehnert	b4bfd0c39f	performance improvement in DS-MPI; some cleanups	8 years ago
dehnert	df0b5fbfa5	fixed multiply-reduce operations in the presence of empty row groups	8 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