Matthias Volk
|
72de6872ea
|
Config flag whether xerces-c is available in Storm
|
5 years ago |
|
Matthias Volk
|
d63c5dcece
|
Stormpy is incompatible with latest stable Storm version again
|
5 years ago |
|
Matthias Volk
|
45d8d978f4
|
Stormpy version 1.6.0
|
5 years ago |
|
Matthias Volk
|
47fbb98ed5
|
Added structure for GSPN module
|
6 years ago |
|
Matthias Volk
|
320fe5eb5d
|
Updated required Storm version
|
6 years ago |
|
Matthias Volk
|
d060658bee
|
Adaption to changes in storm-dft
|
6 years ago |
Sebastian Junges
|
20106e34bc
|
bindings for POMDP analysis prepared
|
6 years ago |
|
Matthias Volk
|
27fbfa6e52
|
Increased required Storm version
|
6 years ago |
|
Matthias Volk
|
f1ec4763c8
|
Require Storm version 1.4.1
|
6 years ago |
|
Matthias Volk
|
bb8dbb3a2c
|
Bump required Storm version
|
6 years ago |
|
Matthias Volk
|
583d00012e
|
Fixed loading of build config
|
6 years ago |
|
Matthias Volk
|
fdf566876e
|
Increment required Storm version
|
7 years ago |
|
Matthias Volk
|
57f4dfc344
|
Require newest pycarl version
|
7 years ago |
|
Matthias Volk
|
abe5c8d69e
|
Require Storm version >= 1.3.0
|
7 years ago |
|
sjunges
|
d3b303872c
|
support for chaning the build_temp folder
|
7 years ago |
|
sjunges
|
0e7a194f5b
|
support for chaning the build_temp folder
|
7 years ago |
|
Matthias Volk
|
9b1c64860a
|
Increase required storm version
|
7 years ago |
|
Matthias Volk
|
3cced14e29
|
Typo
|
8 years ago |
|
Matthias Volk
|
aad9747572
|
Fix for storm-dir
|
8 years ago |
|
Matthias Volk
|
4c40ab6ea3
|
Use pytest-runner
|
8 years ago |
|
Matthias Volk
|
5db3c69152
|
Updated setup.py
|
8 years ago |
|
Matthias Volk
|
0c62edfb0d
|
Added missing package in setup.py
|
8 years ago |
|
Matthias Volk
|
19db78e038
|
Fixed typo
|
8 years ago |
|
Matthias Volk
|
d0534cd066
|
Minor update in project description
|
8 years ago |
|
Matthias Volk
|
a83e220621
|
Updated package information
|
8 years ago |
|
Matthias Volk
|
95da370b4a
|
Improve distribution
|
8 years ago |
|
Matthias Volk
|
1ac1066325
|
Increased required Storm version
|
8 years ago |
|
Matthias Volk
|
979bc4646c
|
Increased version numbers of dependencies
|
8 years ago |
|
Matthias Volk
|
feadda0d86
|
Extended setup.py script similar to pycarl one
|
8 years ago |
Sebastian Junges
|
1426510b57
|
We depend on the latest storm version and pycarl version (delayed update)
|
8 years ago |
|
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
8 years ago |
|
Matthias Volk
|
3fda6ba227
|
Get stormpy version similar to pycarl
|
8 years ago |
|
Sebastian Junges
|
aed4dffd13
|
make sure that examples are run when running tests
|
8 years ago |
|
Matthias Volk
|
66da4e5463
|
Made expression module part of storage module
|
8 years ago |
|
Matthias Volk
|
21e9bbf34a
|
Python bindings for storm-pars
|
8 years ago |
|
Matthias Volk
|
a175c16c09
|
Create missing dir in setup.py
|
8 years ago |
|
Matthias Volk
|
8f252c20d4
|
Added setup.py flags --jobs and --debug
|
9 years ago |
|
Sebastian Junges
|
fa52b1b7eb
|
alias stormpy types for rationals and rational functions
|
9 years ago |
|
Sebastian Junges
|
601be9876c
|
Check for storm version.
|
9 years ago |
|
Sebastian Junges
|
f9c008c965
|
more stable import of information from storm via cmake, more flags
|
9 years ago |
|
Matthias Volk
|
790c62a48a
|
Check if DFT support was built
|
9 years ago |
|
Matthias Volk
|
3df8f71c0a
|
Use given storm-dir for checking if dft is available
|
9 years ago |
Tom Janson
|
9fdd155e05
|
add pycarl dependencey to setup.py
|
9 years ago |
|
Matthias Volk
|
e1d15a9d96
|
Only build stormpy.dft when storm-dft library was found
|
9 years ago |
|
Tom Janson
|
64701f79d0
|
more cosmetics
|
9 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
9 years ago |
|
Matthias Volk
|
64c663a809
|
Started with Python bindings for storm-dft
|
9 years ago |
|
Sebastian Junges
|
88451f656b
|
fix overriding by setup.py such that install now works again
|
9 years ago |
|
Matthias Volk
|
d0a0a6f2cc
|
Run tests from setup.py
|
9 years ago |
|
Matthias Volk
|
f0368b6aa2
|
Fixed problem with unknown storm_dir in setup.py
|
9 years ago |
