sjunges
|
4bfa6776ed
|
prob01min and prob01max now map on prob01 for dtmcs
|
9 years ago |
|
sjunges
|
ac9a233aaf
|
ModelInstantiator for MDP & DTMC
|
9 years ago |
Sebastian Junges
|
9272bffea4
|
extended test
|
9 years ago |
|
Sebastian Junges
|
116245ecbb
|
property constructor from formula
|
9 years ago |
|
Sebastian Junges
|
48c9f58722
|
subformula for unary formulae
|
9 years ago |
|
Sebastian Junges
|
0c67ef833d
|
comments
|
9 years ago |
|
Sebastian Junges
|
ed311bdd22
|
create signatures without c++ types
|
9 years ago |
|
Sebastian Junges
|
1d18652011
|
MdpInstantiator is now called PmdpInstantiator
|
9 years ago |
|
Sebastian Junges
|
afddae71eb
|
text about properties added
|
9 years ago |
|
Sebastian Junges
|
93a5346c70
|
Prob 01 states also on MDPs and parametric models
|
9 years ago |
|
sjunges
|
05eaaa4055
|
add header include in shortestPath for gcc support
|
9 years ago |
|
sjunges
|
2c09b0f436
|
gcc support: removed abstract methods in results.cpp from python bindings which werent that helpful
|
9 years ago |
|
Sebastian Junges
|
ecf5725961
|
updated gitignore
|
9 years ago |
|
Sebastian Junges
|
e7db19154d
|
tests updated
|
9 years ago |
|
Sebastian Junges
|
f06bd48dfb
|
model checking and bisim adapted to properties
|
9 years ago |
|
Sebastian Junges
|
3140711d36
|
build symbolic models now is named accordingly
|
9 years ago |
|
Sebastian Junges
|
b649a5c96b
|
build_model now takes a list of properties, unified the interface around building models
|
9 years ago |
|
Sebastian Junges
|
8e7a71148e
|
property is now added, boost::none is used to avoid confusion in parse_property definitions
|
9 years ago |
|
Sebastian Junges
|
b3c5764c32
|
support for boost;:optional
|
9 years ago |
|
Sebastian Junges
|
299538b4e4
|
fixed mdp model instantiator, and added jani properties towards compatibility with current storm version
|
9 years ago |
|
Sebastian Junges
|
3c1a2082e5
|
mdp instantiation
|
9 years ago |
Matthias Volk
|
95f83a7224
|
Binding for CheckResult
|
9 years ago |
|
Matthias Volk
|
93641ba97d
|
Marked some bindings private
|
9 years ago |
|
Matthias Volk
|
a493dd3c42
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
9 years ago |
|
Sebastian Junges
|
01a529b46f
|
cleaned the common.h
|
9 years ago |
|
Sebastian Junges
|
32eae51b16
|
first working test for model instantiator
|
9 years ago |
|
Sebastian Junges
|
7133a4e79e
|
some support for getting parameters
|
9 years ago |
|
Sebastian Junges
|
3396141e13
|
updated installation docu
|
9 years ago |
|
Matthias Volk
|
2cb060dd2a
|
Moved results in own class
|
9 years ago |
Tom Janson
|
e75fd74c32
|
ksp: cosmetics
|
9 years ago |
|
Tom Janson
|
5707b5908a
|
ksp: fix Model declaration
|
9 years ago |
|
Sebastian Junges
|
4ad1358a2a
|
added first version of model instantiator
|
9 years ago |
|
Sebastian Junges
|
a3663bfa40
|
fixed signature due to changed signature in storm / storm::buildSparseModel
|
9 years ago |
|
Matthias Volk
|
724de252e4
|
1st version of computing prob01 states
|
9 years ago |
|
Matthias Volk
|
008a780a9d
|
Added test cases for BitVector
|
9 years ago |
|
Sebastian Junges
|
88451f656b
|
fix overriding by setup.py such that install now works again
|
9 years ago |
|
Tom Janson
|
7304a1cb1b
|
rm old unused src/CMakeLists
|
9 years ago |
|
Matthias Volk
|
bfea1cc06a
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
9 years ago |
|
Matthias Volk
|
d0a0a6f2cc
|
Run tests from setup.py
|
9 years ago |
|
Tom Janson
|
dccfbe611e
|
specify lib out dir in CMakeLists (in addition to setup.py override)
|
9 years ago |
|
Matthias Volk
|
f0368b6aa2
|
Fixed problem with unknown storm_dir in setup.py
|
9 years ago |
|
Sebastian Junges
|
9c8c7d0ed0
|
added missing file
|
9 years ago |
|
Sebastian Junges
|
417f9bc2be
|
disable signature doc
|
9 years ago |
|
Tom Janson
|
ad3ce95d10
|
setup.py: use (virtual) CPU count as make -j arg
|
9 years ago |
|
Tom Janson
|
b70893c693
|
style changes in setup.py
|
9 years ago |
|
Tom Janson
|
f6d68f4992
|
refactor stormpy module declaration in CMakeLists
|
9 years ago |
|
Tom Janson
|
3db62f4638
|
add k-shortest paths binding (ShortestPathsGenerator)
Merge branch 'ksp_generator'
|
9 years ago |
|
Tom Janson
|
09b2bfcf67
|
add ShortestPathsGenerator method binding (and fancy test fixture)
|
9 years ago |
|
Tom Janson
|
5b782b5ca7
|
add ShortestPathsGenerator matrix/vector ctor bindings
|
9 years ago |
|
Tom Janson
|
1dd14e6e80
|
simplify KSP test fixture names
|
9 years ago |
