tempest

Author	SHA1	Message	Date
gereon	a5d922c6a8	removed pointless return that produces an error (return value...)	12 years ago
PBerger	08f87d545c	Some more refactoring, renaming, adding #ifndef guards... Fixed a warning in SquareSparseMatrix.h regarding a conversion from uint64 to uint	12 years ago
PBerger	cce8391e44	Refactored everything to match naming scheme.	12 years ago
PBerger	95b000436b	Added a JacobiDecomposition container and conversion function. Added const where possible.	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
Lanchid	cbf719568a	Added correct return value computation in method MakeRowsAbsorbing of class SquareSparseMatrix.	13 years ago
gereon	8cbb7aa7d7	fixing toEigen conversion, making test case working :-)	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
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.	13 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	13 years ago
dehnert	2ca83f5f31	Added functionality to rapidly extract sub-matrix from our sparse matrix format.	13 years ago
dehnert	30827b543e	Fixed off-by-one error in sparse matrix. Now the tests do not produce a segfault any longer.	13 years ago
dehnert	05eaab7816	Removed invocations of memcpy in favour of std::copy as compilers will take care of optimizations.	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	cfe9f86ccd	Added logging with log4cplus to sparse matrix class.	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	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	bb071d829a	fixed a simple warning...	13 years ago
dehnert	eeddadc096	The columns of non-zero elements of a single row in a sparse matrix can now be iterated using an iterator. These iterator functionality is now used by the computation of the backwards transitions.	13 years ago
dehnert	ed84bfbce7	Adapted sparse matrix class to camel case notation.	13 years ago
dehnert	3c5dbb8483	Changed all indexing to 0-bound. From now on, the available states always start with 0 and end with the state with the highest index used. Adapted the test cases. Added comments in the sparse matrix class.	13 years ago
dehnert	bd594e2fae	Added backwards transitions class. Small refactorings. Had to comment out some parts in utility.cpp and read_tra_file_test.cpp because they do not compile and seem to not be compliant with the current version in the repository.	13 years ago
Lanchid	8a170d3fa6	Scheisse... hab anscheinend vergessen das zu pushen Enthalten ist: - Unit "Utility" zum parsen und ausgeben von DTMCs - Klasse Formula und Subclasses für PCTL-Formeln - Interface für den Model Checker	13 years ago
dehnert	44fbef62bd	Added capability to compute model size in bytes and corresponding functions in several classes. Added model info output to DTMC class. Added atomic proposition information output to atomic propositions labeling class.	13 years ago
PBerger	f5dce8d33a	Added a test for reported bug by CDehnert: Sparse Matrix to Eigen conversion loses the diagonal entries Fixed static_sparse_matrix.h	13 years ago
Thomas Heinemann	b63d168192	1) Excluded the constant templates from the SparseMatrix class, as gcc forbids explicit specializations of function templates inside classes. 2) Added a parameter to these templates which allows the inference of the type of the template parameter (gcc seems to need this) 3) Added DOT file output to the SparseMatrix.	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
PBerger	a4f5794419	Added conversion routines from/to Eigen Sparse Matrix Format Added tests for aforementioned conversion routines. Changed call parameters for sparse/static_sparse_matrix.h Minor ICL 13.x changes.	13 years ago
PBerger	1643901c5a	Big bunch of fixes, including memory leaks, bad code pathes, insufficent error reporting, uninitialized variables, etc, etc. Edited sparse/static_sparse_matrix.h, added an internal state enum to represent errors and the like.	13 years ago
PBerger	c10a0ee734	Fixed two typos in src/sparse/static_sparse_matrix.h	13 years ago
PBerger	344b586a72	Edited src/sparse/static_sparse_matrix.h to include a conversion routine for Eigen	13 years ago
PBerger	87f768ca41	Edited src/parser/read_lab_file.cpp, fixed String tokenization in WIN32 Edited MRMCConfig.h.in to include the base path for Test/ Directory Refactored the test files to use the new test/ base path macro With credits to Thomas ;)	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
Thomas Heinemann	d37b23a5c5	- Additional "wrong header" testcase for the tra parser - Methods of the sparse matrix now throw objects (instead of pointers) - Initializations of the pointer attributes of the sparse matrix with NULL (otherwise strange things may happen...) Note: Test cases for the sparse matrix now work for me.	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

17 Commits (ef03284369a09a2a110b7ac93dd46fd24f39ec26)