8540 Commits (8d9e2a92f03b713aee2a4b6b65737cc5c8c54856)
 

Author SHA1 Message Date
Tim Quatmann 9cc00a03a2 modernjson: Fixed compilation with GCC. 5 years ago
Tim Quatmann 1dccab9673 JaniParser: Added missing template instantiation and other fixes. 5 years ago
Tim Quatmann 0433469b9e Added missing template instantiation. 5 years ago
Tim Quatmann 7b32aa968e Fixed actually using the JaniParser with rational numbers. 5 years ago
Tim Quatmann 4fb92b200a Fix in parsing Numbers from JSON 5 years ago
Tim Quatmann 7cbddfeef6 Updated changelog 5 years ago
Tim Quatmann 6af6bc5472 Replaced remaining uses of modernjson::json with the new storm::json<..> 5 years ago
Tim Quatmann 328b9c6986 Gave the JaniParser a template argument, so that we can use it to parse with doubles or with RationalNumbers. 5 years ago
Tim Quatmann 632c9c2e1e Modified the modernjson library so that it can parse numbers as rationals. 5 years ago
Matthias Volk bb25d6cb10 Storm version 1.5.0 5 years ago
Matthias Volk 1593f39035 Updated CHANGELOG 5 years ago
Tim Quatmann c70b6baf81 Abort unif+ also in inner iterations. Store the best known solution after each completed step. 5 years ago
Tim Quatmann 80f28e196d Print current iteration count when aborting a solver. 5 years ago
Tim Quatmann 9fddf3858b Abort topological solvers if requested. 5 years ago
Tim Quatmann f584bfe0d4 Updated changelog. 5 years ago
Tim Quatmann 463766dbe0 Improved numerical stability of computation of transient probabilities in CTMCs. 5 years ago
Tim Quatmann b5a64ba7e3 CTMC Model checker: Consider relative precision for time-bounded queries in --sound mode 5 years ago
Tim Quatmann 71f22fef2f Added a CLI switch to perform exact model checking over finite precision floats 5 years ago
Matthias Volk d0b54fe6b5 Set number of printed digits in output 5 years ago
Matthias Volk de27fa82fe Changed result output iterator for DFTs 5 years ago
Tim Quatmann 70e2263783 MarkovAutomatonCslModelCheckerTest: Prevent this test from failing in cases where z3 is installed without optimization support. 5 years ago
Tim Quatmann 137f41abac FormulaInformation: Fixed detection of property type. 5 years ago
Tim Quatmann 1fd052aee4 InformationCollector: Use infinite precision to determine the state domain size. 5 years ago
Tim Quatmann 2b89da2f4b Updated decision tree used in portfolio engine. 5 years ago
Tim Quatmann 5dcebdef93 Fixed invocation of storm without a model. 5 years ago
Tim Quatmann 49e4bba7c1 Merge branch 'master' into qcomp2020 5 years ago
Tim Quatmann f4820628a5 Incorporated more features for the portfolio engine. 5 years ago
Tim Quatmann 3b53e1e583 Implemented retrieval of jani model information with a traverser. Also determine the size of the state domain. 5 years ago
Tim Quatmann d3ece2a2e5 Better simplification of prism commands. 5 years ago
Tim Quatmann 0e91887ebb Queried the termination flag in a few more places. 5 years ago
Tim Quatmann 4585f8f555 One more fix for AcyclicSolverHelper. 5 years ago
Tim Quatmann 7766a96783 Fixes for Acylic equation solvers. 5 years ago
Tim Quatmann bbc6f8b786 Fixed invalid memory access when applying BitVector::resize on BitVectors of length 0. 5 years ago
Tim Quatmann 99f2344da9 Use acyclic solver in various Markov automata methods. 5 years ago
Tim Quatmann c83721066c Use acyclic solver in reward bounded properties. 5 years ago
Tim Quatmann 53db0b1f22 Added AcyclicMinMaxLinearEquationSolver and AcyclicLinearEquationSolver which are optimized for many calls on an acyclic model. 5 years ago
Tim Quatmann 250a4b9b9a MdpModelChecheckerTest: added test cases for the different multiplication styles and multiplier types. 5 years ago
Tim Quatmann 31cbe14d3c Multiplier: Added a flag to specify whether gaussSeidel style multiplications should be performed forward or backwards. 5 years ago
Matthias Volk d88e7e9951 Explicit header files to include all defined environments 5 years ago
Sebastian Junges 63e0d772a4 do not use the 'goal' label for internal purposes, but rather __goal__. TODO: Consider if we can do without a fresh label 5 years ago
Sebastian Junges 5c7a6b791a fixed (merge?) mistake that yielded errors for expected rewards 5 years ago
Tim Quatmann 14f07a2d1a Unif+: Update kappa only based on the results at the initial state 5 years ago
Tim Quatmann dd958bcedd Changed default of the unifpluskappa 5 years ago
Tim Quatmann 4d55dfbf07 Fixed doing non-exact model checking in portfolio engine, even if the --exact switch was set. 5 years ago
Tim Quatmann c399c31c52 Added missing include 5 years ago
Matthias Volk c17a50904d Updated CHANGELOG 5 years ago
Matthias Volk 6f62e8d402 Support abort in model building 5 years ago
Matthias Volk 679327ee9d Merge branch 'qcomp2020' into signals 5 years ago
Matthias Volk e65e5587f0 Support for abort in Gmm++ by throwing exception 5 years ago
Matthias Volk 823ae23180 Use updateStatus in more cases 5 years ago