Sebastian Junges
|
01a529b46f
|
cleaned the common.h
|
8 years ago |
|
Sebastian Junges
|
32eae51b16
|
first working test for model instantiator
|
8 years ago |
|
Sebastian Junges
|
7133a4e79e
|
some support for getting parameters
|
8 years ago |
|
Sebastian Junges
|
3396141e13
|
updated installation docu
|
8 years ago |
Tom Janson
|
e75fd74c32
|
ksp: cosmetics
|
8 years ago |
|
Tom Janson
|
5707b5908a
|
ksp: fix Model declaration
|
8 years ago |
|
Sebastian Junges
|
4ad1358a2a
|
added first version of model instantiator
|
8 years ago |
|
Sebastian Junges
|
a3663bfa40
|
fixed signature due to changed signature in storm / storm::buildSparseModel
|
8 years ago |
Matthias Volk
|
724de252e4
|
1st version of computing prob01 states
|
8 years ago |
|
Matthias Volk
|
008a780a9d
|
Added test cases for BitVector
|
8 years ago |
|
Sebastian Junges
|
88451f656b
|
fix overriding by setup.py such that install now works again
|
8 years ago |
|
Tom Janson
|
7304a1cb1b
|
rm old unused src/CMakeLists
|
8 years ago |
|
Matthias Volk
|
bfea1cc06a
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
8 years ago |
|
Matthias Volk
|
d0a0a6f2cc
|
Run tests from setup.py
|
8 years ago |
|
Tom Janson
|
dccfbe611e
|
specify lib out dir in CMakeLists (in addition to setup.py override)
|
8 years ago |
|
Matthias Volk
|
f0368b6aa2
|
Fixed problem with unknown storm_dir in setup.py
|
8 years ago |
|
Sebastian Junges
|
9c8c7d0ed0
|
added missing file
|
8 years ago |
|
Sebastian Junges
|
417f9bc2be
|
disable signature doc
|
8 years ago |
|
Tom Janson
|
ad3ce95d10
|
setup.py: use (virtual) CPU count as make -j arg
|
8 years ago |
|
Tom Janson
|
b70893c693
|
style changes in setup.py
|
8 years ago |
|
Tom Janson
|
f6d68f4992
|
refactor stormpy module declaration in CMakeLists
|
8 years ago |
|
Tom Janson
|
3db62f4638
|
add k-shortest paths binding (ShortestPathsGenerator)
Merge branch 'ksp_generator'
|
8 years ago |
|
Tom Janson
|
09b2bfcf67
|
add ShortestPathsGenerator method binding (and fancy test fixture)
|
8 years ago |
|
Tom Janson
|
5b782b5ca7
|
add ShortestPathsGenerator matrix/vector ctor bindings
|
8 years ago |
|
Tom Janson
|
1dd14e6e80
|
simplify KSP test fixture names
|
8 years ago |
|
Tom Janson
|
b85f6ae1da
|
fix KSP test model fixture scope
|
8 years ago |
|
Tom Janson
|
6f347ee354
|
add ShortestPathsGenerator binding (ctors, TODO: rest)
|
8 years ago |
|
Tom Janson
|
d955bcb1c2
|
add BitVector binding
|
8 years ago |
|
Tom Janson
|
e1472a258d
|
use pybind11::literals namespace
|
8 years ago |
|
Tom Janson
|
77dff27866
|
Path (from storm::utility::ksp) pybind proof of concept
this stuff is not fun.
|
8 years ago |
|
Tom Janson
|
4f3c51fc4f
|
add empty module
|
8 years ago |
|
Tom Janson
|
fa58cf93c0
|
hide set_up() (now _set_up()), since it's implicitly called
|
8 years ago |
sjunges
|
2ff400683a
|
updated the docu
|
8 years ago |
|
sjunges
|
461951c52e
|
test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files
|
8 years ago |
|
Sebastian Junges
|
4bc07c7cd2
|
first version set in code
|
8 years ago |
|
Sebastian Junges
|
4327a876a3
|
first version of docu
|
8 years ago |
|
Matthias Volk
|
86ca327316
|
Pytest is required
|
8 years ago |
|
Matthias Volk
|
ba028a8e44
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
8 years ago |
|
Matthias Volk
|
ad65f009ad
|
Build from prism program has default formulas = []
|
8 years ago |
|
Tom Janson
|
2c57642ca0
|
use math.isclose for float comparison asserts
|
8 years ago |
|
Matthias Volk
|
c9da6fed35
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy
|
8 years ago |
|
Matthias Volk
|
2163d0b3b1
|
Used new pybind way of declaring parent classes
|
8 years ago |
|
Sebastian Junges
|
05cf1071b8
|
resolved pybind issue 550
|
8 years ago |
|
Matthias Volk
|
53066d0e5a
|
= missing for custom argument in setup.py
|
8 years ago |
|
Sebastian Junges
|
2bd01d022f
|
examples added
|
8 years ago |
|
Sebastian Junges
|
7be90d75e6
|
prevent usage of python2
|
8 years ago |
|
Sebastian Junges
|
be13dc3e6d
|
gitignore
|
8 years ago |
|
Sebastian Junges
|
e571266b8b
|
fixed destination for extension modules
|
8 years ago |
|
Sebastian Junges
|
35f68044b4
|
initial readme
|
8 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
8 years ago |
