a1854b26a5
Documentation of ModelChecker (new) and improved doc of formula classes
13 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)
13 years ago
60dbf5608e
adding test-bench for prctl parser.
13 years ago
dd03c85fea
porting PRCTLParser to class API
13 years ago
2068bd31df
Fixed example files to have a decimal point instead of a comma.
13 years ago
91124aabff
Adding example files.
13 years ago
f960e20e53
porting LabParser and TraParser from c-style API to class API
13 years ago
0e6f699625
some doxygen for settings namespace
13 years ago
42587ea4f5
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
13 years ago
f311f043bc
some documentation for parser namespace
13 years ago
30827b543e
Fixed off-by-one error in sparse matrix. Now the tests do not produce a segfault any longer.
13 years ago
b1cc1a782d
Adding graph analyzer that is able to perform reachability searches in the state space.
13 years ago
b76f392df1
Added newlines to end of files, because clang++ complains about that. Added case distinction of struct definition in parser.h for Mac OS to work correctly with parser.cpp.
13 years ago
18b72bc8d7
Added necessary include of unistd.h (for close()) to parser. Removed flag MAP_DENYWRITE of mmap for Mac OS and Linux as it is non-existent and ignored, respectively. Changed call to stat64 to call to stat for MAC OS, as stat64 is deprecated and 64-bit mode is turned on by macro that is no correctly set during OS-Detection.
13 years ago
dc7c414246
Merged bit vector and main file.
13 years ago
febe7a2d58
adding handling for --verbose
if --verbose is set, log to file and to console, otherwise only to file.
13 years ago
c10b08bf9a
adding option --verbose
13 years ago
5a7176740a
adding generic get() method for settings of arbitrary type
13 years ago
f2006d4889
fixing doxygen
13 years ago
4147b7a7f6
removing obsolete functions
13 years ago
19b55ef9a0
fixed handling of invalid floats in Tra parser and converted tra files still containing floats with comma
Sorry for large commit, but crowds-file has to be converted at some point...
13 years ago
296a3a1992
fixed but in BitVector.resize()
additional buckets should be initialized with zero.
however, the *old* bucketarray was initialized, not the *new* one.
13 years ago
3782122ac6
adding log output with LOG4CPLUS macros
13 years ago
ee4f2bd9a2
changed to new parser names
13 years ago
5ce8355d2b
removing pantheios (new logger will be added soon) and fixed a warning
13 years ago
2998e3d812
replacing constructor delegation
constructor delegation is not supported by gcc < 4.7
Hence, i replaced this by default values for parameters.
13 years ago
8d89375c6e
integrated renaming within master branch into code merged from parser branch
13 years ago
b4437bed59
Merge branch 'parser'
Conflicts:
CMakeLists.txt
src/mrmc-cpp.cpp
src/parser/read_lab_file.cpp
src/parser/read_lab_file.h
src/parser/read_tra_file.cpp
src/parser/read_tra_file.h
src/utility/utility.cpp
test/parser/read_lab_file_test.cpp
test/parser/read_tra_file_test.cpp
13 years ago
7e9ba03ec6
added boost header for uint_fastX types
13 years ago
9156fa6d61
moving implementation of MappedFile and helper functions to .cpp
13 years ago
bb1dae23fc
Lab and Tra parser pass test cases
Some more fixing, error handling and restructuring.
Both parsers now pass all test cases.
13 years ago
82b502970e
patched tra parser, test cases work now
13 years ago
98d18f5ddc
Merge branch 'parser' of https://sselab.de/lab9/private/git/MRMC into parser
13 years ago
93d568bd82
working on prctl parser
13 years ago
4f7cbd450a
Fixed bugs in the Windows Part of the parser, refactored includes to meet Windows Requirements.
Deleted a #warning
13 years ago
2bf01bfea3
Added graph search algorithms for determining the set of states that have no possibility of going to a non-target state. Enhanced bit vector class.
13 years ago
925a9bd8c0
changing pragma to ifdef, starting implementation of PRCTLParser
13 years ago
2eb08a603a
made stuff compile with new CMakeLists
started a parser built with boost::spirit.
It compiles, but does not do anything useful yet...
13 years ago
05eaab7816
Removed invocations of memcpy in favour of std::copy as compilers will take care of optimizations.
13 years ago
2918f855bc
Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC
13 years ago
aaa5ccada8
Added command line arguments to MRMC to log output.
13 years ago
c634ff6d0b
Removed debug output.
13 years ago
e632fc1bb6
fixing error & warning...
13 years ago
8857655b56
Refactored names according to guidelines.
13 years ago
464fe97578
Fixed initialization order in constructor.
13 years ago
70bf39b634
Fixed includes for graph transitions class. Added index iteration functionality to the bit vector class.
13 years ago
d871aca351
Renamed the backward transitions class to GraphTransitions and generalized it to be able to store the forward or backward graph structure of a given system.
13 years ago
1ed29262ff
Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h.
13 years ago
378fe3f532
Renamed and refactored atomic propositions labeling.
13 years ago
8911b0b71a
Fixed wrong namespace for bit vector and square sparse matrix classes.
13 years ago
Lanchid
gereon
dehnert
PBerger