tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
dehnert	09f192b40f	Refactored SCC-Decomposition design as a preparation step for computing maximal end components of Markov automata. Former-commit-id: `4596ba71ec`	12 years ago
PBerger	11cc7fc6bc	Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done Refactored many constants to be of type ull where required Edited all tests that used the set() function of the Settings to make use of the new InternalOptionMemento Former-commit-id: `a400a36f69`	12 years ago
PBerger	938959de56	Added a set() Method to the Settings.h for the Tests Moved all standard options into a helper class/compilation unit as to reuse it in the Tests Moved the MaxIteration set call in the tests Former-commit-id: `f436511107`	12 years ago
PBerger	01fd3c18e3	Added move constructors, added move-calls where fitting. Former-commit-id: `e73336c816`	13 years ago
PBerger	5be52118ba	Fixed issues with the refactored parser interface and move semantics Former-commit-id: `e92111749e`	13 years ago
dehnert	14fae4883a	Added prob 0/1 precomputation for bounded-until model checking for DTMCs. The version for MDPs seems to perform worse: needs to be investigated.	13 years ago
Lanchid	ec91dcbe2e	Merge branch master into LTLParser	13 years ago
dehnert	307911ca13	Fixed performance tests, they now run fine.	13 years ago
dehnert	fbe1f41213	Removed GraphTransition class, which is now replaced by SparseMatrix in the instances where it was used before. Changed GraphAnalyzer accordingly and adapted tests.	13 years ago
dehnert	ed4c6c8429	Fixed SCC decomposition functions. Added performance tests for GraphAnalyzer.	13 years ago

9 Commits (c30d6d307e5060ef8502b22f7fbab9d231ce4118)