8044 Commits (8c32705b996849c99eb27c40031464e0b08fe385)
 

Author SHA1 Message Date
Tim Quatmann 8c32705b99 Silenced deprecation warnings from newer versions of IntelTBB (since version 2020?). These warnings only referred to features we do not use and could be addressed by only including the relevant parts of inteltbb 5 years ago
Tim Quatmann 1187c0fca1 Added a CMAKE option for ThinLTO 5 years ago
Tim Quatmann 2b57211a98 cli: Making sure that the warning for unsupported model checking queries is only displayed in the main binary. 5 years ago
Tim Quatmann 58de346bd5 Revert "Fixed compilation with mathsat." 5 years ago
Sebastian Junges 01e3752d09 updated changelog 5 years ago
Sebastian Junges 22e20e93a9 permissive strategy test should also run without mathsat 5 years ago
Sebastian Junges 542f94babd report on gurobi library, extended libraries and prefer (empirically) newer versions over older versions 5 years ago
Tim Quatmann 27ac99806e Stopwatch: added restart() method 5 years ago
Tim Quatmann 824c28f332 Instantiation for POMDPs in Propositional model checkers. 5 years ago
Tim Quatmann 8b57b18201 Fixed compilation with mathsat. 5 years ago
Tim Quatmann cc66c9d758 Storm-conv: Added a comment explaining why this executable needs its own 'setUrgentOptions' 5 years ago
Tim Quatmann 82ad509405 storm-cli: Splitting the 'export' part from buildPreprocessExportModelWithValueTypeAndDdLib. This allows to build the model without exporting it. 5 years ago
Matthias Volk afbfd42b3a Storm version 1.5.1 5 years ago
Matthias Volk d605a3bf0a Use general zenodo id for complete project instead of specific release 5 years ago
Matthias Volk 57fe5106a5 Removed printing complete matrix 5 years ago
Tim Quatmann 81356d1dc8 Jani JSONExporter: Increased precision for output. 5 years ago
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