08f87d545c
Some more refactoring, renaming, adding #ifndef guards...
Fixed a warning in SquareSparseMatrix.h regarding a conversion from uint64 to uint
12 years ago
cce8391e44
Refactored everything to match naming scheme.
12 years ago
4095e87282
changing pointer to std::shared_ptr
parsers return some kind of object and it is not clear who owns this object,
i.e. who is responsible to delete it.
12 years ago
13a2bd3057
Moved const_templates.h from "misc" to "utility" to be able to remove
the former folder.
Also, changed those templates to use references instead of pointers for
easier code.
Renamer "utility.h" and .cpp to "ioUtility.h/cpp", as utility code
providing functionality not linked with IO has been put into other
files.
12 years ago
71c824b91a
hunting for memory erros
adding make targets to call mrmc and mrmc-tests with valgrind
fixing some memory errors in SSM, SSMTest, BitVector
adding an additional check to readLabFile
12 years ago
f5d2205352
- Removed enum to infer the correct formula (sub-)class, instead used
"check" which calls the correct check function in the model checker.
- The dot output was modified to work with the refactored names
- Also, it uses now filestreams instead of C style output
- and the iterators from the matrix class
- Included new (stub) test case for output (and general parsing)
12 years ago
f960e20e53
porting LabParser and TraParser from c-style API to class API
12 years ago
378fe3f532
Renamed and refactored atomic propositions labeling.
12 years ago
8911b0b71a
Fixed wrong namespace for bit vector and square sparse matrix classes.
12 years ago
8806dc6592
Performed renaming of static_sparse_matrix.h to SquareSparseMatrix.h, renamed the class accordingly and adapted the tests and includes.
12 years ago
bdfb9b7d72
Further refactoring of the bit vector class, now including logging output. Renamed it according to the new naming scheme.
12 years ago
2d80eb39b3
Changed logging format and minor formatting fix.
12 years ago
e748c35268
Added logging for both main files.
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
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.
12 years ago
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.
12 years ago
cf4cb5dd8c
Added reward_model with test
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
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
f3a600550a
(not much)
12 years ago
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
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
f66c0c110c
Renamed the static_sparse_matrix_test.cpp
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
e5048cabb6
Closed memory leaks.
12 years ago
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.
12 years ago
5c7c23f4d6
Some minor changes (especially limiting the range of variables if
possible)
12 years ago
31d2c70acc
Added temporary Find* files for CMake
Added custom exceptions
Added Sparse Matrix
Added Guidelines for Doxygen
Added BUILD hints
13 years ago
4cd75789ac
Updated styleguides
Added Test Suite
Updated CMake configuration
13 years ago
PBerger
gereon
Lanchid
dehnert