Matthias Volk
|
95da370b4a
|
Improve distribution
|
7 years ago |
|
Matthias Volk
|
da81f6cf1a
|
Raise ImportError when using python 2.x
|
7 years ago |
|
Matthias Volk
|
9b57e37ee4
|
Updated gitignore
|
7 years ago |
|
Matthias Volk
|
bb3b2a8f5e
|
Travis: use absolute path
|
7 years ago |
|
Matthias Volk
|
aa5c8fb6fe
|
Travis: minor change in travis script
|
7 years ago |
|
Matthias Volk
|
a1d7266567
|
Travis: change docker repo
|
7 years ago |
|
Matthias Volk
|
1ac1066325
|
Increased required Storm version
|
7 years ago |
|
Matthias Volk
|
d6056d71fa
|
Travis: try to fix allow_failures
|
7 years ago |
|
Matthias Volk
|
5ba71f81b5
|
Travis: test against stable version of Storm as well
|
7 years ago |
|
Matthias Volk
|
717fa454d2
|
Updated example drn file
|
7 years ago |
Sebastian Junges
|
a7191e24ba
|
support for queries on schedulers
|
7 years ago |
|
Sebastian Junges
|
11b2a219a7
|
support for extraction of schedulers
|
7 years ago |
|
Matthias Volk
|
9da3bc8053
|
Test case for MDP model checking
|
7 years ago |
|
Sebastian Junges
|
606305ca72
|
pla: get split estimates
|
7 years ago |
|
Matthias Volk
|
5e5247840a
|
Travis: small fix
|
7 years ago |
|
Matthias Volk
|
8d9494e1a4
|
Travis: set storm directory
|
7 years ago |
|
Matthias Volk
|
74f71c1ee7
|
Use travis docker images
|
7 years ago |
|
Sebastian Junges
|
b98ac4efa1
|
at for qualitative check results
|
7 years ago |
|
Matthias Volk
|
010e95e925
|
apt-get update in travis
|
7 years ago |
|
Sebastian Junges
|
8b81d0d1a0
|
state action rewards convenience function added
|
7 years ago |
sjunges
|
3b2036465e
|
towards support for more info from prism programs
|
7 years ago |
|
sjunges
|
777a24f29e
|
bindings for expression type
|
7 years ago |
|
Sebastian Junges
|
8db0759f58
|
optimality type for formulae
|
7 years ago |
|
Sebastian Junges
|
04f70bd706
|
Additional tests for PLA bindings
|
7 years ago |
|
Sebastian Junges
|
474b5a8cbc
|
fix for pla
|
7 years ago |
|
Sebastian Junges
|
75ac1a3e25
|
get state reward directly
|
7 years ago |
|
Sebastian Junges
|
d9ff33a9e0
|
extended pla bindings for latest additions in PLA and to build PLA checker directly
|
7 years ago |
|
Matthias Volk
|
0a8482d068
|
Computing model checking result only for inital states
|
7 years ago |
|
Sebastian Junges
|
b27b26f2b7
|
row group start and row group end for iteration over matrices
|
7 years ago |
|
Sebastian Junges
|
10eea677e9
|
Add support for integer cast from state objects
|
7 years ago |
|
Sebastian Junges
|
326c64a953
|
reward models from drn files
|
7 years ago |
|
Sebastian Junges
|
58dd78c791
|
Left and right subformulae of binary path formula
|
7 years ago |
|
Sebastian Junges
|
80b4be4467
|
cleaned the example a bit
|
7 years ago |
|
Sebastian Junges
|
e002b5938b
|
Model Building: First example for substitution of existing parametric models
|
7 years ago |
|
Matthias Volk
|
9b59663baa
|
Moved some parametric tests into tests/pars/ dir
|
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 |
|
Matthias Volk
|
e9ad0264a1
|
Updated changelog
|
7 years ago |
|
Matthias Volk
|
eb7bc95c02
|
Fixed typo in travis script
|
7 years ago |
|
Matthias Volk
|
0bf4c731ba
|
Use configured build type in Travis
|
7 years ago |
|
Matthias Volk
|
543f5d3529
|
Updated Changelog
|
7 years ago |
|
Matthias Volk
|
979bc4646c
|
Increased version numbers of dependencies
|
7 years ago |
|
Matthias Volk
|
1501f7313e
|
Added checklist for new release
|
7 years ago |
|
Sebastian Junges
|
de2c4ad8e5
|
reward model docu
|
7 years ago |
|
Matthias Volk
|
feadda0d86
|
Extended setup.py script similar to pycarl one
|
7 years ago |
|
Sebastian Junges
|
befecb4761
|
convenience functions for prob01 states
|
7 years ago |
|
Sebastian Junges
|
b012d0143c
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
7 years ago |
|
Matthias Volk
|
a7e623d29b
|
Updated bindings for PLA after environment change
|
7 years ago |
|
Matthias Volk
|
06ec360c86
|
Bindings for storm environments
|
7 years ago |
|
Sebastian Junges
|
d9fe8be10c
|
Add a comment about labels and initial states in parametric models, thanks Nils Jansen.
|
7 years ago |
