9509 Commits (43f851167861c0c43ec8b33e4375626e27664125)
 

Author SHA1 Message Date
Tim Quatmann c46c711eb7 cpphoafparser: added missing include. 3 years ago
Tim Quatmann 693d5470a3 Updated changelog a bit. 3 years ago
Tim Quatmann dffc04a280 Cleaned up some includes for the model checkers. 3 years ago
Tim Quatmann e92e32239b Support for globally and next formulae for Markov Automata and CTMC 3 years ago
Tim Quatmann db16aa50e6 LTL Helper: Removed some debug output to reduce clutter 3 years ago
Tim Quatmann a81f5e284b Further simplified LTLHelper Interface a bit. 3 years ago
Tim Quatmann 9cf3d6af5d Adding debug output and file I/O checks whenever parsing a HOA automaton from a file. 3 years ago
Tim Quatmann 6310462060 Cleaned up dtmc and mdp helpers a bit. 3 years ago
Tim Quatmann 3a12b1cc10 Model Checkers: Reduced code duplications by using a single `computeStateFormulaProbabilities` method 3 years ago
Tim Quatmann 1207af13a2 symbolic and sparse models now have a public member `Representation` 3 years ago
Tim Quatmann 10fc5d18c8 Clarified what a complex path formula is. 3 years ago
Tim Quatmann b097a442ee Processed some TODOs in storm/logic 3 years ago
Tim Quatmann cdedf4e78f Added comment for formula equality check. Strongly related to github issue #132. 3 years ago
Tim Quatmann c8e9b43100 Changed ltl2da option to slightly more descriptive ltl2datool (this is also the name of the corresponding option in PRISM) 3 years ago
Tim Quatmann 948e7fdaba cmake: Fixed marking non-existing option as advanced 3 years ago
Stefan Pranger 7a851901e2 updates after cherry pick 3 years ago
Tim Quatmann feadd3af77 Added cmake option STORM_RESOURCES_BUILD_JOBCOUNT to have better control on how many jobs we shall use to build external stuff (like spot, carl, cudd, glpk, ?) 3 years ago
Tim Quatmann 98bb05b86f Trying to build spot with a single thread 3 years ago
Tim Quatmann 3a3587370e Skip a test if LTL model checking is not available. 3 years ago
Tim Quatmann efeeea0d54 Spot: re-iterated cmake interface to hopefully make it more clean. Added documentation on how to update spot 3 years ago
Tim Quatmann e76c5ab4ba Fixed ambiguous operator overload. 3 years ago
Tim Quatmann 5a2e489403 github buildtest workflow should test with spot. 3 years ago
Tim Quatmann 4e6d334f9b Updated Changelog 3 years ago
Stefan Pranger ba1d0d052d added simulator to tests 3 years ago
hannah 093b01f0c5 adjusted scheduler dontCare 3 years ago
hannah adc5d9ae68 MA scheduler export 3 years ago
hannah 1f17b31bbe arbitrary choice for dontCareStates 3 years ago
hannah ebdfb2def8 keep the original modeltype during product construction 3 years ago
hannah c80a62ce06 added function for computation of memory states 3 years ago
hannah 71100e9d65 scheduler json export 3 years ago
hannah cceb3513ce set states to dontCare during scheduler computations, adapted Tests 3 years ago
hannah f92b2104b5 TODOs and fixed an error during scheduler creation 3 years ago
hannah 6b0aaeadb4 ignore dontCare States while printing 3 years ago
hannah 77ced0aefe fixed warning 3 years ago
Tim Quatmann c057e437e4 CMAKE: Do not mark STORM_USE_SPOT as advanced. 3 years ago
Tim Quatmann 9626c3c5f1 Cmake: Fixed output when including spot. 3 years ago
Tim Quatmann c1b06f40b7 CMAKE: Added option to include and link against Spot 3 years ago
hannah 412489a57f Added possibility to set (un)reachable states for scheduler 3 years ago
hannah 214d586d10 fixed scheduler choice in EC 3 years ago
hannah 6865ae1464 build memory structure from all states 3 years ago
Tim Quatmann 5c204182eb Added some todos 3 years ago
hannah b8712041bf fixed memory structure 3 years ago
hannah 1191e3068f more ltl scheduler tests 3 years ago
hannah bdb2aa8de9 fixed scheduler output 3 years ago
hannah d7b696a753 restructured the ltl-scheduler 3 years ago
hannah dd8d410748 updated scheduler-print and tests 3 years ago
hannah 93c2e92c2a updated LTL-scheduler 4 years ago
hannah 0983f2f564 print memory updates 4 years ago
hannah 49e346d52b new Test 4 years ago
hannah 991cf35f2f print memoryStructure 4 years ago