5 Commits (ef5eb19e9cbbda37c03c862cad7f7069c9f2dccc)

Author SHA1 Message Date
dehnert 588a4b60b6 Refactored linear equation solvers and nondeterministic linear equation solvers. Added functional tests for both. 11 years ago
PBerger 58ff007654 Fixed the Settings structure 11 years ago
PBerger 938959de56 Added a set() Method to the Settings.h for the Tests 11 years ago
dehnert 7095f8e67f Fixed a lot of issues introduced by refactoring. 12 years ago
Lanchid ec91dcbe2e Merge branch master into LTLParser 12 years ago
Lanchid f9ab6f85d0 - Restructuration of model checkers (by logic) 12 years ago
dehnert 27de566228 Moved current tests to the functional test suite in an attempt to introduce performance tests. 12 years ago
dehnert 43f11ccc5f Refactoring of modelchecker folder. 12 years ago
gereon 47cb1aa4d9 renamed BoundOperator to PathBoundOperator (StateBoundOperator is coming soon...) 12 years ago
gereon f9923bac95 Fixed memory leaks involving Settings class 12 years ago
gereon 3a1b0f0433 adding sloppy mode for Settings, load settings in tests 12 years ago
PBerger 7800132684 Added Mdp Class, Parser and support in the AutoParser. 12 years ago
gereon d5eb8ccfab renamed mrmc-tests to storm-tests 12 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42 12 years ago
dehnert 2d80eb39b3 Changed logging format and minor formatting fix. 12 years ago
dehnert e748c35268 Added logging for both main files. 12 years ago
dehnert 876154e6f0 Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang. 12 years ago
PBerger 31d2c70acc Added temporary Find* files for CMake 13 years ago
PBerger 4cd75789ac Updated styleguides 13 years ago