sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
68 Commits
1 Branch
0 Tags
187 MiB
Tree: eeddadc096
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'eeddadc096'
${ noResults }
Commit Graph

68 Commits (eeddadc0968e77c3620c85dfe80acce7280b2af8)
 

Author SHA1 Message Date
dehnert eeddadc096 The columns of non-zero elements of a single row in a sparse matrix can now be iterated using an iterator. These iterator functionality is now used by the computation of the backwards transitions.
12 years ago
dehnert ed84bfbce7 Adapted sparse matrix class to camel case notation.
12 years ago
dehnert 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.
12 years ago
dehnert 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
dehnert 46e010075a Fixed include in main file.
12 years ago
dehnert 188c06d651 Fixed one of the methods in utility.cpp to adapt to the new notations.
12 years ago
dehnert 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
dehnert 3e2d5b68dd Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
PBerger e7473e3919 Moved/merged 3rdParty into 3rdparty
12 years ago
dehnert 2a90135f0b Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
12 years ago
Lanchid 8a170d3fa6 Scheisse... hab anscheinend vergessen das zu pushen
12 years ago
PBerger cf4cb5dd8c Added reward_model with test
12 years ago
PBerger 2f6a73db96 Fix for last update to Eigen: Delete old files.
12 years ago
PBerger f5fd37f992 Updated Eigen to 3.1.2 (5097c01bcdc4)
12 years ago
dehnert 107ea1e498 Fixed minor typo in comment.
12 years ago
dehnert b7618fd91a Refactoring of labeling classes.
12 years ago
dehnert 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
dehnert 0ec2369459 Added support for 1-based indices for atomic proposition labeling. Fixed some whitespace typos.
12 years ago
dehnert c33dfac505 Renamed classes for atomic proposition labeling storage.
12 years ago
dehnert 88101ef238 Fixed comment typo.
12 years ago
dehnert b7eaeab11f Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files.
12 years ago
PBerger f5dce8d33a Added a test for reported bug by CDehnert: Sparse Matrix to Eigen conversion loses the diagonal entries
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.
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
12 years ago
PBerger 2af4dc0d06 Updated eigen to HEAD version
12 years ago
PBerger 6d384967fc Added BitVector, a simple boolean array
12 years ago
PBerger a4f5794419 Added conversion routines from/to Eigen Sparse Matrix Format
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.
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
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
12 years ago
PBerger 41d09f0f4c Added Eigen3 library
12 years ago
PBerger 87f768ca41 Edited src/parser/read_lab_file.cpp, fixed String tokenization in WIN32
12 years ago
Thomas Heinemann 65763c29f1 Restructured labeling class (map does not directly point to the
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
12 years ago
Thomas Heinemann a0e07c2022 Parser for labelling files including new data structure managing
12 years ago