7012 Commits (36601c8187abc737b919af4cea8c602451bcb25d)
 

Author SHA1 Message Date
Matthias Volk 36601c8187 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
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
Tim Quatmann 1ae0200b51 Quantiles: fixed some bugs related to one or three dimensional quantile queries. 6 years ago
Tim Quatmann c40ecae2e6 Implemented quantiles for DTMCs. 6 years ago
Tim Quatmann aa3a1f5ff7 Quantiles: Improved performance by excluding already analyzed epochs from the created epochSequences 6 years ago
Tim Quatmann 971f4c8508 Quantiles: Fixed analysing epochs unnecessarily, fixed having multiple quantile formulas over the same variables. 6 years ago
Tim Quatmann c21ea2ce1f Quantiles: Bug fixes. 6 years ago
Tim Quatmann 8a72aee764 QuantileFormulas: ignore optimization direction (min/max) for quantile variables. 6 years ago
Tim Quatmann 38121c28cb quantiles: permute point entries if the order of quantile variable definitions is not the same as the order of occurrence on a cost bound. 6 years ago
TimQu e3fbb77362 JaniParser::parseFormula: Boolean connections of AtomicExpressionFormulas are now parsed as a single AtomicExpressionFormula (i.e. 'a>1 & b>2' becomes a single atomic proposition instead of having two propositions 'a>1' and 'b>2'). This reduces the number of labels that need to be considered and improves partial state space exploration for formulas such as 'P=? [F a>1 & b>2]'. 6 years ago
Tim Quatmann 746c68d039 Merge branch 'master' into quantiles_refactor 6 years ago