tempest

Author	SHA1	Message	Date
gereon	f5ab82c163	As I was a bit puzzled: make CMake print out the used compiler	12 years ago
gereon	5315fa5f9e	undoing previous commit. Just ignore those...	12 years ago
gereon	0c9f84a5c6	Building with DEBUG totally breaks everything in g++.	12 years ago
dehnert	7d95a45633	Fixed bug in AbstractModelChecker: it does now correctly inherit from a lot more interface classes. NOTE: checking a formula on a model checker that does not support it failed silently. This should NOT be the case. Re-enabled DEBUG option for cmake. NOTE: why was this disabled anyway? Introduced another layer AbstractDeterministicModel and AbstractNonDeterministicModel in model hierarchy to allow for easily distinguishing these classes. Made necessary adaptions in (hopefully) all classes. Move the graph analyzer to utility folder.	12 years ago
PBerger	dbd6c02f6a	Updated CMakeLists.txt, Cotire Usage is now restricted to Linux/Windows and deactivated on APPLE systems.	12 years ago
PBerger	7f956b0d35	Added Cotire to Storm to build PCH on all plattforms. Edited the ConstTemplates.h as the new compilation order breaks because of some min/max macros.	12 years ago
Lanchid	21e0ecd9f0	Change in CmakeLists.txt: When building debug, add -g as CXX flag (For clang)	12 years ago
dehnert	726569d5f1	Fixed bug in parser that inserted 0-entries on the diagonal at the wrong places. Enabled link-time-optimizations for Release-Build when using clang. Fixed bug in base exception: what() returned a pointer to a char array belonging to a local variable, which got deallocated and thus invalidates the char array content.	12 years ago
dehnert	edd3a9a20e	Added possibility to evaluate expressions without concrete variables. Fixed some minor things in CUDD Makefiles. Renamed IR adapter.	12 years ago
gereon	3a73e0838c	make memcheck targets call the binaries with -v and --fix-deadlocks	12 years ago
dehnert	f52201466c	Parsing labels works now.	12 years ago
gereon	261750df9b	removing two warnings from cpplint	12 years ago
gereon	bad870f085	integrated cpplint Created a new make target (style) in CMakeLists. This target will give all .h and .cpp files within src/ to cpplint. Fixed most warnings in DeterministicTransitionParser to test what is found.	12 years ago
dehnert	b381321653	Added more classes to IR. Extended PRISM-format parser.	12 years ago
dehnert	11b16f5dde	Made bound/no-bound operators more consistent to reduce similar code. Changed bound operators to have a single bound and a comparison operator instead of an interval.	12 years ago
PBerger	f983317b54	Renaming MRMC to STORM, see #42 Markt und Straßen stehn verlassen, still erleuchtet jedes Haus, Sinnend' geh ich durch die Gassen, alles sieht so festlich aus. An den Fenstern haben Frauen buntes Spielzeug fromm geschmückt, Tausend Kindlein stehn und schauen, sind so wunderstill beglückt. Und ich wandre aus den Mauern Bis hinaus ins freie Feld, Hehres Glänzen, heil'ges Schauern! Wie so weit und still die Welt! Sterne hoch die Kreise schlingen, Aus des Schnees Einsamkeit Steigt's wie wunderbares Singen- O du gnadenreiche Zeit! Merry Christmas commit ;)	12 years ago
Lanchid	1b973545bb	Fixes in probabilistic operators: - Constructors and Destructors now work correctly - Removed check function from ProbabilisticNoBoundsOperator class (and documented why it does not have one) Note: I temporarily removed the -Wall parameter from gcc calls, as line 194 of GmmxxDtmcPrctlModelChecker.h throws a warning.	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
PBerger	851e3a631d	Fixed CMakeLists.txt, made everything compile under Windows/MSVC Added popcnt for MSVC Fixed line ending detection in parser	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	2ca83f5f31	Added functionality to rapidly extract sub-matrix from our sparse matrix format.	12 years ago
gereon	2eb08a603a	made stuff compile with new CMakeLists started a parser built with boost::spirit. It compiles, but does not do anything useful yet...	12 years ago
dehnert	4428f97998	Make some fixes for new logging framework to work under Linux an Mac OS.	12 years ago
dehnert	32fc15db46	Fixed some unix-specific issues.	12 years ago
dehnert	667811c92e	Added log4cplus as a library to be linked against for the tests as well.	12 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.	12 years ago
dehnert	ee081fd570	Fixed a lot of memory access violations, memory leaks, warnings. Enabled -Werror for gcc, as there are currently no warnings.	12 years ago
gereon	28363fc656	also link boost::program_options for test target	12 years ago
gereon	7b10151820	resolving conflicts...	12 years ago
dehnert	872f59fea5	Added flag to CMakeLists.txt to enable setting the name of libboost_program_options as it has an additional suffix under Mac OS.	12 years ago
dehnert	6ad9ea4900	Added libboost-program-options as a library to link MRMC-cpp against.	12 years ago
dehnert	464e8f371b	By default, CMake will use DEBUG as the build type now. Also, for GCC now more warnings and a more pedantic check has been enabled.	12 years ago
dehnert	bdb2d721ed	Included DEFINE_UNIX switch for CMake in order to set necessary define for STLSoft (on Mac OS X).	12 years ago
PBerger	b0c31196c3	Edited CMakeLists.txt, added a checkbox to disable/enable debug symbols with GCC	12 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.	12 years ago
Thomas Heinemann	0bf2c87c2c	Adjusted CMakeLists.txt (Directory "3rdparty" is written with a lower "p" in git index)	12 years ago
PBerger	41d09f0f4c	Added Eigen3 library Edited CMakeLists.txt to include Eigen3	12 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 ;)	12 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	12 years ago
PBerger	decb6b8006	Fixed CMakeLists.txt for Google Test to work with VS2012 Fixed STLSoft to compile under VS2012 Fixed Pantheios to work with VS2012 Fixed CMakeLists.txt for MRMC, removed duplicate code (Thomas?), converted keywords to lowercase	12 years ago
Thomas Heinemann	395d2822b5	CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual Studio creates a debug version automatically...)	12 years ago
Thomas Heinemann	b846680445	Updated CMakeLists.txt to new location of MRMCConfig.h.in	12 years ago
Thomas Heinemann	60abde4968	Added dependency on thread in CMakeLists.txt	12 years ago
PBerger	31d2c70acc	Added temporary Find* files for CMake Added custom exceptions Added Sparse Matrix Added Guidelines for Doxygen Added BUILD hints	12 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

... 5 6 7 8 9

414 Commits (tempestpy_adaptions)