591 Commits (ec2cf86e2003357dd32cb149681afc97ec232d1d)
 

Author SHA1 Message Date
Matthias Volk 5a61c88b6d Tests for scheduler application and MA->CTMC translation 5 years ago
Matthias Volk 9e31a5b83a Fixed __str__ of models 5 years ago
Sebastian Junges 7ae4d0806e expression conjucntion and disjunction 5 years ago
Matthias Volk 1e7a1e171f Updated CHANGELOG 5 years ago
Matthias Volk 232a5c8dc4 Fixed missing import 5 years ago
Sebastian Junges cc24dbcd88 latest release badge 5 years ago
Sebastian Junges 5ebb83b1ea new stormpy version 1.4.1 5 years ago
Sebastian Junges c2f86067d8 license GPLv3, as storm is also under that license 5 years ago
Sebastian Junges da97ba1590 a bit better examples 5 years ago
Sebastian Junges 74fa68bbcd updated changelog 5 years ago
Matthias Volk f1ec4763c8 Require Storm version 1.4.1 5 years ago
Matthias Volk 1bbf1f108e Adaption to changes in Storm 5 years ago
Sebastian Junges 300902a5cd support for getting results for a particular state with symbolic model checking 5 years ago
Sebastian Junges 1ff8ba5fe5 Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc. 5 years ago
Sebastian Junges d1c3be5dba slightly awkward example to change probabilities 5 years ago
Sebastian Junges 8589e9be9c Added missing file that illustrates some ways to explore parametric models 5 years ago
Sebastian Junges 8a4e964ed9 updated changelog to reflect latest changes 5 years ago
Sebastian Junges dff5e65b93 new information on using different model checking techniques 5 years ago
Sebastian Junges 64ec557309 stormpy.model_checking(...) now supports both sparse and dd based models. 5 years ago
Sebastian Junges fbff51a096 check whether the model is sparse or symbolic represented 5 years ago
Sebastian Junges 2f8c8c6be9 topological sort added to examples 5 years ago
Sebastian Junges 3f06963172 extended description of changing model checking environments 5 years ago
Sebastian Junges 52b88c3710 A new example showing that one can change the analysis method 5 years ago
Sebastian Junges feb279c7d1 Environment extended to select the model checking algorithm for Markov chains 5 years ago
Sebastian Junges 752522aa9f new example on parametric models 5 years ago
Sebastian Junges 1930a6d612 generic parse_properties for simpler code 5 years ago
Sebastian Junges c9bcbb3343 remove spurious file 5 years ago
Sebastian Junges 0a7f94f0b7 updated changelog 5 years ago
Matthias Volk bb8dbb3a2c Bump required Storm version 5 years ago
Matthias Volk 35fc0699ee Bindings for InstantiationModelchecker with RationalNumber 5 years ago
Matthias Volk d96249096e Adaptions to changes in Storm 5 years ago
Philipp Schröer c1f2c83e1f StateGenerator 5 years ago
Matthias Volk a526933814 Modified pybind support for C++17 to fix issues with Xcode 11 5 years ago
Sebastian Junges 76870b61be building models with valuations 5 years ago
Sebastian Junges 4f19598e49 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy 5 years ago
Matthias Volk c05c08baa3 Travis: fix directories 5 years ago
Matthias Volk 71e8e3f569 Travis: consistent naming of virtual environment 5 years ago
Sebastian Junges 61b68b521b added example file for parametric brp 5 years ago
Matthias Volk ca5d901052 Travis: allow multiple tasks 5 years ago
Matthias Volk 583d00012e Fixed loading of build config 5 years ago
Matthias Volk 59ab38c1ea Travis: deploy to Docker Hub 5 years ago
Matthias Volk 13ac8218b0 Travis: build carl-parser as dependency 5 years ago
Matthias Volk 3bf516f08e Changed constructor of ParameterRegion to take a valuation. 5 years ago
Matthias Volk 3606edfa96 Test for symbolic parametric bisimulation 5 years ago
Matthias Volk de7aaa3fff Set Storm settings 5 years ago
Matthias Volk e831ae36c5 Binding for preprocessing prism models 5 years ago
Kevin Batz c7e9ff14b9 binding for evaluate_as_rational (expressions) 5 years ago
Kevin Batz 92275c3960 tests for prism programs and expressions 6 years ago
Kevin Batz a762b28b63 additional bindings for expressions and prism programs 6 years ago
Matthias Volk 7641c433a9 Adaptions to changes in Storm 6 years ago