302 Commits (aad97475725414ca8349b65b8c4432d7fc750e98)
 

Author SHA1 Message Date
Matthias Volk aad9747572 Fix for storm-dir 7 years ago
Matthias Volk 4daa733727 Moved documentation for parametric models into own file 7 years ago
Matthias Volk 89ed130335 Extended documentation 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 bef2feceb2 Removed fixed lib path in cmake 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 0b6dd8c0d8 Fix sphinx warning in comment 7 years ago
Matthias Volk 95da370b4a Improve distribution 7 years ago
Matthias Volk da81f6cf1a Raise ImportError when using python 2.x 7 years ago
Matthias Volk 9b57e37ee4 Updated gitignore 7 years ago
Matthias Volk bb3b2a8f5e Travis: use absolute path 7 years ago
Matthias Volk aa5c8fb6fe Travis: minor change in travis script 7 years ago
Matthias Volk a1d7266567 Travis: change docker repo 7 years ago
Matthias Volk 1ac1066325 Increased required Storm version 7 years ago
Matthias Volk d6056d71fa Travis: try to fix allow_failures 7 years ago
Matthias Volk 5ba71f81b5 Travis: test against stable version of Storm as well 7 years ago
Matthias Volk 717fa454d2 Updated example drn file 7 years ago
Sebastian Junges a7191e24ba support for queries on schedulers 7 years ago
Sebastian Junges 11b2a219a7 support for extraction of schedulers 7 years ago
Matthias Volk 9da3bc8053 Test case for MDP model checking 7 years ago
Sebastian Junges 606305ca72 pla: get split estimates 7 years ago
Matthias Volk 5e5247840a Travis: small fix 7 years ago
Matthias Volk 8d9494e1a4 Travis: set storm directory 7 years ago
Matthias Volk 74f71c1ee7 Use travis docker images 7 years ago
Sebastian Junges b98ac4efa1 at for qualitative check results 7 years ago
Matthias Volk 010e95e925 apt-get update in travis 7 years ago
Sebastian Junges 8b81d0d1a0 state action rewards convenience function added 7 years ago
sjunges 3b2036465e towards support for more info from prism programs 7 years ago
sjunges 777a24f29e bindings for expression type 7 years ago
Sebastian Junges 8db0759f58 optimality type for formulae 7 years ago
Sebastian Junges 04f70bd706 Additional tests for PLA bindings 7 years ago
Sebastian Junges 474b5a8cbc fix for pla 7 years ago
Sebastian Junges 75ac1a3e25 get state reward directly 7 years ago
Sebastian Junges d9ff33a9e0 extended pla bindings for latest additions in PLA and to build PLA checker directly 7 years ago
Matthias Volk 0a8482d068 Computing model checking result only for inital states 7 years ago
Sebastian Junges b27b26f2b7 row group start and row group end for iteration over matrices 7 years ago
Sebastian Junges 10eea677e9 Add support for integer cast from state objects 7 years ago
Sebastian Junges 326c64a953 reward models from drn files 7 years ago
Sebastian Junges 58dd78c791 Left and right subformulae of binary path formula 7 years ago
Sebastian Junges 80b4be4467 cleaned the example a bit 7 years ago
Sebastian Junges e002b5938b Model Building: First example for substitution of existing parametric models 7 years ago
Matthias Volk 9b59663baa Moved some parametric tests into tests/pars/ dir 7 years ago
Matthias Volk bcab426bd5 Added missing cases for CTMC and MA in model building 7 years ago
Matthias Volk 6c729cabf7 New stormpy version 1.2.0 7 years ago
Matthias Volk e9ad0264a1 Updated changelog 7 years ago
Matthias Volk eb7bc95c02 Fixed typo in travis script 7 years ago