dehnert
b7eaeab11f
Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files.
Added DTMC class stub.
12 years ago
PBerger
f5dce8d33a
Added a test for reported bug by CDehnert: Sparse Matrix to Eigen conversion loses the diagonal entries
Fixed static_sparse_matrix.h
12 years ago
PBerger
221f7d11cb
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
dehnert
f056eee6b2
Added some more examples.
Removed result file for example.
12 years ago
dehnert
bdb2d721ed
Included DEFINE_UNIX switch for CMake in order to set necessary define for STLSoft (on Mac OS X).
12 years ago
dehnert
f6e70a6ee6
Included small DTMC example along with its analysis result using PRISM.
12 years ago
PBerger
840b818c61
Fixed a typo in labeling.h
12 years ago
Thomas Heinemann
9f07f4cc2e
This file (of Eigen) disappeared for some reason I do not know...
12 years ago
Thomas Heinemann
4d6e9c5c49
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
Thomas Heinemann
f3a600550a
(not much)
12 years ago
Thomas Heinemann
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.
12 years ago
PBerger
2af4dc0d06
Updated eigen to HEAD version
12 years ago
PBerger
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
12 years ago
PBerger
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.
12 years ago
PBerger
f66c0c110c
Renamed the static_sparse_matrix_test.cpp
12 years ago
PBerger
8b1d5804c9
Edited the test cases from the parsers, added a missing FAIL() in the dead branches.
12 years ago
PBerger
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.
12 years ago
PBerger
c10a0ee734
Fixed two typos in src/sparse/static_sparse_matrix.h
12 years ago
PBerger
b0c31196c3
Edited CMakeLists.txt, added a checkbox to disable/enable debug symbols with GCC
12 years ago
PBerger
046af515fe
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
Thomas Heinemann
da8ed67224
- Comments
- Support for std::unordered_map
- CMakeList.txt: enable C++11 for gcc; debug symbols only when Debug
version is created.
12 years ago
PBerger
344b586a72
Edited src/sparse/static_sparse_matrix.h to include a conversion routine for Eigen
12 years ago
Thomas Heinemann
0bf2c87c2c
Adjusted CMakeLists.txt (Directory "3rdparty" is written with a lower
"p" in git index)
12 years ago
PBerger
41d09f0f4c
Added Eigen3 library
Edited CMakeLists.txt to include Eigen3
12 years ago
PBerger
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 ;)
12 years ago
Thomas Heinemann
65763c29f1
Restructured labeling class (map does not directly point to the
Atomic_proposition objects any longer)
Adapted labeling parser to work with declaration lines longer
than BUFFER_SIZE bytes.
With credits to Philipp :-)
12 years ago
Thomas Heinemann
765689c40a
Changed name of class "Labelling" to "Labeling".
12 years ago
Thomas Heinemann
556da4de5e
Minor changes
12 years ago
Thomas Heinemann
8e460897f0
Minor corrections (Memory initialization in AtomicProposition) and
more
test
cases
12 years ago
Thomas Heinemann
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)
12 years ago
Thomas Heinemann
e5048cabb6
Closed memory leaks.
12 years ago
PBerger
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
12 years ago
PBerger
6f970f27fe
Added atomic propositions/labels
12 years ago
PBerger
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
12 years ago
PBerger
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
12 years ago
Thomas Heinemann
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...)
Note: Test cases for the sparse matrix now work for me.
13 years ago
Thomas Heinemann
395d2822b5
CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual
Studio creates a debug version automatically...)
13 years ago
Thomas Heinemann
b846680445
Updated CMakeLists.txt to new location of MRMCConfig.h.in
13 years ago
Thomas Heinemann
5c7c23f4d6
Some minor changes (especially limiting the range of variables if
possible)
13 years ago
Thomas Heinemann
40de04a1fe
Added missing files (exceptions)
13 years ago
Thomas Heinemann
ebc0db4750
Formatting
13 years ago
Thomas Heinemann
a908faf1a1
Worked on TODO's (minor stuff)
13 years ago
Thomas Heinemann
2c44c80bdb
- Parser
- some changes in CMakeLists.txt and the former code to make it
compatible to Linux systems...
13 years ago
Thomas Heinemann
60abde4968
Added dependency on thread in CMakeLists.txt
13 years ago
PBerger
3dac4e4a6a
Fixed BUILD hints
13 years ago
PBerger
31d2c70acc
Added temporary Find* files for CMake
Added custom exceptions
Added Sparse Matrix
Added Guidelines for Doxygen
Added BUILD hints
13 years ago
PBerger
4cd75789ac
Updated styleguides
Added Test Suite
Updated CMake configuration
13 years ago
PBerger
9da2eaf3d1
Initial Import into Git
Lacks Doxygen files/integration
13 years ago