Thomas Knoll
|
f2695b54d8
|
added dtcontrol dependency
export file handling
|
1 year ago |
Thomas Knoll
|
024a022bc5
|
added shields module files
|
1 year ago |
Matthias Volk
|
f8942adceb
|
Increased required Storm version
|
4 years ago |
Matthias Volk
|
baf9f311db
|
Travis: install numpy for tests
|
4 years ago |
Matthias Volk
|
de64e42dfc
|
Update pytest and sphinx generation for new Jupyter notebooks
|
4 years ago |
Matthias Volk
|
760c6e9f56
|
Require Storm version 1.6.2
|
4 years ago |
Matthias Volk
|
2f8781f6e2
|
Set numpy as optional dependency
|
4 years ago |
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
|
5 years ago |
Matthias Volk
|
320fe5eb5d
|
Updated required Storm version
|
5 years ago |
Matthias Volk
|
d060658bee
|
Adaption to changes in storm-dft
|
5 years ago |
Sebastian Junges
|
20106e34bc
|
bindings for POMDP analysis prepared
|
5 years ago |
Matthias Volk
|
27fbfa6e52
|
Increased required Storm version
|
5 years ago |
Matthias Volk
|
f1ec4763c8
|
Require Storm version 1.4.1
|
5 years ago |
Matthias Volk
|
bb8dbb3a2c
|
Bump required Storm version
|
5 years ago |
Matthias Volk
|
583d00012e
|
Fixed loading of build config
|
5 years ago |
Matthias Volk
|
fdf566876e
|
Increment required Storm version
|
6 years ago |
Matthias Volk
|
57f4dfc344
|
Require newest pycarl version
|
6 years ago |
Matthias Volk
|
abe5c8d69e
|
Require Storm version >= 1.3.0
|
6 years ago |
sjunges
|
d3b303872c
|
support for chaning the build_temp folder
|
6 years ago |
sjunges
|
0e7a194f5b
|
support for chaning the build_temp folder
|
6 years ago |
Matthias Volk
|
9b1c64860a
|
Increase required storm version
|
7 years ago |
Matthias Volk
|
3cced14e29
|
Typo
|
7 years ago |
Matthias Volk
|
aad9747572
|
Fix for storm-dir
|
7 years ago |
Matthias Volk
|
4c40ab6ea3
|
Use pytest-runner
|
7 years ago |
Matthias Volk
|
5db3c69152
|
Updated setup.py
|
7 years ago |
Matthias Volk
|
0c62edfb0d
|
Added missing package in setup.py
|
7 years ago |
Matthias Volk
|
19db78e038
|
Fixed typo
|
7 years ago |
Matthias Volk
|
d0534cd066
|
Minor update in project description
|
7 years ago |
Matthias Volk
|
a83e220621
|
Updated package information
|
7 years ago |
Matthias Volk
|
95da370b4a
|
Improve distribution
|
7 years ago |
Matthias Volk
|
1ac1066325
|
Increased required Storm version
|
7 years ago |
Matthias Volk
|
979bc4646c
|
Increased version numbers of dependencies
|
7 years ago |
Matthias Volk
|
feadda0d86
|
Extended setup.py script similar to pycarl one
|
7 years ago |
Sebastian Junges
|
1426510b57
|
We depend on the latest storm version and pycarl version (delayed update)
|
7 years ago |
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
7 years ago |
Matthias Volk
|
3fda6ba227
|
Get stormpy version similar to pycarl
|
7 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
|
8 years ago |
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 |