166 Commits (12b934267e4acd3b053e18b4243246888a4c669b)
 

Author SHA1 Message Date
Matthias Volk 12b934267e Refactored documentation examples according to PEP 7 years ago
Matthias Volk 8b2a11ad42 Added docs to methods in lib 7 years ago
Matthias Volk 3fda6ba227 Get stormpy version similar to pycarl 7 years ago
Sebastian Junges 2459fdfab9 Link to travis with a build passing image. 7 years ago
Sebastian Junges 13d8d6f5ca run doctest on getting started 7 years ago
Sebastian Junges 9dfd1b3615 getting started can now be checked by doctest 7 years ago
Sebastian Junges aed4dffd13 make sure that examples are run when running tests 8 years ago
Sebastian Junges 201aaa115d make sure examples run through again 8 years ago
Matthias Volk 2b12983572 Updated Changelog 8 years ago
Matthias Volk 66da4e5463 Made expression module part of storage module 8 years ago
Matthias Volk e4c53a47c9 Changed README 8 years ago
Matthias Volk 540a3f4e0c Refactored constraint collector 8 years ago
Matthias Volk e27a6f5265 Added bindings for RegionResultHypthesis 8 years ago
Matthias Volk ed1a7723fd Fixed some links in documentation 8 years ago
Matthias Volk 02672f91bb Automatically generate gh-pages in travis 8 years ago
Matthias Volk 921e88f0da Remove mail address in travis 8 years ago
Matthias Volk ac86bb8c4a Fixed typo in travis 8 years ago
Matthias Volk 30e0deeb8f Use deprecated images in travis 8 years ago
Matthias Volk 4c64f2a0fe Use PYBIND11_MODULE instead of PYBIND11_PLUGIN 8 years ago
Matthias Volk d62afb248b Started on travis for stormpy 8 years ago
Matthias Volk 0c146601f0 Updated to new pybind version 8 years ago
Matthias Volk ecd1b1f528 Import not needed in test 8 years ago
Matthias Volk 979844a698 Gitignore for generated files 8 years ago
Matthias Volk 1c846ad3fa Updated changelog 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 480c268679 Bindings for graph constraints 8 years ago
Matthias Volk b6061cc620 Updated bindings to new api 8 years ago
Matthias Volk c780ce6a0e Updated labeling bindings to new data structures 8 years ago
Matthias Volk ed4fba1277 Updated tests as matrix does not contain 0-transitions anymore 8 years ago
Matthias Volk c7b3fae4d0 Binding for exporting into DRN format 8 years ago
Matthias Volk 8f252c20d4 Added setup.py flags --jobs and --debug 8 years ago
Sebastian Junges d1b797a126 fixes after updated pycarl and storm 8 years ago
Sebastian Junges e960b41315 fixed tests to be compatible with pycarl v2 8 years ago
Sebastian Junges b30c9877a9 generated config files should not be part of the git 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
Sebastian Junges 9dab81b6cf pybind somehow was duplicated in stormpy/resources 8 years ago
Matthias Volk 0ee8d1ba07 Merge branch 'pla_bindings' 8 years ago
Matthias Volk bab9d366d4 Fixed PLA bindings after updates 8 years ago
Sebastian Junges 49101d906b Jani Model Bindings 8 years ago
Matthias Volk 2e45a11873 Gather derivatives for PLA 8 years ago
Matthias Volk b913f216b4 Smaller bisimulation model which takes less time 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
Matthias Volk ca7f40f975 Fixed bisimulation test 8 years ago
Matthias Volk 312b69e31c Merge from dft_bindings 8 years ago
Tom Janson 86d5ddd8fd unwrap threshold expressions (2nd Ed.) 8 years ago
Tom Janson 3d56c32992 unwrap threshold expression 8 years ago