147 Commits (d62afb248be3083c46a2b6f80489e9da4bef5e28)
 

Author SHA1 Message Date
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
Matthias Volk 1aee92553e Make all arguments available for analyzeRegion 8 years ago
Tom Janson f14d8f3b7c import pycarl.Variable for parametric stuff 8 years ago
Tom Janson 9fdd155e05 add pycarl dependencey to setup.py 8 years ago
Tom Janson c70b5bf7e6 add missing namespace alias in model.cpp 8 years ago
Matthias Volk 70ddde905f Renaming to PLAChecker 8 years ago
Matthias Volk fd1c9a586e Add PLA support 8 years ago
Matthias Volk 5fa6cf2fc7 Compatibility with refactor_pla branch 8 years ago
Matthias Volk 3c7a4b49a5 PmcResult is CheckResult + constraints 8 years ago
Matthias Volk cc837089aa Small fixes in tests 8 years ago
Matthias Volk 7342428c5e Improved bisimulation test 8 years ago
Matthias Volk c896e6a3ee Fixed usage of storm namespace 8 years ago
Matthias Volk 4e20a21fd0 Add possibility to build from prism without formula 8 years ago
Matthias Volk e1d15a9d96 Only build stormpy.dft when storm-dft library was found 8 years ago
Tom Janson 19a13e8e1f SparseMatrix: add hasTrivialRowGrouping accessor 8 years ago
Tom Janson 2b9c4b61e7 fix version info binding 8 years ago
Tom Janson f094216dce crudely sanity-check instance matrix content 8 years ago
Tom Janson f91ba50800 use type aliases in model.cpp 8 years ago
Tom Janson 0be192a0ae use type alias to improve readability of matrix.cpp 8 years ago
Tom Janson dbfd243e50 add container API (index access w []) to BitVector 8 years ago