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.
12 years ago
e35b950eea
fixing locale issue
12 years ago
25e5095a7c
now, the parser even works :-)
12 years ago
6caf95f62e
first version of new parser
12 years ago
e3ee7c77c2
make configure and python script executable, otherwise make fails...
12 years ago
46e010075a
Fixed include in main file.
12 years ago
188c06d651
Fixed one of the methods in utility.cpp to adapt to the new notations.
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
3e2d5b68dd
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
e7473e3919
Moved/merged 3rdParty into 3rdparty
12 years ago
2a90135f0b
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
8a170d3fa6
Scheisse... hab anscheinend vergessen das zu pushen
Enthalten ist:
- Unit "Utility" zum parsen und ausgeben von DTMCs
- Klasse Formula und Subclasses für PCTL-Formeln
- Interface für den Model Checker
12 years ago
cf4cb5dd8c
Added reward_model with test
12 years ago
2f6a73db96
Fix for last update to Eigen: Delete old files.
12 years ago
f5fd37f992
Updated Eigen to 3.1.2 (5097c01bcdc4)
12 years ago
107ea1e498
Fixed minor typo in comment.
12 years ago
b7618fd91a
Refactoring of labeling classes.
12 years ago
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.
12 years ago
0ec2369459
Added support for 1-based indices for atomic proposition labeling. Fixed some whitespace typos.
12 years ago
c33dfac505
Renamed classes for atomic proposition labeling storage.
Added some methods to DTMC class stub.
12 years ago
88101ef238
Fixed comment typo.
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
221f7d11cb
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
f056eee6b2
Added some more examples.
Removed result file for example.
12 years ago
bdb2d721ed
Included DEFINE_UNIX switch for CMake in order to set necessary define for STLSoft (on Mac OS X).
12 years ago
f6e70a6ee6
Included small DTMC example along with its analysis result using PRISM.
12 years ago
840b818c61
Fixed a typo in labeling.h
12 years ago
9f07f4cc2e
This file (of Eigen) disappeared for some reason I do not know...
12 years ago
4d6e9c5c49
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
f3a600550a
(not much)
12 years ago
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
2af4dc0d06
Updated eigen to HEAD version
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
c10a0ee734
Fixed two typos in src/sparse/static_sparse_matrix.h
12 years ago
b0c31196c3
Edited CMakeLists.txt, added a checkbox to disable/enable debug symbols with GCC
12 years ago
046af515fe
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
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
344b586a72
Edited src/sparse/static_sparse_matrix.h to include a conversion routine for Eigen
12 years ago
0bf2c87c2c
Adjusted CMakeLists.txt (Directory "3rdparty" is written with a lower
"p" in git index)
12 years ago
41d09f0f4c
Added Eigen3 library
Edited CMakeLists.txt to include Eigen3
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
556da4de5e
Minor changes
12 years ago
8e460897f0
Minor corrections (Memory initialization in AtomicProposition) and
more
test
cases
12 years ago
dehnert
gereon
PBerger
Lanchid