sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • ee4f2bd9a2 changed to new parser names gereon 2012-12-02 00:46:24 +0100
  • 5ce8355d2b removing pantheios (new logger will be added soon) and fixed a warning gereon 2012-12-02 00:45:36 +0100
  • 2998e3d812 replacing constructor delegation gereon 2012-12-02 00:44:17 +0100
  • 8d89375c6e integrated renaming within master branch into code merged from parser branch gereon 2012-12-02 00:22:36 +0100
  • b4437bed59 Merge branch 'parser' gereon 2012-12-02 00:19:24 +0100
  • 7e9ba03ec6 added boost header for uint_fastX types gereon 2012-12-01 22:06:36 +0100
  • 9156fa6d61 moving implementation of MappedFile and helper functions to .cpp gereon 2012-12-01 22:04:49 +0100
  • bb1dae23fc Lab and Tra parser pass test cases gereon 2012-12-01 21:23:54 +0100
  • 82b502970e patched tra parser, test cases work now gereon 2012-12-01 20:29:24 +0100
  • 98d18f5ddc Merge branch 'parser' of https://sselab.de/lab9/private/git/MRMC into parser gereon 2012-12-01 20:05:11 +0100
  • 93d568bd82 working on prctl parser gereon 2012-12-01 20:04:06 +0100
  • 4f7cbd450a Fixed bugs in the Windows Part of the parser, refactored includes to meet Windows Requirements. PBerger 2012-12-01 15:31:34 +0100
  • 2bf01bfea3 Added graph search algorithms for determining the set of states that have no possibility of going to a non-target state. Enhanced bit vector class. dehnert 2012-11-30 17:51:40 +0100
  • 925a9bd8c0 changing pragma to ifdef, starting implementation of PRCTLParser gereon 2012-11-28 20:32:55 +0100
  • 2eb08a603a made stuff compile with new CMakeLists started a parser built with boost::spirit. It compiles, but does not do anything useful yet... gereon 2012-11-28 19:48:41 +0100
  • 05eaab7816 Removed invocations of memcpy in favour of std::copy as compilers will take care of optimizations. dehnert 2012-11-27 22:07:28 +0100
  • 2918f855bc Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC dehnert 2012-11-27 21:57:25 +0100
  • aaa5ccada8 Added command line arguments to MRMC to log output. dehnert 2012-11-27 19:54:40 +0100
  • c634ff6d0b Removed debug output. dehnert 2012-11-27 10:08:46 +0100
  • e632fc1bb6 fixing error & warning... gereon 2012-11-26 23:21:59 +0100
  • 8857655b56 Refactored names according to guidelines. dehnert 2012-11-26 12:15:17 +0100
  • 464fe97578 Fixed initialization order in constructor. dehnert 2012-11-26 11:41:34 +0100
  • 70bf39b634 Fixed includes for graph transitions class. Added index iteration functionality to the bit vector class. dehnert 2012-11-26 11:39:11 +0100
  • d871aca351 Renamed the backward transitions class to GraphTransitions and generalized it to be able to store the forward or backward graph structure of a given system. dehnert 2012-11-26 11:38:11 +0100
  • 1ed29262ff Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h. dehnert 2012-11-25 23:01:07 +0100
  • 378fe3f532 Renamed and refactored atomic propositions labeling. dehnert 2012-11-25 22:58:26 +0100
  • 8911b0b71a Fixed wrong namespace for bit vector and square sparse matrix classes. dehnert 2012-11-25 22:44:24 +0100
  • 8806dc6592 Performed renaming of static_sparse_matrix.h to SquareSparseMatrix.h, renamed the class accordingly and adapted the tests and includes. dehnert 2012-11-25 22:01:18 +0100
  • bdfb9b7d72 Further refactoring of the bit vector class, now including logging output. Renamed it according to the new naming scheme. dehnert 2012-11-25 21:41:44 +0100
  • c078b32917 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC gereon 2012-11-25 21:35:45 +0100
  • 703b3da114 Merge of newlog into master. dehnert 2012-11-25 21:32:08 +0100
  • 171a9fa161 Started refactoring bit vector class. dehnert 2012-11-25 21:14:33 +0100
  • 2d80eb39b3 Changed logging format and minor formatting fix. dehnert 2012-11-25 21:10:43 +0100
  • 0e90636d4b print help when loading settings fails. gereon 2012-11-25 20:14:43 +0100
  • 4428f97998 Make some fixes for new logging framework to work under Linux an Mac OS. dehnert 2012-11-25 15:09:07 +0100
  • 32fc15db46 Fixed some unix-specific issues. dehnert 2012-11-25 14:43:25 +0100
  • 5a52fd35e4 Adding third-party tools to gitignore. dehnert 2012-11-25 13:49:42 +0100
  • acdcc4fdb8 Delete files that should be untracked. dehnert 2012-11-25 13:42:11 +0100
  • cfe9f86ccd Added logging with log4cplus to sparse matrix class. dehnert 2012-11-25 13:30:59 +0100
  • e748c35268 Added logging for both main files. dehnert 2012-11-25 13:29:26 +0100
  • 667811c92e Added log4cplus as a library to be linked against for the tests as well. dehnert 2012-11-25 13:28:35 +0100
  • 2a9498d8d4 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC gereon 2012-11-24 17:05:17 +0100
  • 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. dehnert 2012-11-24 16:37:45 +0100
  • a15907a365 Removed Pantheios and STLSoft. dehnert 2012-11-24 16:27:51 +0100
  • 5a8c2a8d0e Added iterator functionality to bit vector. Minor cosmetics here and there. dehnert 2012-11-23 13:05:09 +0100
  • 4cbe67a039 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC dehnert 2012-11-23 11:51:07 +0100
  • ee081fd570 Fixed a lot of memory access violations, memory leaks, warnings. Enabled -Werror for gcc, as there are currently no warnings. dehnert 2012-11-23 11:31:17 +0100
  • bb071d829a fixed a simple warning... gereon 2012-11-23 00:33:18 +0100
  • a5a045f091 Changed Settings class to be singleton gereon 2012-11-23 00:26:24 +0100
  • 28363fc656 also link boost::program_options for test target gereon 2012-11-22 23:38:49 +0100
  • b4e9580d96 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC dehnert 2012-11-22 22:50:51 +0100
  • 7b10151820 resolving conflicts... gereon 2012-11-22 21:56:23 +0100
  • dfc8aec849 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC gereon 2012-11-22 21:54:57 +0100
  • ded2e43deb making settings more robust gereon 2012-11-22 21:53:35 +0100
  • 353edccadf using ifdef instead of pragma, moving private to end of class gereon 2012-11-22 21:40:38 +0100
  • 872f59fea5 Added flag to CMakeLists.txt to enable setting the name of libboost_program_options as it has an additional suffix under Mac OS. dehnert 2012-11-22 19:06:05 +0100
  • 6ad9ea4900 Added libboost-program-options as a library to link MRMC-cpp against. dehnert 2012-11-22 17:34:44 +0100
  • 1c0dab85a9 settings are ready to be used, put into mrmc-cpp gereon 2012-11-22 10:36:07 +0100
  • 7f7234f62b first version of settings module gereon 2012-11-22 09:41:37 +0100
  • d7fd833104 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC gereon 2012-11-22 09:41:20 +0100
  • 48323c005a added header to make os detection at one point added ifdefs to implement file mapping for windows implemented file mapping for windows, but did not compile yet (no windows available...) gereon 2012-11-21 23:00:27 +0100
  • 7eaedbfe9b changing names of parsers gereon 2012-11-21 22:16:42 +0100
  • 464e8f371b By default, CMake will use DEBUG as the build type now. Also, for GCC now more warnings and a more pedantic check has been enabled. dehnert 2012-11-21 22:05:56 +0100
  • ad0c802fcc minor cleanups, added documentation. gereon 2012-11-21 21:42:54 +0100
  • ea8504a84e some fixes to new parser, calculate maximum node number manually gereon 2012-11-21 20:55:06 +0100
  • 3807591edd Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC into parser gereon 2012-11-21 20:36:40 +0100
  • 408290d72b moved file mapping logic to parser.h gereon 2012-11-21 20:34:37 +0100
  • 2cf8f3baec more work on refactoring / rewriting parsers gereon 2012-11-21 20:32:15 +0100
  • 3560d10481 Added comment for destructor. dehnert 2012-11-21 18:56:22 +0100
  • d5919f2fdf Removed unnecessary lines. dehnert 2012-11-21 18:53:41 +0100
  • eeddadc096 The columns of non-zero elements of a single row in a sparse matrix can now be iterated using an iterator. These iterator functionality is now used by the computation of the backwards transitions. dehnert 2012-11-21 18:49:46 +0100
  • ed84bfbce7 Adapted sparse matrix class to camel case notation. dehnert 2012-11-21 16:00:04 +0100
  • 3c5dbb8483 Changed all indexing to 0-bound. From now on, the available states always start with 0 and end with the state with the highest index used. Adapted the test cases. Added comments in the sparse matrix class. dehnert 2012-11-21 15:39:54 +0100
  • 12e6a945df Included new (smaller) test model. Bugfixes and improvements to BackwardTransitions class. Removed performance test code from main() function in favor for creating a simple DTMC from the input parameters. dehnert 2012-11-21 00:21:07 +0100
  • e35b950eea fixing locale issue gereon 2012-11-21 00:04:58 +0100
  • 25e5095a7c now, the parser even works :-) gereon 2012-11-20 23:19:10 +0100
  • 6caf95f62e first version of new parser gereon 2012-11-20 22:45:29 +0100
  • e3ee7c77c2 make configure and python script executable, otherwise make fails... Gereon Kremer 2012-11-20 19:58:27 +0100
  • 46e010075a Fixed include in main file. dehnert 2012-11-20 12:05:54 +0100
  • 188c06d651 Fixed one of the methods in utility.cpp to adapt to the new notations. dehnert 2012-11-20 01:24:53 +0100
  • bd594e2fae Added backwards transitions class. Small refactorings. Had to comment out some parts in utility.cpp and read_tra_file_test.cpp because they do not compile and seem to not be compliant with the current version in the repository. dehnert 2012-11-20 01:15:43 +0100
  • 3e2d5b68dd Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC dehnert 2012-11-20 00:57:08 +0100
  • e7473e3919 Moved/merged 3rdParty into 3rdparty PBerger 2012-11-20 00:53:27 +0100
  • 2a90135f0b Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC dehnert 2012-11-19 22:56:51 +0100
  • 8a170d3fa6 Scheisse... hab anscheinend vergessen das zu pushen Lanchid 2012-11-19 12:00:13 +0100
  • cf4cb5dd8c Added reward_model with test PBerger 2012-11-19 02:31:55 +0100
  • 2f6a73db96 Fix for last update to Eigen: Delete old files. PBerger 2012-11-19 02:31:13 +0100
  • f5fd37f992 Updated Eigen to 3.1.2 (5097c01bcdc4) PBerger 2012-11-19 01:34:09 +0100
  • 107ea1e498 Fixed minor typo in comment. dehnert 2012-11-14 19:42:33 +0100
  • b7618fd91a Refactoring of labeling classes. dehnert 2012-11-14 19:39:47 +0100
  • 44fbef62bd Added capability to compute model size in bytes and corresponding functions in several classes. Added model info output to DTMC class. Added atomic proposition information output to atomic propositions labeling class. dehnert 2012-11-14 16:57:19 +0100
  • 0ec2369459 Added support for 1-based indices for atomic proposition labeling. Fixed some whitespace typos. dehnert 2012-11-14 15:27:27 +0100
  • c33dfac505 Renamed classes for atomic proposition labeling storage. Added some methods to DTMC class stub. dehnert 2012-11-14 14:32:32 +0100
  • 88101ef238 Fixed comment typo. dehnert 2012-11-14 12:57:13 +0100
  • b7eaeab11f Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files. Added DTMC class stub. dehnert 2012-11-14 12:41:19 +0100
  • f5dce8d33a Added a test for reported bug by CDehnert: Sparse Matrix to Eigen conversion loses the diagonal entries Fixed static_sparse_matrix.h PBerger 2012-11-13 22:21:40 +0100
  • 221f7d11cb Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC PBerger 2012-11-13 20:52:22 +0100
  • f056eee6b2 Added some more examples. Removed result file for example. dehnert 2012-11-13 19:12:01 +0100
  • bdb2d721ed Included DEFINE_UNIX switch for CMake in order to set necessary define for STLSoft (on Mac OS X). dehnert 2012-11-13 16:07:52 +0100
  • f6e70a6ee6 Included small DTMC example along with its analysis result using PRISM. dehnert 2012-11-13 15:57:27 +0100