7232 Commits (fedac853df973e8cd277837724faf6c334c4382a)
 

Author SHA1 Message Date
Matthias Volk 6787d01e29 Continue refactoring 6 years ago
Matthias Volk ff22a973de Refactoring DFT elements 6 years ago
Matthias Volk 1d7c5caaf2 Fixed bitshift for DFT isomorphism 6 years ago
Matthias Volk 9dbb66a9bd Larger refactoring for DFT BEs. Split into BEExponential and BEConst 6 years ago
Matthias Volk d3479071ac Set sysroot for cudd to fix issue with moved header files in macOS Mojave 6 years ago
Matthias Volk 36601c8187 Added virtual destructors in cpptempl 6 years ago
Tim Quatmann 5869a1f5fd Simplified StronglyConnectedComponentDecomposition. 6 years ago
Matthias Volk 8cbfd720f8 Set sysroot for cudd to fix issue with moved header files in macOS Mojave 6 years ago
Matthias Volk 22cbc9446f Added virtual destructors in cpptempl 6 years ago
Matthias Volk fdf89e71a5 Started on support for constant failed/failsafe BEs 6 years ago
Matthias Volk 87180e1000 Correct initialization of priority queue 6 years ago
Matthias Volk f2e9d20a8d Set correct order for priorities according to heuristic 6 years ago
Matthias Volk bd3e062988 Added default case for switch 6 years ago
Matthias Volk 01461bbf57 Throw exception instead of assertion 6 years ago
Matthias Volk 2c1855f69a Removed unnecessary members 6 years ago
Matthias Volk 23233afe0b Added test cases for DFT approximation 6 years ago
Matthias Volk a410b6d7bc Heuristic is argument for functions in approximation algorithm 6 years ago
Matthias Volk 7b4a51effe Removed approximation heuristic NONE 6 years ago
Matthias Volk 5d80c356e2 Some fixes for approximation 6 years ago
Matthias Volk 42a79dfe88 Fixed crucial bug marking all states as 'to expand'. 6 years ago
Matthias Volk 970430a6fb Make exploration heuristic choosable 6 years ago
Matthias Volk 3dd0bffef9 Refactored BucketPriorityQueue 6 years ago
Matthias Volk bb5d8b478a Refactored DftExplorationHeuristic 6 years ago
Matthias Volk b4bd898f1b Fixed arguments for exploration heuristic settings 6 years ago
Matthias Volk c0c242a191 Fixed compiler error under new Xcode 10.2 6 years ago
TimQu c37e2bfe70 Added INFO output when game solver is invoked. 6 years ago
TimQu dbc465b9de SCCDecomposition: Fixed topological sort of SCCs connected via '0'-valued transitions 6 years ago
TimQu 9dcbd69c09 CMake: Added a comment why we link statically against mathsat on macOS. 6 years ago
Tim Quatmann a2190c04b0 Added new versions to FindGurobi.cmake 6 years ago
Tim Quatmann 1d52d577cb Fixed linking with Mathsat on macOS 6 years ago
Tim Quatmann 90543ad499 Silenced a warning when building storm-pgcl 6 years ago
Tim Quatmann 0920390430 Fixed permissive scheduler tests (GitHub issue #38). 6 years ago
Matthias Volk b9c38fe11a Fixed includes 6 years ago
Tim Quatmann 5d57746db2 If an option is unknown, Storm now prints a hint to similar option names. 6 years ago
Matthias Volk 19824976f7 Added helper script for downloading the QVBS 6 years ago
Tim Quatmann 01800f1590 Added string utility functions to find similar strings. 6 years ago
Tim Quatmann 80bfa6b56e Allow to quickly check a benchmark from the Quantitative Verification Benchmark Set. 6 years ago
Tim Quatmann 27c2a8ba95 Added string utility functions to find similar strings. 6 years ago
Tim Quatmann 5de1697edc Reading QVBS options from settings. 6 years ago
Tim Quatmann 6b32bd1dc3 cmake: Added option to specify a path to the qvbs benchmarks. 6 years ago
Tim Quatmann 6faf074fc5 Made sure that model::getAllParameters also returns the parameters occurring at rates. 6 years ago
Matthias Volk 12709f1625 Added parentheses to silence clang warning 6 years ago
Alexander Bork be86014007 Added test for hecs-DFT 6 years ago
Tim Quatmann 98ce81e86a Jani: Fixed an issue where initial expressions for unbounded variables have not been substituted correctly. 6 years ago
Tim Quatmann bc32853c28 Jani: Fixed an issue where initial expressions for unbounded variables have not been substituted correctly. 6 years ago
Tim Quatmann 40f4141b56 Jani: Allowing bounded types for constants as pointed out in GitHub issue #37 6 years ago
Tim Quatmann c6fd015e6c Picking a default SmtSolver, even if no CoreSettings are available. 6 years ago
Tim Quatmann ee6942c563 Merge branch 'quantiles_refactor' 6 years ago
Tim Quatmann 84476b7000 Fixed getSmtSolver which previously did not respect the SmtSolver selection from the settings. 6 years ago
Tim Quatmann d24f61ded6 Added tests for quantiles. 6 years ago