tempest

Author	SHA1	Message	Date
gereon	c436586303	fixing error if lab file contains no trailing newline	12 years ago
dehnert	9b1e435140	Adding further small examples.	12 years ago
dehnert	739d3e3bda	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
dehnert	4c6c7d5fbd	Merge.	12 years ago
Lanchid	39608b4b32	Merge branch 'modelchecker'	12 years ago
Lanchid	13a2bd3057	Moved const_templates.h from "misc" to "utility" to be able to remove the former folder. Also, changed those templates to use references instead of pointers for easier code. Renamer "utility.h" and .cpp to "ioUtility.h/cpp", as utility code providing functionality not linked with IO has been put into other files.	12 years ago
Lanchid	bb9aa0dfe2	Changed check function in formula classes to use a reference of the model checker instead of a pointer.	12 years ago
Lanchid	67b3888ba9	Implemented basic functions of the model checker	12 years ago
Lanchid	3b8e2a488b	Fix for ticket 21. Fixed the map of the AtomicPropositionsLabeling class to std::unordered_map.	12 years ago
Lanchid	5a5705070f	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC/	12 years ago
gereon	07ac945794	some more documentation also call delete for objects created in parsers as you can see, this is kind of ugly, maybe we should use a different structure there...	12 years ago
gereon	71c824b91a	hunting for memory erros adding make targets to call mrmc and mrmc-tests with valgrind fixing some memory errors in SSM, SSMTest, BitVector adding an additional check to readLabFile	12 years ago
dehnert	101c6c41ab	Merge.	12 years ago
gereon	eb91f3ea86	fixing memory errors (mostly in resize()) and some minor corrections	12 years ago
gereon	57f7adee55	added <double> to occurences of PCTLFormula	12 years ago
gereon	bf982fee2d	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC Conflicts: src/parser/readPrctlFile.cpp src/parser/readPrctlFile.h	12 years ago
dehnert	ff3901dc65	Merge branch 'gmm++'	12 years ago
dehnert	b1b86b078c	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
dehnert	ba900ab352	Adding gmm++, examples. Adding gmm to gitignore.	12 years ago
dehnert	2ca83f5f31	Added functionality to rapidly extract sub-matrix from our sparse matrix format.	12 years ago
Lanchid	6b4945e55c	Changed getter for child nodes to reference style	12 years ago
Lanchid	cdc0332fd7	Code style and fixing errors in doxygen code for model checker class	12 years ago
Lanchid	350f1a0990	Code style for formula classes	12 years ago
Lanchid	79761d0492	Added copy constructor to model checker	12 years ago
Lanchid	b726a07b3f	Small bugfix for the dot output	12 years ago
Lanchid	4afa0a9ad3	Oops, this file is needed for the new test case	12 years ago
Lanchid	a1854b26a5	Documentation of ModelChecker (new) and improved doc of formula classes	12 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)	12 years ago
gereon	60dbf5608e	adding test-bench for prctl parser.	12 years ago
gereon	dd03c85fea	porting PRCTLParser to class API	12 years ago
dehnert	2068bd31df	Fixed example files to have a decimal point instead of a comma.	12 years ago
dehnert	91124aabff	Adding example files.	12 years ago
gereon	f960e20e53	porting LabParser and TraParser from c-style API to class API	12 years ago
gereon	0e6f699625	some doxygen for settings namespace	12 years ago
gereon	42587ea4f5	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
gereon	f311f043bc	some documentation for parser namespace	12 years ago
dehnert	30827b543e	Fixed off-by-one error in sparse matrix. Now the tests do not produce a segfault any longer.	12 years ago
dehnert	b1cc1a782d	Adding graph analyzer that is able to perform reachability searches in the state space.	12 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.	12 years ago
dehnert	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.	12 years ago
dehnert	dc7c414246	Merged bit vector and main file.	12 years ago
gereon	febe7a2d58	adding handling for --verbose if --verbose is set, log to file and to console, otherwise only to file.	12 years ago
gereon	c10b08bf9a	adding option --verbose	12 years ago
gereon	5a7176740a	adding generic get() method for settings of arbitrary type	12 years ago
gereon	f2006d4889	fixing doxygen	12 years ago
gereon	4147b7a7f6	removing obsolete functions	12 years ago
gereon	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...	12 years ago
gereon	296a3a1992	fixed but in BitVector.resize() additional buckets should be initialized with zero. however, the old bucketarray was initialized, not the new one.	12 years ago
gereon	3782122ac6	adding log output with LOG4CPLUS macros	12 years ago
gereon	ee4f2bd9a2	changed to new parser names	12 years ago

... 159 160 161 162 163 ...

8191 Commits (26764137f5cbc3a22181ab4e243d265f1943d03d) All Branches Search

8191 Commits (26764137f5cbc3a22181ab4e243d265f1943d03d)

All Branches