Sebastian Junges
|
6e55f64a14
|
Add constructor for BooleanLiteralFormula
|
7 years ago |
Matthias Volk
|
70e1985ad0
|
Raise StormError if symbolic description has undefined constants
|
7 years ago |
|
Matthias Volk
|
1197155d8d
|
Binding for undefined_constants_are_graph_preserving
|
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
|
2c81318030
|
Bindings for storm versions
|
7 years ago |
|
Matthias Volk
|
66da4e5463
|
Made expression module part of storage module
|
7 years ago |
|
Matthias Volk
|
540a3f4e0c
|
Refactored constraint collector
|
7 years ago |
|
Matthias Volk
|
e27a6f5265
|
Added bindings for RegionResultHypthesis
|
7 years ago |
|
Matthias Volk
|
4c64f2a0fe
|
Use PYBIND11_MODULE instead of PYBIND11_PLUGIN
|
8 years ago |
|
Matthias Volk
|
21e9bbf34a
|
Python bindings for storm-pars
|
8 years ago |
|
Matthias Volk
|
480c268679
|
Bindings for graph constraints
|
8 years ago |
|
Matthias Volk
|
b6061cc620
|
Updated bindings to new api
|
8 years ago |
|
Matthias Volk
|
c780ce6a0e
|
Updated labeling bindings to new data structures
|
8 years ago |
|
Matthias Volk
|
c7b3fae4d0
|
Binding for exporting into DRN format
|
8 years ago |
|
Sebastian Junges
|
d1b797a126
|
fixes after updated pycarl and storm
|
8 years ago |
|
Matthias Volk
|
bab9d366d4
|
Fixed PLA bindings after updates
|
8 years ago |
|
Sebastian Junges
|
49101d906b
|
Jani Model Bindings
|
8 years ago |
|
Matthias Volk
|
2e45a11873
|
Gather derivatives for PLA
|
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 |
|
Matthias Volk
|
1aee92553e
|
Make all arguments available for analyzeRegion
|
8 years ago |
|
Tom Janson
|
c70b5bf7e6
|
add missing namespace alias in model.cpp
|
8 years ago |
|
Matthias Volk
|
70ddde905f
|
Renaming to PLAChecker
|
8 years ago |
|
Matthias Volk
|
fd1c9a586e
|
Add PLA support
|
8 years ago |
|
Matthias Volk
|
5fa6cf2fc7
|
Compatibility with refactor_pla branch
|
8 years ago |
|
Matthias Volk
|
3c7a4b49a5
|
PmcResult is CheckResult + constraints
|
8 years ago |
|
Matthias Volk
|
c896e6a3ee
|
Fixed usage of storm namespace
|
8 years ago |
|
Tom Janson
|
19a13e8e1f
|
SparseMatrix: add hasTrivialRowGrouping accessor
|
8 years ago |
|
Tom Janson
|
2b9c4b61e7
|
fix version info binding
|
8 years ago |
|
Tom Janson
|
f91ba50800
|
use type aliases in model.cpp
|
8 years ago |
|
Tom Janson
|
0be192a0ae
|
use type alias to improve readability of matrix.cpp
|
8 years ago |
|
Tom Janson
|
dbfd243e50
|
add container API (index access w []) to BitVector
|
8 years ago |
|
Tom Janson
|
8d93227c72
|
fix & extract matrix row __str__
|
8 years ago |
|
Tom Janson
|
a97de7a078
|
add Matrix slicing
|
8 years ago |
|
Tom Janson
|
8c92b248db
|
add various __str__ fcts
|
8 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
8 years ago |
|
Matthias Volk
|
20b1b01139
|
Bisimulation takes properties
|
8 years ago |
|
Matthias Volk
|
9618b5ca31
|
Length for states and actions
|
8 years ago |
|
Matthias Volk
|
ed2875eb7d
|
Changed state and action for models
|
8 years ago |
|
Matthias Volk
|
f646a70186
|
Added symred support
|
8 years ago |
|
Matthias Volk
|
c017949d0c
|
Use matrix instead of model for iterators
|
8 years ago |
|
Matthias Volk
|
26d2b90f44
|
Bindings for state labeling
|
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 |
|
Matthias Volk
|
505594dbba
|
Small comment
|
8 years ago |
|
Sebastian Junges
|
116245ecbb
|
property constructor from formula
|
8 years ago |
|
Sebastian Junges
|
48c9f58722
|
subformula for unary formulae
|
8 years ago |
|
Sebastian Junges
|
0c67ef833d
|
comments
|
8 years ago |
