22 Commits (7fe4c8c813c9771c2b0ed46942e5c633fff8744c)

Author SHA1 Message Date
dehnert 726569d5f1 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
PBerger aea711b9f7 JacobiDecomposition Copy Constructor should throw exception: Now it throws an InvalidAccessException. 12 years ago
dehnert d414b93bad Added some functionality to IR. Introduced case distinction for boolean/integer assignments in updates. Started writing an IR adapter. 12 years ago
gereon 004633b79a fixed brackets in BaseException 12 years ago
dehnert 86c7ae3f5c Added BoundedEventually as a convenience operator. 12 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42 12 years ago
PBerger 2f05d035fe Refactored all exceptions to use the macro generator to remove all redundant base code. 12 years ago
PBerger fe95c2225b Added missing contructors to all exceptions. 12 years ago
PBerger 96c7dd9a79 Added the (default) external build path /build to git ignore. 12 years ago
PBerger 08f87d545c Some more refactoring, renaming, adding #ifndef guards... 12 years ago
PBerger cce8391e44 Refactored everything to match naming scheme. 12 years ago
gereon cc1441ce26 fixed wrong return type of operator<<() for BaseException. Templates FTW! 12 years ago
gereon a9129c00c7 new exception 12 years ago
dehnert cbe162ab84 Fixed some copy-paste errors. 12 years ago
PBerger b50d906ae3 Added missing EigenDtmcPrctlModelChecker.h 12 years ago
gereon ded2e43deb making settings more robust 12 years ago
Thomas Heinemann 5c7c23f4d6 Some minor changes (especially limiting the range of variables if 12 years ago
Thomas Heinemann 40de04a1fe Added missing files (exceptions) 12 years ago
PBerger 31d2c70acc Added temporary Find* files for CMake 13 years ago