moves-rwth/stormpy issues and pull requests

#104 - TypeError: stormpy.storage.storage.ChoiceLabeling: No constructor defined!

Issue - State: closed - Opened by netro505 about 2 years ago - 4 comments

#103 - Support for has_cycle() on sparse models

Pull Request - State: open - Opened by volkm about 2 years ago

#102 - Pass Storm location as HINT to CMake

Issue - State: closed - Opened by volkm about 2 years ago - 3 comments

#101 - Added single_be to DFT modules

Pull Request - State: closed - Opened by volkm about 2 years ago - 1 comment

#100 - Fix for DFT modules

Pull Request - State: closed - Opened by volkm about 2 years ago - 1 comment

#99 - Bindings for DFT modules

Pull Request - State: closed - Opened by volkm about 2 years ago - 1 comment

#98 - Adaption to removal of JIT in Storm

Pull Request - State: closed - Opened by volkm about 2 years ago - 1 comment

#97 - citations

Issue - State: closed - Opened by xinwei2124 about 2 years ago - 1 comment

#96 - add missing xml skiptests, fixes https://github.com/moves-rwth/stormp…

Pull Request - State: closed - Opened by sjunges about 2 years ago - 1 comment

#95 - Warning on setup.py install

Issue - State: open - Opened by sjunges about 2 years ago - 2 comments

#94 - Replaced deprecated distutils.Version

Pull Request - State: closed - Opened by volkm about 2 years ago - 5 comments

#93 - Deprecation warning

Issue - State: closed - Opened by sjunges about 2 years ago

#92 - Tests fail without GSPNs

Issue - State: closed - Opened by sjunges about 2 years ago - 1 comment

#91 - Adaption to changes in Storm-dft

Pull Request - State: closed - Opened by volkm about 2 years ago - 2 comments

#90 - Continuous integration for anaconda

Issue - State: open - Opened by sjunges about 2 years ago

#89 - Removed unnecessary imports

Pull Request - State: closed - Opened by volkm about 2 years ago

#88 - Improve build process

Pull Request - State: closed - Opened by volkm about 2 years ago - 1 comment

#87 - Parametric model checking for reward parameters

Issue - State: closed - Opened by xinwei2124 about 2 years ago - 7 comments

#86 - Download pybind11 via CMake instead of shipping it

Pull Request - State: closed - Opened by volkm about 2 years ago - 7 comments

#85 - access methods for models and prism programs

Pull Request - State: closed - Opened by sjunges over 2 years ago

#84 - Hard to build exact MDPs directly

Issue - State: open - Opened by sjunges over 2 years ago - 1 comment

#83 - add scheduler extraction

Pull Request - State: closed - Opened by sjunges over 2 years ago - 2 comments

#82 - Ensure compatiblity between carl of pycarl and carl of Storm

Issue - State: open - Opened by volkm over 2 years ago - 2 comments

#81 - Check Pybind version

Issue - State: closed - Opened by sjunges over 2 years ago - 3 comments

#80 - Improved Binder support

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#79 - Updated documentation

Pull Request - State: closed - Opened by volkm over 2 years ago

#78 - Updated Dockerfile for Binder

Pull Request - State: closed - Opened by volkm over 2 years ago

#77 - Stormpy version 1.7.0

Pull Request - State: closed - Opened by volkm over 2 years ago - 2 comments

#76 - Updated required Storm and pycarl versions

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#75 - Misc minimal changes

Pull Request - State: closed - Opened by sjunges over 2 years ago - 1 comment

#74 - Added tests regarding LTL model checking,

Pull Request - State: closed - Opened by sjunges over 2 years ago - 1 comment

#73 - Optional dependencies for plotting

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#72 - Matplotlib optional dependency

Issue - State: closed - Opened by sjunges over 2 years ago - 2 comments

#71 - Update Github actions

Pull Request - State: closed - Opened by volkm over 2 years ago

#70 - basic support for multiobjective model checking, including plotting

Pull Request - State: closed - Opened by sjunges over 2 years ago - 3 comments

#69 - Simulator doc

Pull Request - State: closed - Opened by sjunges over 2 years ago

#68 - Update Pybind

Issue - State: closed - Opened by sjunges over 2 years ago - 1 comment

#67 - Do not use virtualenv in Github actions

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#66 - Dockerfile for stormpy

Pull Request - State: closed - Opened by volkm over 2 years ago - 2 comments

#65 - Install twice

Issue - State: closed - Opened by sjunges over 2 years ago - 2 comments
Labels: wontfix, unwanted behavior

#64 - Adaption to change in Storm-dft

Pull Request - State: closed - Opened by volkm over 2 years ago - 2 comments

#63 - Bump numpy from 1.19.0 to 1.22.0 in /resources/pybind11/tests

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#62 - Adaption to changed namespace storm::dft in Storm

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#61 - first version of documentation for simulators

Pull Request - State: closed - Opened by sjunges over 2 years ago - 2 comments

#60 - Remove python installation in CI

