Sebastian Junges
|
668753696a
|
more building options
|
7 years ago |
|
Sebastian Junges
|
5f4bcfa61c
|
switches for debug output
|
7 years ago |
|
Sebastian Junges
|
e7e474bebc
|
support for JANI
|
7 years ago |
|
Sebastian Junges
|
8db0759f58
|
optimality type for formulae
|
7 years ago |
sjunges
|
10eccdced3
|
builder options wrapped
|
7 years ago |
Matthias Volk
|
28684a078e
|
Build full model if no formula is given
|
8 years ago |
|
Matthias Volk
|
b6061cc620
|
Updated bindings to new api
|
8 years ago |
|
Matthias Volk
|
c7b3fae4d0
|
Binding for exporting into DRN format
|
8 years ago |
|
Matthias Volk
|
db86de9443
|
Bindings for importing DRN files
|
8 years ago |
|
Matthias Volk
|
505594dbba
|
Small comment
|
8 years ago |
|
Sebastian Junges
|
0c67ef833d
|
comments
|
8 years ago |
|
Sebastian Junges
|
3140711d36
|
build symbolic models now is named accordingly
|
8 years ago |
|
Sebastian Junges
|
b649a5c96b
|
build_model now takes a list of properties, unified the interface around building models
|
8 years ago |
|
Sebastian Junges
|
8e7a71148e
|
property is now added, boost::none is used to avoid confusion in parse_property definitions
|
8 years ago |
|
Sebastian Junges
|
299538b4e4
|
fixed mdp model instantiator, and added jani properties towards compatibility with current storm version
|
8 years ago |
|
Sebastian Junges
|
a3663bfa40
|
fixed signature due to changed signature in storm / storm::buildSparseModel
|
8 years ago |
Tom Janson
|
fa58cf93c0
|
hide set_up() (now _set_up()), since it's implicitly called
|
8 years ago |
|
Matthias Volk
|
ad65f009ad
|
Build from prism program has default formulas = []
|
8 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
8 years ago |
