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
|
7 years ago |
|
Matthias Volk
|
8b2a11ad42
|
Added docs to methods in lib
|
7 years ago |
|
Matthias Volk
|
3fda6ba227
|
Get stormpy version similar to pycarl
|
7 years ago |
|
Sebastian Junges
|
201aaa115d
|
make sure examples run through again
|
7 years ago |
|
Matthias Volk
|
66da4e5463
|
Made expression module part of storage module
|
7 years ago |
|
Matthias Volk
|
979844a698
|
Gitignore for generated files
|
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 |
|
Matthias Volk
|
790c62a48a
|
Check if DFT support was built
|
8 years ago |
Tom Janson
|
86d5ddd8fd
|
unwrap threshold expressions (2nd Ed.)
simply in C++ this time (I dislike monkey wrenching the Python class in
__init__ -- things are confusing enough already)
|
8 years ago |
|
Tom Janson
|
3d56c32992
|
unwrap threshold expression
as __init__ monkey wrench (still checking whether there's a prettier way to do
this)
|
8 years ago |
|
Tom Janson
|
f14d8f3b7c
|
import pycarl.Variable for parametric stuff
|
8 years ago |
|
Matthias Volk
|
4e20a21fd0
|
Add possibility to build from prism without formula
|
8 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
8 years ago |
|
Matthias Volk
|
20b1b01139
|
Bisimulation takes properties
|
8 years ago |
|
Matthias Volk
|
ed2875eb7d
|
Changed state and action for models
|
8 years ago |
|
Matthias Volk
|
c017949d0c
|
Use matrix instead of model for iterators
|
8 years ago |
|
Matthias Volk
|
64c663a809
|
Started with Python bindings for storm-dft
|
8 years ago |
|
Matthias Volk
|
0b290d782f
|
ModelInstantiator for CTMC and MA as well
|
8 years ago |
|
Matthias Volk
|
db86de9443
|
Bindings for importing DRN files
|
8 years ago |
|
Sebastian Junges
|
8def8dd30b
|
extended getting started guide
|
8 years ago |
sjunges
|
4bfa6776ed
|
prob01min and prob01max now map on prob01 for dtmcs
|
8 years ago |
|
sjunges
|
ac9a233aaf
|
ModelInstantiator for MDP & DTMC
|
8 years ago |
|
Sebastian Junges
|
0c67ef833d
|
comments
|
8 years ago |
|
Sebastian Junges
|
93a5346c70
|
Prob 01 states also on MDPs and parametric models
|
8 years ago |
|
Sebastian Junges
|
f06bd48dfb
|
model checking and bisim adapted to properties
|
8 years ago |
|
Sebastian Junges
|
b649a5c96b
|
build_model now takes a list of properties, unified the interface around building models
|
8 years ago |
|
Matthias Volk
|
93641ba97d
|
Marked some bindings private
|
8 years ago |
|
Tom Janson
|
4f3c51fc4f
|
add empty module
|
8 years ago |
|
Tom Janson
|
fa58cf93c0
|
hide set_up() (now _set_up()), since it's implicitly called
|
8 years ago |
|
sjunges
|
461951c52e
|
test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files
|
8 years ago |
