158 Commits (56b50cea5609a39aaa161ad3ba90a3792ba01956)

Author SHA1 Message Date
Sebastian Junges 69cdae39a3 nr available actions 5 years ago
Sebastian Junges 5d41f02e16 state valuations.get_state() by reference, and simple valuations __str__ now only has optional arguments 5 years ago
Sebastian Junges c3959267c2 model.is_sink_state(state) 5 years ago
Philipp Schröer e30b7da2e9 StateGenerator: add simulate function 6 years ago
Sebastian Junges 81703b7851 flags for: a model is discrete_time, a model is nondeterministic 5 years ago
Philipp Schröer 45c6415eaa StateGenerator: expose choice origins 6 years ago
Tim Quatmann 3531da5424 Jani: Added new fields of InformationObject. 5 years ago
Tim Quatmann 86b7c033f0 Adapted jani bindings to changes in Storm 5 years ago
Sebastian Junges d8c4bca6a7 added jani collector bindings 6 years ago
Matthias Volk 5a61c88b6d Tests for scheduler application and MA->CTMC translation 6 years ago
Matthias Volk 9e31a5b83a Fixed __str__ of models 6 years ago
Sebastian Junges 7ae4d0806e expression conjucntion and disjunction 6 years ago
Sebastian Junges 300902a5cd support for getting results for a particular state with symbolic model checking 6 years ago
Sebastian Junges 1ff8ba5fe5 Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc. 6 years ago
Sebastian Junges fbff51a096 check whether the model is sparse or symbolic represented 6 years ago
Matthias Volk d96249096e Adaptions to changes in Storm 6 years ago
Philipp Schröer c1f2c83e1f StateGenerator 6 years ago
Sebastian Junges 76870b61be building models with valuations 6 years ago
Kevin Batz c7e9ff14b9 binding for evaluate_as_rational (expressions) 6 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 2908ac1b70 Get all parameters from sparse or symbolic model 7 years ago
Sebastian Junges e35f390414 copy sparse models 7 years ago
Sebastian Junges 9317d54083 extended support for mdps 7 years ago
Sebastian Junges 2e1f60a3c0 support for submodel construction 7 years ago
Sebastian Junges cec2861a5d several extensions and fixes for jani data structures 7 years ago
Sebastian Junges 65147aec12 expressions: operators changed to capital (breaks backward compatibility) 7 years ago
Sebastian Junges c73a5b77b3 explicit expression copies 7 years ago
Sebastian Junges 8e19314044 some debugging facilities for jani model 7 years ago
Sebastian Junges 6a79cfdfa9 several further jani code wrapped, including a fix for actually returning automaton variables by reference 7 years ago
sjunges 350f5a09e1 several extensions to jani datastructures 7 years ago
Sebastian Junges fdf8d8b86b several functions to build automata 7 years ago
Sebastian Junges 3648aa6f76 model to dot string 7 years ago
Sebastian Junges 9970aa391f toposort bindings 7 years ago
Sebastian Junges b2b647203b add pomdp support to stormpy 7 years ago
Matthias Volk 0ef93e57b3 Adapted Jani bindings according to changes in Storm 7 years ago
Matthias Volk 8c8e46b8a3 Added elimination of reward accumulations in Jani 7 years ago
Sebastian Junges 4b48c4d75b get manager for an expression 7 years ago
Sebastian Junges acb1004c04 choice origins 7 years ago
Sebastian Junges eb3c7e8849 Get Choice Labeling 7 years ago
Matthias Volk 92b1ed72bc Adaptions to changes in Storm 7 years ago
sjunges 70a54e26c9 updated based on changes in storm 7 years ago
Sebastian Junges b649847363 extended access to prism/jani/expressions/formulae 7 years ago
Matthias Volk 21ecfacc3b Bindings for symbolic models using Sylvan 7 years ago
Matthias Volk 0072a3fc98 Refactoring for sparse models 7 years ago
Matthias Volk d9b020b1bc Refactored sparse model bindings 7 years ago
Sebastian Junges 8de8570d11 - more expression handling 7 years ago
Sebastian Junges e7e474bebc support for JANI 7 years ago
Sebastian Junges 3332c66b2c contains variable 7 years ago
Sebastian Junges a7191e24ba support for queries on schedulers 7 years ago