tempest

Author	SHA1	Message	Date
gereon	cd4463116e	completed work on intermediate callbacks and restructured settings class	13 years ago
gereon	82df4ba274	fixing warning: comparing signed with unsigned int	13 years ago
PBerger	b50d906ae3	Added missing EigenDtmcPrctlModelChecker.h Refactored solver to use iterative deepening for convergence :P	13 years ago
PBerger	1f36724cc2	Refactored StringOutput to use std::to_string Fixed Reference/Pointer bugs in all formulas. Implemented EigenDtmcPrctlModelChecker Replaced uses of int32 with 64bits	13 years ago
PBerger	851e3a631d	Fixed CMakeLists.txt, made everything compile under Windows/MSVC Added popcnt for MSVC Fixed line ending detection in parser	13 years ago
dehnert	27ba61ff74	Fixed minor bugs here and there. Improved gmm++-based model checker.	13 years ago
dehnert	80b53bea18	Added more example files. Removed deletes at end of main() as these pointers are deleted by the DTMC class already. Small refactoring of GraphAnalyzer according to new guidelines. Added vector utility functions to set elements of vectors. Added conversion routine from our sparse matrix format to gmm++ format. Fixed some bugs in sparse matrix class. Added prototypical implementation of GmmxxDtmcPrctlModelChecker.	13 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...	13 years ago
dehnert	2ca83f5f31	Added functionality to rapidly extract sub-matrix from our sparse matrix format.	13 years ago
gereon	60dbf5608e	adding test-bench for prctl parser.	13 years ago
gereon	f960e20e53	porting LabParser and TraParser from c-style API to class API	13 years ago
dehnert	dc7c414246	Merged bit vector and main file.	13 years ago
gereon	febe7a2d58	adding handling for --verbose if --verbose is set, log to file and to console, otherwise only to file.	13 years ago
gereon	ee4f2bd9a2	changed to new parser names	13 years ago
dehnert	aaa5ccada8	Added command line arguments to MRMC to log output.	13 years ago
dehnert	1ed29262ff	Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h.	13 years ago
dehnert	378fe3f532	Renamed and refactored atomic propositions labeling.	13 years ago
dehnert	8911b0b71a	Fixed wrong namespace for bit vector and square sparse matrix classes.	13 years ago
dehnert	8806dc6592	Performed renaming of static_sparse_matrix.h to SquareSparseMatrix.h, renamed the class accordingly and adapted the tests and includes.	13 years ago
dehnert	2d80eb39b3	Changed logging format and minor formatting fix.	13 years ago
dehnert	e748c35268	Added logging for both main files.	13 years ago
dehnert	876154e6f0	Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang.	13 years ago
dehnert	5a8c2a8d0e	Added iterator functionality to bit vector. Minor cosmetics here and there.	13 years ago
dehnert	ee081fd570	Fixed a lot of memory access violations, memory leaks, warnings. Enabled -Werror for gcc, as there are currently no warnings.	13 years ago
gereon	a5a045f091	Changed Settings class to be singleton Changed a lot in the class structure of Settings: * Settings is now a Singleton. Obtain a new instance by Settings::instance(). * options_description objects are now static, thus a help message can be printed even if the constructor of Settings failes * As Settings has static members, a .cpp file became necessary, hence cmake should probably be run... * Help messages can be printed with new help and helpConfigfile routines	13 years ago
gereon	ded2e43deb	making settings more robust adding new exception that is thrown whenever loading the settings fails. this exception is caught in mrmc-cpp.cpp. If this happens, the program is terminated.	13 years ago
gereon	1c0dab85a9	settings are ready to be used, put into mrmc-cpp settings now support positional arguments and proper error handling. mrmc-cpp already uses the settings	13 years ago
gereon	7eaedbfe9b	changing names of parsers	13 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.	13 years ago
gereon	6caf95f62e	first version of new parser	13 years ago
dehnert	46e010075a	Fixed include in main file.	13 years ago
PBerger	6d384967fc	Added BitVector, a simple boolean array Edited AtomicProposition to make use of BitVector Edited mrmc-cpp.cpp, now comes with speed tests for some tasks Edited static_sparse_matrix.h, added a copy constructor, added template conversion functions, applied template parameters to all relevant functions/variables Removed eigen_sparse_additions.h from internal files	13 years ago
Thomas Heinemann	765689c40a	Changed name of class "Labelling" to "Labeling".	13 years ago
Thomas Heinemann	556da4de5e	Minor changes	13 years ago
Thomas Heinemann	e5048cabb6	Closed memory leaks.	13 years ago
PBerger	307b85e331	Edited static_sparse_matrix.h, replaced all calloc/malloc calls with std::new Removed calls to exceptions with parameter "const char *", is illegal Fixed a warning in read_tra_file.cpp	13 years ago
PBerger	31d2c70acc	Added temporary Find* files for CMake Added custom exceptions Added Sparse Matrix Added Guidelines for Doxygen Added BUILD hints	13 years ago
PBerger	4cd75789ac	Updated styleguides Added Test Suite Updated CMake configuration	13 years ago
PBerger	9da2eaf3d1	Initial Import into Git Lacks Doxygen files/integration	13 years ago

25 Commits (cd4463116e203225a8a456940f28525768990bc5)