tempest

dehnert 7b259120b7 Marked submatrix check in DTMC and sparse matrix as faulty. Needs to be fixed.		12 years ago
..
adapters	Added a conversion routine GmmXX -> Storm Sparse Matrix	12 years ago
exceptions	Fixed bug in parser that inserted 0-entries on the diagonal at the wrong places. Enabled link-time-optimizations for Release-Build when using clang. Fixed bug in base exception: what() returned a pointer to a char array belonging to a local variable, which got deallocated and thus invalidates the char array content.	12 years ago
formula	Added boolean parameter qualitative to all path formulas, i.e. to the checking and the callback methods.	12 years ago
modelchecker	Fixed some memory leaks. Fixed bug in vector utility. Fixed bug in sparse matrix printing. Fixed bug in DTMC model checker (computing reachability rewards). Included full reward model checking for MDPs.	12 years ago
models	Marked submatrix check in DTMC and sparse matrix as faulty. Needs to be fixed.	12 years ago
parser	Fixed a few things in the parsers and implemented proper treatment of reward files by these parsers.	12 years ago
storage	Marked submatrix check in DTMC and sparse matrix as faulty. Needs to be fixed.	12 years ago
utility	Implemented new utility functions and improved existing ones.	12 years ago
storm.cpp	Added some more test formula for two dice example in main file.	12 years ago