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

Commit Graph

  • 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
  • 6f970f27fe Added atomic propositions/labels PBerger 2012-09-06 02:43:06 +0200
  • decb6b8006 Fixed CMakeLists.txt for Google Test to work with VS2012 Fixed STLSoft to compile under VS2012 Fixed Pantheios to work with VS2012 Fixed CMakeLists.txt for MRMC, removed duplicate code (Thomas?), converted keywords to lowercase PBerger 2012-09-05 20:21:41 +0200
  • a21a338a26 Included external 3rd Party content for Google Test Framework Included external 3rd Party content for STLSoft Header Library Included external 3rd Party content for Pantheios Logging Framework PBerger 2012-09-04 22:54:50 +0200
  • d37b23a5c5 - Additional "wrong header" testcase for the tra parser - Methods of the sparse matrix now throw objects (instead of pointers) - Initializations of the pointer attributes of the sparse matrix with NULL (otherwise strange things may happen...) Thomas Heinemann 2012-08-21 17:55:04 +0200
  • 395d2822b5 CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual Studio creates a debug version automatically...) Thomas Heinemann 2012-08-21 13:32:55 +0200
  • b846680445 Updated CMakeLists.txt to new location of MRMCConfig.h.in Thomas Heinemann 2012-08-21 11:26:11 +0200
  • 5c7c23f4d6 Some minor changes (especially limiting the range of variables if possible) Thomas Heinemann 2012-08-20 14:18:34 +0200
  • 40de04a1fe Added missing files (exceptions) Thomas Heinemann 2012-08-19 21:16:29 +0200
  • ebc0db4750 Formatting Thomas Heinemann 2012-08-19 16:20:56 +0200
  • a908faf1a1 Worked on TODO's (minor stuff) Thomas Heinemann 2012-08-19 16:18:57 +0200
  • 2c44c80bdb - Parser - some changes in CMakeLists.txt and the former code to make it compatible to Linux systems... Thomas Heinemann 2012-08-19 16:02:59 +0200
  • 60abde4968 Added dependency on thread in CMakeLists.txt Thomas Heinemann 2012-07-30 11:02:07 +0200
  • 3dac4e4a6a Fixed BUILD hints PBerger 2012-07-28 05:03:38 +0200
  • 31d2c70acc Added temporary Find* files for CMake Added custom exceptions Added Sparse Matrix Added Guidelines for Doxygen Added BUILD hints PBerger 2012-07-28 04:53:55 +0200
  • 4cd75789ac Updated styleguides Added Test Suite Updated CMake configuration PBerger 2012-06-22 02:12:08 +0200
  • 9da2eaf3d1 Initial Import into Git Lacks Doxygen files/integration PBerger 2012-06-11 23:39:51 +0200