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

Commit Graph

  • 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
  • 840b818c61 Fixed a typo in labeling.h PBerger 2012-11-07 18:30:15 +0100
  • 9f07f4cc2e This file (of Eigen) disappeared for some reason I do not know... Thomas Heinemann 2012-10-11 16:58:03 +0200
  • 4d6e9c5c49 Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC Thomas Heinemann 2012-10-11 16:48:19 +0200
  • f3a600550a (not much) Thomas Heinemann 2012-10-11 16:47:19 +0200
  • b63d168192 1) Excluded the constant templates from the SparseMatrix class, as gcc forbids explicit specializations of function templates inside classes. 2) Added a parameter to these templates which allows the inference of the type of the template parameter (gcc seems to need this) 3) Added DOT file output to the SparseMatrix. Thomas Heinemann 2012-10-11 16:42:57 +0200
  • 2af4dc0d06 Updated eigen to HEAD version PBerger 2012-10-10 23:15:41 +0200
  • 6d384967fc Added BitVector, a simple boolean array Edited AtomicProposition to make use of BitVector Edited mrmc-cpp.cpp, now comes with speed tests for some tasks Edited static_sparse_matrix.h, added a copy constructor, added template conversion functions, applied template parameters to all relevant functions/variables Removed eigen_sparse_additions.h from internal files PBerger 2012-10-10 23:14:17 +0200
  • a4f5794419 Added conversion routines from/to Eigen Sparse Matrix Format Added tests for aforementioned conversion routines. Changed call parameters for sparse/static_sparse_matrix.h Minor ICL 13.x changes. PBerger 2012-10-02 02:43:31 +0200
  • f66c0c110c Renamed the static_sparse_matrix_test.cpp PBerger 2012-10-02 02:40:59 +0200
  • 8b1d5804c9 Edited the test cases from the parsers, added a missing FAIL() in the dead branches. PBerger 2012-09-20 04:08:57 +0200
  • 1643901c5a Big bunch of fixes, including memory leaks, bad code pathes, insufficent error reporting, uninitialized variables, etc, etc. Edited sparse/static_sparse_matrix.h, added an internal state enum to represent errors and the like. PBerger 2012-09-20 04:02:37 +0200
  • c10a0ee734 Fixed two typos in src/sparse/static_sparse_matrix.h PBerger 2012-09-17 19:00:39 +0200
  • b0c31196c3 Edited CMakeLists.txt, added a checkbox to disable/enable debug symbols with GCC PBerger 2012-09-17 18:55:24 +0200
  • 046af515fe Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC PBerger 2012-09-17 18:52:31 +0200
  • da8ed67224 - Comments - Support for std::unordered_map - CMakeList.txt: enable C++11 for gcc; debug symbols only when Debug version is created. Thomas Heinemann 2012-09-17 18:50:20 +0200
  • 344b586a72 Edited src/sparse/static_sparse_matrix.h to include a conversion routine for Eigen PBerger 2012-09-17 18:49:23 +0200
  • 0bf2c87c2c Adjusted CMakeLists.txt (Directory "3rdparty" is written with a lower "p" in git index) Thomas Heinemann 2012-09-17 17:40:01 +0200
  • 41d09f0f4c Added Eigen3 library Edited CMakeLists.txt to include Eigen3 PBerger 2012-09-17 17:18:40 +0200
  • 87f768ca41 Edited src/parser/read_lab_file.cpp, fixed String tokenization in WIN32 Edited MRMCConfig.h.in to include the base path for Test/ Directory Refactored the test files to use the new test/ base path macro With credits to Thomas ;) PBerger 2012-09-17 15:21:15 +0200
  • 65763c29f1 Restructured labeling class (map does not directly point to the Atomic_proposition objects any longer) Thomas Heinemann 2012-09-17 14:40:28 +0200
  • 765689c40a Changed name of class "Labelling" to "Labeling". Thomas Heinemann 2012-09-17 12:44:48 +0200
  • 556da4de5e Minor changes Thomas Heinemann 2012-09-17 12:18:40 +0200
  • 8e460897f0 Minor corrections (Memory initialization in AtomicProposition) and more test cases Thomas Heinemann 2012-09-13 16:03:12 +0200
  • a0e07c2022 Parser for labelling files including new data structure managing different atomic propositions. (Works now as node_array attribute of class Atomic_proposition is now always instantiated with 0) Thomas Heinemann 2012-09-13 15:06:11 +0200
  • e5048cabb6 Closed memory leaks. Thomas Heinemann 2012-09-07 13:02:59 +0200
  • 307b85e331 Edited static_sparse_matrix.h, replaced all calloc/malloc calls with std::new Removed calls to exceptions with parameter "const char *", is illegal Fixed a warning in read_tra_file.cpp PBerger 2012-09-06 02:44:52 +0200