tempest

Author	SHA1	Message	Date
gereon	0e90636d4b	print help when loading settings fails.	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	bb071d829a	fixed a simple warning...	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	353edccadf	using ifdef instead of pragma, moving private to end of class	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	7f7234f62b	first version of settings module	13 years ago
dehnert	3560d10481	Added comment for destructor.	13 years ago
dehnert	d5919f2fdf	Removed unnecessary lines.	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	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
dehnert	46e010075a	Fixed include in main file.	13 years ago
dehnert	188c06d651	Fixed one of the methods in utility.cpp to adapt to the new notations.	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
PBerger	cf4cb5dd8c	Added reward_model with test	13 years ago
dehnert	107ea1e498	Fixed minor typo in comment.	13 years ago
dehnert	b7618fd91a	Refactoring of labeling classes.	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
dehnert	0ec2369459	Added support for 1-based indices for atomic proposition labeling. Fixed some whitespace typos.	13 years ago
dehnert	c33dfac505	Renamed classes for atomic proposition labeling storage. Added some methods to DTMC class stub.	13 years ago
dehnert	88101ef238	Fixed comment typo.	13 years ago
dehnert	b7eaeab11f	Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files. Added DTMC class stub.	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
PBerger	840b818c61	Fixed a typo in labeling.h	13 years ago
Thomas Heinemann	f3a600550a	(not much)	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
Thomas Heinemann	da8ed67224	- Comments - Support for std::unordered_map - CMakeList.txt: enable C++11 for gcc; debug symbols only when Debug version is created.	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	65763c29f1	Restructured labeling class (map does not directly point to the Atomic_proposition objects any longer) Adapted labeling parser to work with declaration lines longer than BUFFER_SIZE bytes. With credits to Philipp :-)	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	8e460897f0	Minor corrections (Memory initialization in AtomicProposition) and more test cases	13 years ago
Thomas Heinemann	a0e07c2022	Parser for labelling files including new data structure managing different atomic propositions. (Works now as node_array attribute of class Atomic_proposition is now always instantiated with 0)	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	6f970f27fe	Added atomic propositions/labels	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
Thomas Heinemann	5c7c23f4d6	Some minor changes (especially limiting the range of variables if possible)	13 years ago
Thomas Heinemann	40de04a1fe	Added missing files (exceptions)	13 years ago
Thomas Heinemann	ebc0db4750	Formatting	13 years ago

1 2

58 Commits (0e90636d4be1ababdfb88f69a199f60903b39bcc)