tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
PBerger	9e5b69b211	Further naming scheme enforcement.	13 years ago
PBerger	08f87d545c	Some more refactoring, renaming, adding #ifndef guards... Fixed a warning in SquareSparseMatrix.h regarding a conversion from uint64 to uint	13 years ago
gereon	57f7adee55	added <double> to occurences of PCTLFormula	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