tempest

Author	SHA1	Message	Date
gereon	82df4ba274	fixing warning: comparing signed with unsigned int	12 years ago
gereon	97122e29cd	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
gereon	4935b4a10b	adding infrastructure to register callbacks for settings Using the Register class, one can register callbacks to manipulate options or check options afterwards. These callbacks are stored in the Callbacks class (being a singleton) and should be called by the Settings class when appropriate. The Settings class does not call them yet.	12 years ago
dehnert	cbe162ab84	Fixed some copy-paste errors.	12 years ago
PBerger	b50d906ae3	Added missing EigenDtmcPrctlModelChecker.h Refactored solver to use iterative deepening for convergence :P	12 years ago
PBerger	d54ef9f35f	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 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	12 years ago
Lanchid	667b60db8f	Added absolute path names for command line parameters for valgrind in make targets (by CMAKE variables), so it should work with out of source builds; and a dependency to the executables (so it is built automatically if that has not been done before)	12 years ago
Lanchid	645ebe8b9e	Changed functions of GmmxxDtmcPrctlModelChecker to fit to the changed interface.	12 years ago
PBerger	e1a4a8d8c1	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC	12 years ago
PBerger	851e3a631d	Fixed CMakeLists.txt, made everything compile under Windows/MSVC Added popcnt for MSVC Fixed line ending detection in parser	12 years ago
Lanchid	1c088c1ca6	Added a probabilistic operator class that checks whether the probability that the path formula holds is equal to one single number, instead of comparing it to a lower and upper bound.	12 years ago
Lanchid	f80a7bcab3	Deleted DtmcPrctlModelChecker.cpp (was just there to make sure the corresponding h file is compiled, but is not necessary for that any more right now)	12 years ago
Lanchid	7bce04405e	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC/ Conflicts: src/storage/SquareSparseMatrix.h (resolved by sticking to the version of master branch)	12 years ago
Lanchid	ede5f56e5a	Set model checker in copy constructor as const.	12 years ago
Lanchid	cbf719568a	Added correct return value computation in method MakeRowsAbsorbing of class SquareSparseMatrix.	12 years ago
gereon	4095e87282	changing pointer to std::shared_ptr parsers return some kind of object and it is not clear who owns this object, i.e. who is responsible to delete it.	12 years ago
gereon	8cbb7aa7d7	fixing toEigen conversion, making test case working :-)	12 years ago
gereon	54e52b5ab7	dtmc.h -> Dtmc.h	12 years ago
dehnert	27ba61ff74	Fixed minor bugs here and there. Improved gmm++-based model checker.	12 years ago
dehnert	091a7740a2	Added a lot of consts to all methods provided by formula classes.	12 years ago
Lanchid	223f5a5c60	Merge branch 'master' of https://sselab.de/lab9/private/git/MRMC/ Conflicts: src/modelChecker/DtmcPrctlModelChecker.h NOTE: makeRowsAbsorbing of SquareSparseMatrix did not return a value. To suppress the warning I added "return false", so that the program compiles for me with "-Werror", too.	12 years ago
Lanchid	8a12ec03e3	Copied pointer of states labeled with an AP, as the result of the function points into the labeling object. (Ticket #24)	12 years ago
Lanchid	60f91d52c7	Some refactoring for ticket #24	12 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.	12 years ago
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

... 185 186 187 188 189 ...

9516 Commits (tempestpy_adaptions) All Branches Search

9516 Commits (tempestpy_adaptions)

All Branches