734 Commits (3c78b0b064e4b9396b77f38f8213b7289855a1c8)

Author SHA1 Message Date
Matthias Volk f744176481
Fixed lib filename for carl (Fixes #85) 4 years ago
TimQu 6902a3c8f8 Revert "Fixed dot output of BDDs in sylvan." 4 years ago
Tim Quatmann 6dcfd28186 Fixed dot output of BDDs in sylvan. 4 years ago
Tim Quatmann d135bc8ecb cmake: Workaround for the FATAL_ERROR that occurred whenever building shipped carl was aborted (bypassing github issue #62). 4 years ago
Tim Quatmann fb112ab191 Added support for modulo operators when building symbolic models in exact mode. 4 years ago
Tim Quatmann a618147192 gmm Multiplier: Added support for computing y += A*x in Parallel. 4 years ago
Tim Quatmann 5917b020fc GMM Multiplier: Support for y += A*x 4 years ago
Tim Quatmann 5536cda902 BeliefExplorationModelCheckerTest: added refuel test case 5 years ago
Tim Quatmann 1313e3c096 BeliefExplorationModelCheckerTest: added maze2 test case 5 years ago
Tim Quatmann cc4379130f BeliefExplorationPomdpModelCheckerTest: More tests and testing of preprocessed models. 5 years ago
Tim Quatmann 764b6c9a3b Added small pomdp example. 5 years ago
Tim Quatmann 90ade051c2 Added CMAKE option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set 5 years ago
Sebastian Junges 8f9e81f61f less means less or equal in cmake. :/ 5 years ago
Sebastian Junges ec7198bf07 xerces-c macos fix for version 3.2.3 and newer 5 years ago
Sebastian Junges 1658b98a26 report xerces-c version 5 years ago
Sebastian Junges ee2351ede3 fix logic for including xercesc on macos 5 years ago
Tim Quatmann 57e42a16de Eigen Patch: Silence a warning regarding unused variable. 5 years ago
Tim Quatmann 74f7cd17ea Changed the target directory for the downloaded Eigen headers so that they are now located within the build folder (hopefully avoiding conflicts with multiple build-folders). 5 years ago
Tim Quatmann 121589541d Removed old Eigen Sources. 5 years ago
Tim Quatmann 9ba293d760 Fixed trailing whitespace error when applying the Eigen patch. 5 years ago
Tim Quatmann 739ef0b8b4 Updated Eigen version. This fixes issue #77 5 years ago
Sebastian Junges 10253b25f2 removed xerces-c source from storm. If xerces-c is unavailable, storm will build everything as before, but storm-gspn will not be able to load gspns in XML format. 5 years ago
Tim Quatmann 94d08d73fb Capitalized GUROBI in FindGUROBI.cmake file because it was not found on linux. 5 years ago
Tim Quatmann 743dc3e8b1 Cmake: Silence some cmake warnings that recently appear (part 2) 5 years ago
Tim Quatmann 48395f1218 Cmake: Fixed capitalization of z3 and hwloc to silence some cmake warnings that recently appear. 5 years ago
Sebastian Junges 542f94babd report on gurobi library, extended libraries and prefer (empirically) newer versions over older versions 5 years ago
Tim Quatmann 81356d1dc8 Jani JSONExporter: Increased precision for output. 5 years ago
Tim Quatmann 9cc00a03a2 modernjson: Fixed compilation with GCC. 5 years ago
Tim Quatmann 4fb92b200a Fix in parsing Numbers from JSON 5 years ago
Tim Quatmann 632c9c2e1e Modified the modernjson library so that it can parse numbers as rationals. 5 years ago
Tim Quatmann d92e6b97e5 updated exprtk 5 years ago
Matthias Volk c8158018b8 Use state elimination to eliminate chains of non-Markovian states in MA 5 years ago
Tim Quatmann 03a77f9c6a Added new Gurobi version 5 years ago
Tim Quatmann 3912d59a3b Added kanban model for LRA test 5 years ago
Tim Quatmann f9f845bb79 Separated LRA tests from CTMC tests and added a testcase for LRA Rewards 5 years ago
Tim Quatmann 2b55302a4b Testcase for replacing of unassigned variables. 5 years ago
Matthias Volk 61c1ec8537 Check for Zeno cycles in MA 5 years ago
Matthias Volk 7339f487a9 Fixed BUILD_BYPRODUCTS for Ninja 5 years ago
Tim Quatmann a4954332a3 incremented gtest version. 5 years ago
Tim Quatmann 98e3ac5ad7 integrated new gtest version in cmake. 5 years ago
Tim Quatmann a145818e4d updated gtest version 5 years ago
Tim Quatmann d67f1b4898 cmake: Fixed compilation of shipped glpk under mac os 5 years ago
Tim Quatmann 6008f489e2 bumped version of shipped glpk 5 years ago
Matthias Volk bf735f0b00 Fixed doxygen issue with old cmake version (issue #55) 5 years ago
Jip Spel 179c46570b Added missing file 5 years ago
TimQu de5b9368c4 Bumping Gurobi version 5 years ago
Tim Quatmann 60e78dd438 cmake: Do not search for CLN if it is not needed. 5 years ago
Matthias Volk a0d8c959e4 Changed SEND_ERROR to FATAL_ERROR in CMakeLists for resources 5 years ago
Matthias Volk b15ba29d9e Disable search for boost-cmake 5 years ago
Sebastian Junges 28f8c9d821 Fix as proposed by Lord Hobborg in Issue 53 5 years ago