gereon
|
7e9ba03ec6
|
added boost header for uint_fastX types
|
12 years ago |
|
gereon
|
9156fa6d61
|
moving implementation of MappedFile and helper functions to .cpp
|
12 years ago |
|
gereon
|
bb1dae23fc
|
Lab and Tra parser pass test cases
Some more fixing, error handling and restructuring.
Both parsers now pass all test cases.
|
12 years ago |
|
gereon
|
82b502970e
|
patched tra parser, test cases work now
|
12 years ago |
|
gereon
|
98d18f5ddc
|
Merge branch 'parser' of https://sselab.de/lab9/private/git/MRMC into parser
|
12 years ago |
|
gereon
|
93d568bd82
|
working on prctl parser
|
12 years ago |
PBerger
|
4f7cbd450a
|
Fixed bugs in the Windows Part of the parser, refactored includes to meet Windows Requirements.
Deleted a #warning
|
12 years ago |
|
gereon
|
925a9bd8c0
|
changing pragma to ifdef, starting implementation of PRCTLParser
|
12 years ago |
|
gereon
|
2eb08a603a
|
made stuff compile with new CMakeLists
started a parser built with boost::spirit.
It compiles, but does not do anything useful yet...
|
12 years ago |
|
gereon
|
48323c005a
|
added header to make os detection at one point
added ifdefs to implement file mapping for windows
implemented file mapping for windows, but did not compile yet (no windows available...)
|
12 years ago |
|
gereon
|
7eaedbfe9b
|
changing names of parsers
|
12 years ago |
|
gereon
|
ad0c802fcc
|
minor cleanups, added documentation.
|
12 years ago |
|
gereon
|
ea8504a84e
|
some fixes to new parser, calculate maximum node number manually
|
12 years ago |
|
gereon
|
3807591edd
|
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC into parser
Conflicts:
src/mrmc-cpp.cpp
src/parser/read_tra_file.cpp
|
12 years ago |
|
gereon
|
408290d72b
|
moved file mapping logic to parser.h
|
12 years ago |
|
gereon
|
2cf8f3baec
|
more work on refactoring / rewriting parsers
|
12 years ago |
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.
Adapted the test cases.
Added comments in the sparse matrix class.
|
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 |
|
gereon
|
e35b950eea
|
fixing locale issue
|
12 years ago |
|
gereon
|
25e5095a7c
|
now, the parser even works :-)
|
12 years ago |
|
gereon
|
6caf95f62e
|
first version of new parser
|
12 years ago |
|
Gereon Kremer
|
e3ee7c77c2
|
make configure and python script executable, otherwise make fails...
|
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
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 |
|
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.
Added some methods to DTMC class stub.
|
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.
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 |
