tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
gereon	25ee8f906a	added a few words about the current state of the PRCTLParser	13 years ago
Lanchid	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
gereon	dd03c85fea	porting PRCTLParser to class API	13 years ago
dehnert	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
gereon	93d568bd82	working on prctl parser	13 years ago
gereon	925a9bd8c0	changing pragma to ifdef, starting implementation of PRCTLParser	13 years ago