7561 Commits (afda2eb2a0b4ce383b6d0141e5cbe18baecd8073)
 

Author SHA1 Message Date
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
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
Tim Quatmann 004466b83f Fixed BitVector::full() for BitVectors with size 0 6 years ago
Tim Quatmann c33ac18a5a Quantiles: Fixed a precision related issue in new implementation. 6 years ago
Tim Quatmann 8ae9a6f5d6 quantiles: Further improved the implementation as in the paper 6 years ago
Tim Quatmann cde1c646d9 Started to implement the algorithm more close to the one mentioned in the paper (in particular to make things more clean and to allow more than 2 dimensions. 6 years ago
Alexander Bork 2ab7c34b4d Added tests for cycles and SEQ children 6 years ago
Matthias Volk aa107dc88d Merge branch 'master' into dft 6 years ago
Matthias Volk b4748064ac Warning about default dormancy factor of 1 as pointed out by Enno Ruijters 6 years ago
Matthias Volk 15bcb8afb6 Output line number for GalileoParser errors 6 years ago
Jip Spel 0cc82e840a clean up 6 years ago
Tim Quatmann a4e03ff941 Updated Changelog. We now have quantile queries. 6 years ago
Tim Quatmann 5b8ad6fbbd Merge branch 'quantiles' 6 years ago