Sebastian Junges
|
58da4df1c3
|
support for exact arithmetic
|
5 years ago |
|
Sebastian Junges
|
38189e7004
|
first version of a model simulator
|
6 years ago |
Matthias Volk
|
d94317b17e
|
Enable function signatures in documentation by default
|
6 years ago |
Sebastian Junges
|
30f6b4395d
|
model checking routines take optional environment
|
7 years ago |
|
Matthias Volk
|
054df185c0
|
Transformation from symbolic model to sparse model
|
8 years ago |
|
Sebastian Junges
|
8db0759f58
|
optimality type for formulae
|
8 years ago |
|
sjunges
|
703034660f
|
high level counterexamples
|
8 years ago |
|
Matthias Volk
|
06ec360c86
|
Bindings for storm environments
|
8 years ago |
|
Matthias Volk
|
540a3f4e0c
|
Refactored constraint collector
|
8 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
|
c7b3fae4d0
|
Binding for exporting into DRN format
|
9 years ago |
|
Matthias Volk
|
fd1c9a586e
|
Add PLA support
|
9 years ago |
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
9 years ago |
|
Sebastian Junges
|
ed311bdd22
|
create signatures without c++ types
|
9 years ago |
|
Sebastian Junges
|
8e7a71148e
|
property is now added, boost::none is used to avoid confusion in parse_property definitions
|
9 years ago |
|
Matthias Volk
|
2cb060dd2a
|
Moved results in own class
|
9 years ago |
|
Sebastian Junges
|
417f9bc2be
|
disable signature doc
|
9 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
9 years ago |
