378fe3f532
Renamed and refactored atomic propositions labeling.
12 years ago
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
7eaedbfe9b
changing names of parsers
12 years ago
b7618fd91a
Refactoring of labeling classes.
12 years ago
c33dfac505
Renamed classes for atomic proposition labeling storage.
Added some methods to DTMC class stub.
12 years ago
b7eaeab11f
Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files.
Added DTMC class stub.
12 years ago
8b1d5804c9
Edited the test cases from the parsers, added a missing FAIL() in the dead branches.
12 years ago
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
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
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
765689c40a
Changed name of class "Labelling" to "Labeling".
12 years ago
8e460897f0
Minor corrections (Memory initialization in AtomicProposition) and
more
test
cases
12 years ago
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
dehnert
gereon
PBerger
Thomas Heinemann