Pull Request - State: closed - Opened by volkm over 2 years ago - 1 comment

#59 - Minor updates to reflect latest changes in storm and some additional convenience functions

Pull Request - State: closed - Opened by sjunges over 2 years ago - 2 comments

#58 - Extended DFT bindings

Pull Request - State: closed - Opened by volkm over 2 years ago - 2 comments

#57 - Increasing the Number of States

Issue - State: closed - Opened by kvarys over 2 years ago - 1 comment

#56 - Maximal end components

Pull Request - State: closed - Opened by volkm over 2 years ago

#55 - Updated deprecated pybind constructors

Pull Request - State: closed - Opened by volkm almost 3 years ago

#54 - Bump numpy from 1.19.0 to 1.21.0 in /resources/pybind11/tests

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 2 comments
Labels: dependencies

#53 - Dft simulator

Pull Request - State: closed - Opened by volkm almost 3 years ago

#52 - Support for c++17

Pull Request - State: closed - Opened by sjunges almost 3 years ago

#51 - Pybind update

Pull Request - State: closed - Opened by sjunges almost 3 years ago

#50 - Github actions: explicitly install pytest

Pull Request - State: closed - Opened by volkm almost 3 years ago

#49 - Circular import error

Issue - State: open - Opened by oyendrila-dobe almost 3 years ago - 7 comments

#48 - Better handling of incompatibilities in Github Actions

Pull Request - State: closed - Opened by volkm about 3 years ago

#47 - Github actions: only deploy for master branch on original repo

Pull Request - State: closed - Opened by volkm about 3 years ago

#46 - Add support for JANI variables

Issue - State: open - Opened by volkm about 3 years ago

#45 - Adaption to changes in Storm

Pull Request - State: closed - Opened by volkm about 3 years ago - 2 comments

#44 - Looking to just install core to build prism model

Issue - State: closed - Opened by oyendrila-dobe about 3 years ago - 1 comment

#43 - Getting labels in prismlang simulator via stormpy

Issue - State: closed - Opened by gaperez64 about 3 years ago

#42 - PRISM Model State enumeration vs Stormpy State enumeration

Issue - State: closed - Opened by ribsthakkar over 3 years ago - 7 comments

#41 - Installation error in stormpy

Issue - State: closed - Opened by LebronX over 3 years ago - 10 comments

#40 - doc: use fixedbootstrap theme from probably

Pull Request - State: closed - Opened by Philipp15b over 3 years ago - 1 comment

#39 - Long living branch changes matching

Pull Request - State: closed - Opened by sjunges over 3 years ago

#38 - Parameter instantiation of PDTMC results in negative values

Issue - State: open - Opened by nielsneerhoff over 3 years ago

#37 - Parameter instantiation results in negative transition values

Issue - State: closed - Opened by magis-vastgoed over 3 years ago

#36 - Error when using stormpy with multiprocessing

Issue - State: closed - Opened by huypn12 over 3 years ago - 1 comment

#35 - Uncertain Discrete-time Markov chain

Issue - State: closed - Opened by nielsneerhoff over 3 years ago - 2 comments

#34 - Statistical model checking

Issue - State: closed - Opened by huypn12 over 3 years ago - 1 comment

#33 - Error building stormpy

Issue - State: closed - Opened by agausen almost 4 years ago - 2 comments

#32 - New to model checking: how to check properties of custom-made model?

Issue - State: closed - Opened by nielsneerhoff almost 4 years ago - 2 comments

#31 - Multi-objective Property Specfications

Issue - State: closed - Opened by ribsthakkar almost 4 years ago - 1 comment

#30 - MDP Transition Rewards

Issue - State: closed - Opened by ribsthakkar almost 4 years ago - 3 comments

#29 - Parsing PRISM Model to get all Labels

Issue - State: closed - Opened by ribsthakkar almost 4 years ago - 2 comments

#28 - Looking for an example of building a MDP using ExactSparseMatrix

Issue - State: closed - Opened by oyendrila-dobe almost 4 years ago - 8 comments

#27 - Testing for stormpy fails with segmentation fault

Issue - State: closed - Opened by oyendrila-dobe almost 4 years ago

#26 - Looking for alternate datatype for 'value' in SparseMatrixEntry

Issue - State: closed - Opened by oyendrila-dobe almost 4 years ago - 4 comments

#25 - Implement manually triggered github actions CI

Pull Request - State: closed - Opened by dbasgoeze almost 4 years ago

#24 - compling stormpy with Stable branch of Storm, missing storm/utility/DirectEncodingExporter.h

Issue - State: closed - Opened by xhajnal almost 4 years ago - 5 comments

#23 - Compiling stormpy with storm_dir does not use the path

Issue - State: closed - Opened by xhajnal almost 4 years ago - 1 comment

#22 - ModuleNotFoundError: No module named 'stormpy'

Issue - State: closed - Opened by GavinRens almost 4 years ago - 4 comments

GitHub / moves-rwth/stormpy issues and pull requests