tempest

Author	SHA1	Message	Date
dehnert	4591dba631	made maxsat-based counterexample generation be applicable to DTMCs and MDPs	8 years ago
dehnert	0d18886966	re-enabling conversion of MA to CTMC if the MA only has Markovian states	8 years ago
sjunges	12dda40919	split IOSettings in BuildSettings and IOSettings, refactored some dependencies on settings object away if it doesnt hurt too much, moved GSPN and PGCL settings to their own libs	8 years ago
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

22 Commits (2a8e58284cc1d4a67a264accc882900ac41167cd)