76 Commits (13ac8218b034caeb6f07c63437f27ca2c5629aa5)

Author SHA1 Message Date
Matthias Volk e831ae36c5 Binding for preprocessing prism models 5 years ago
Matthias Volk 0595ee1d64 Added documentation for MA scheduler extraction 6 years ago
Matthias Volk 333804b208 Transformation from CTMCs to DTMCs 6 years ago
Matthias Volk 7268fc1472 Set version in doc automatically 6 years ago
Sebastian Junges 7c8110f38d extra example file listed 6 years ago
Sebastian Junges bdff55242e setting stormpy version to 1.3.0 in preparation of release 6 years ago
Matthias Volk af5872d633 Fixed conversion to raw_formula for properties 6 years ago
Sebastian Junges 2e1f60a3c0 support for submodel construction 6 years ago
Sebastian Junges 30f6b4395d model checking routines take optional environment 6 years ago
Sebastian Junges 5aab3cbe3e support for properties and raw formulae in symbolic model creation 6 years ago
Sebastian Junges 233bf8b2ba some explanation for iterating over MDPs and POMDPs 6 years ago
Sebastian Junges 9970aa391f toposort bindings 6 years ago
Sebastian Junges b2b647203b add pomdp support to stormpy 6 years ago
Matthias Volk 8dfd0b4332 First part of DFT documentation 6 years ago
Matthias Volk a7cc7b3086 Extended bindings for DFT class 6 years ago
Matthias Volk d70f727c0b Updated BRP Jani file 7 years ago
Matthias Volk 054df185c0 Transformation from symbolic model to sparse model 7 years ago
Matthias Volk c30d5a1433 Symbolic bisimulation 7 years ago
Matthias Volk 62f3d3630e Bindings for dd and hybrid model checking 7 years ago
Matthias Volk f5a014ed5e Bindings for symbolic model building 7 years ago
Matthias Volk cfb6dfbf2f Better naming for sparse model building 7 years ago
Matthias Volk d9b020b1bc Refactored sparse model bindings 7 years ago
Matthias Volk 0b6dd8c0d8 Fix sphinx warning in comment 7 years ago
Matthias Volk da81f6cf1a Raise ImportError when using python 2.x 7 years ago
Matthias Volk 717fa454d2 Updated example drn file 7 years ago
Sebastian Junges 11b2a219a7 support for extraction of schedulers 7 years ago
Matthias Volk 0a8482d068 Computing model checking result only for inital states 7 years ago
Sebastian Junges 326c64a953 reward models from drn files 7 years ago
Matthias Volk bcab426bd5 Added missing cases for CTMC and MA in model building 7 years ago
Matthias Volk 6c729cabf7 New stormpy version 1.2.0 7 years ago
Sebastian Junges befecb4761 convenience functions for prob01 states 7 years ago
Sebastian Junges d581a95c65 examples and docu for building models 7 years ago
Sebastian Junges a568ea27dd Moved the model instantiator to parameters, as this is now part of stormpy.pars 7 years ago
Matthias Volk a7540171ba Bindings for simplification of parametric models 7 years ago
Sebastian Junges 54e6989ebc Update stormpy version 7 years ago
Sebastian Junges 06e397f9f9 support model checking from formulas (instead of just from properties) 7 years ago
Matthias Volk 14eedd6ca3 Skip tests if submodules are not supported 7 years ago
Matthias Volk d365b00de8 Raise StormError 7 years ago
Matthias Volk 70e1985ad0 Raise StormError if symbolic description has undefined constants 7 years ago
Matthias Volk d26202c402 Base class for storm exceptions 7 years ago
Matthias Volk 29cfa574b8 Bindings for instantiating constants in SymbolicModelDescriptions 7 years ago
Matthias Volk 6e126e5641 Bindings for JANI 7 years ago
Matthias Volk f6f28b4621 Make config from info available 8 years ago
Matthias Volk 8b2a11ad42 Added docs to methods in lib 8 years ago
Matthias Volk 3fda6ba227 Get stormpy version similar to pycarl 8 years ago
Sebastian Junges 201aaa115d make sure examples run through again 8 years ago
Matthias Volk 66da4e5463 Made expression module part of storage module 8 years ago
Matthias Volk 21e9bbf34a Python bindings for storm-pars 8 years ago
Matthias Volk b6061cc620 Updated bindings to new api 8 years ago
Sebastian Junges fa52b1b7eb alias stormpy types for rationals and rational functions 8 years ago