Sebastian Junges
|
fa52b1b7eb
|
alias stormpy types for rationals and rational functions
|
8 years ago |
|
Sebastian Junges
|
601be9876c
|
Check for storm version.
|
8 years ago |
|
Sebastian Junges
|
f9c008c965
|
more stable import of information from storm via cmake, more flags
|
8 years ago |
Matthias Volk
|
790c62a48a
|
Check if DFT support was built
|
8 years ago |
|
Matthias Volk
|
3df8f71c0a
|
Use given storm-dir for checking if dft is available
|
8 years ago |
Tom Janson
|
9fdd155e05
|
add pycarl dependencey to setup.py
|
8 years ago |
|
Matthias Volk
|
e1d15a9d96
|
Only build stormpy.dft when storm-dft library was found
|
8 years ago |
|
Tom Janson
|
64701f79d0
|
more cosmetics
|
8 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
8 years ago |
|
Matthias Volk
|
64c663a809
|
Started with Python bindings for storm-dft
|
8 years ago |
|
Sebastian Junges
|
88451f656b
|
fix overriding by setup.py such that install now works again
|
8 years ago |
|
Matthias Volk
|
d0a0a6f2cc
|
Run tests from setup.py
|
8 years ago |
|
Matthias Volk
|
f0368b6aa2
|
Fixed problem with unknown storm_dir in setup.py
|
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
|
4f3c51fc4f
|
add empty module
|
8 years ago |
|
Matthias Volk
|
86ca327316
|
Pytest is required
|
8 years ago |
|
Matthias Volk
|
53066d0e5a
|
= missing for custom argument in setup.py
|
8 years ago |
|
Sebastian Junges
|
7be90d75e6
|
prevent usage of python2
|
8 years ago |
|
Sebastian Junges
|
e571266b8b
|
fixed destination for extension modules
|
8 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
8 years ago |
