Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / moves-rwth/stormpy issues and pull requests

#193 - Code formatting

Pull Request - State: open - Opened by github-actions[bot] 10 days ago

#192 - Fixed min in prob01max_states

Pull Request - State: open - Opened by volkm 10 days ago

#191 - Typo in prob01max_states - calls min

Issue - State: open - Opened by linusheck 10 days ago

#190 - Otu update

Pull Request - State: open - Opened by sjunges 16 days ago

#189 - library not found for -lstorm-pomdp

Issue - State: closed - Opened by zzhou63 about 1 month ago - 1 comment

#188 - Make the simulator usable in the case of markov automata

Issue - State: open - Opened by PimLeerkes about 1 month ago

#187 - Use C++20

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

#187 - Use C++20

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

#185 - Fix double free problem when working with interactive belief explorer

Pull Request - State: closed - Opened by TheGreatfpmK 2 months ago - 8 comments

#184 - Bump Stormpy for binder

Pull Request - State: closed - Opened by volkm 3 months ago

#184 - Bump Stormpy for binder

Pull Request - State: closed - Opened by volkm 3 months ago

#183 - Stormpy version 1.9.0

Pull Request - State: closed - Opened by volkm 3 months ago

#182 - implement a way to figure out if rate_transitions was True or False

Issue - State: open - Opened by PimLeerkes 4 months ago - 1 comment

#181 - Add binding for GameFormula

Pull Request - State: closed - Opened by TheGreatfpmK 4 months ago - 1 comment

#180 - Easier access to state valuations, choice labels and choice origins

Pull Request - State: closed - Opened by volkm 4 months ago - 1 comment

#179 - Apple m2 installation failed: Stormpy

Issue - State: closed - Opened by xwang2775 4 months ago

#179 - Apple m2 installation failed: Stormpy

Issue - State: closed - Opened by xwang2775 4 months ago

#178 - How to access state and action labels from scheduler

Issue - State: closed - Opened by davidedema 4 months ago - 2 comments

#176 - Automatic formatting via black + CI support

Pull Request - State: open - Opened by volkm 4 months ago

#176 - Automatic formatting via black + CI support

Pull Request - State: closed - Opened by volkm 4 months ago - 4 comments

#175 - Adaption to changes in DFT simulator

Pull Request - State: open - Opened by volkm 4 months ago

#175 - Adaption to changes in DFT simulator

Pull Request - State: closed - Opened by volkm 4 months ago

#174 - Adaption to changes in Storm

Pull Request - State: closed - Opened by volkm 5 months ago - 4 comments

#173 - Add bindings for the Smg class

Pull Request - State: closed - Opened by TheGreatfpmK 5 months ago - 4 comments

#172 - Segmentation fault when analyzing fault tree

Issue - State: closed - Opened by QuestionableDocumentation 5 months ago - 1 comment

#172 - Segmentation fault when analyzing fault tree

Issue - State: open - Opened by QuestionableDocumentation 5 months ago - 1 comment

#171 - Adaption to changes in Storm

Pull Request - State: closed - Opened by volkm 5 months ago

#171 - Adaption to changes in Storm

Pull Request - State: closed - Opened by volkm 5 months ago

#170 - Bump peaceiris/actions-gh-pages from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#170 - Bump peaceiris/actions-gh-pages from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#167 - Failing tests on master branch

Issue - State: closed - Opened by YouGuessedMyName 6 months ago - 1 comment

#166 - Dependabot to automatically update Github actions

Pull Request - State: closed - Opened by volkm 6 months ago

#165 - Install setuptools in Dockerfile

Pull Request - State: closed - Opened by volkm 6 months ago - 1 comment

#164 - Changes in storm.

Pull Request - State: closed - Opened by sjunges 6 months ago

#163 - Python Paths

Issue - State: open - Opened by sjunges 7 months ago - 1 comment

#162 - Support for pyproject.toml

Issue - State: open - Opened by sjunges 7 months ago - 1 comment
Labels: enhancement

#161 - Package stormpy as a wheel

Issue - State: open - Opened by linusheck 7 months ago - 6 comments

#160 - Skip zero entries when creating a sparse matrix from numpy

Pull Request - State: closed - Opened by volkm 9 months ago

#159 - Linking error when installing Stormpy

Issue - State: closed - Opened by charlie1329 9 months ago - 4 comments

#158 - Add interpreter lock release to POMDP check function

Pull Request - State: open - Opened by AlexBork 10 months ago - 4 comments

#158 - Add guard to POMDP check function

Pull Request - State: open - Opened by AlexBork 10 months ago

#157 - dd-to-sparse engine

Issue - State: closed - Opened by temunds 10 months ago - 6 comments

#157 - dd-to-sparse engine

Issue - State: open - Opened by temunds 10 months ago - 1 comment

#156 - All-in-one support

Pull Request - State: closed - Opened by sjunges 11 months ago

#155 - ADD and its iterators do not have tests

Issue - State: open - Opened by sjunges 11 months ago

#153 - bugfix for Expression.Disjunction: was a conjunction before

Pull Request - State: closed - Opened by sjunges 11 months ago

#152 - update with latest change in storm

Pull Request - State: closed - Opened by sjunges 11 months ago

#150 - Bindings for intervals

Pull Request - State: closed - Opened by volkm 12 months ago - 1 comment

#149 - add missing include

Pull Request - State: closed - Opened by sjunges 12 months ago - 2 comments

#148 - Adaption to changes in storm-dft

Pull Request - State: closed - Opened by volkm 12 months ago - 1 comment

#147 - enable exploration checks in builder options

Pull Request - State: open - Opened by randriu 12 months ago - 1 comment

#146 - currently no sysversions of pybind

Pull Request - State: closed - Opened by sjunges almost 1 year ago - 2 comments

#145 - Adapted test to changes in #138

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

#144 - Patch to pybind11 to avoid issue with concat

Pull Request - State: closed - Opened by volkm about 1 year ago

#143 - Remove MinMaxMethod "topological_cuda"

Pull Request - State: closed - Opened by tquatmann about 1 year ago - 1 comment

#142 - Copies and different orders in std::set

Issue - State: open - Opened by sjunges about 1 year ago

#141 - Added missing include

Pull Request - State: closed - Opened by volkm about 1 year ago

#140 - Build fails after changes in modernjson

Issue - State: closed - Opened by volkm about 1 year ago - 9 comments

#139 - Added a test for setting undefined constants in Prism program

Pull Request - State: closed - Opened by volkm about 1 year ago

#138 - minor change in API

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

#137 - CI: improved build configurations

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

#136 - Building sparse parametric model fails

Issue - State: closed - Opened by lukearcus about 1 year ago - 5 comments

#135 - Possible error in POMDP model parsing

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

#134 - Explicitly provide class template (fixes #131)

Pull Request - State: closed - Opened by tquatmann about 1 year ago

#133 - Add bindings for computing steady-state distributions

Pull Request - State: closed - Opened by tquatmann about 1 year ago

#132 - Computing steady-state probability vector

Issue - State: closed - Opened by temunds about 1 year ago - 2 comments

#131 - Difficulty installing stormpy

Issue - State: closed - Opened by zisserj about 1 year ago - 1 comment

#130 - CMake updates

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

#129 - Parametric model components

Pull Request - State: closed - Opened by volkm over 1 year ago

#128 - can't check DTMC model

Issue - State: open - Opened by Serendipity953 over 1 year ago - 6 comments
Labels: Documentation Missing

#127 - Unable to check model

Issue - State: closed - Opened by netro505 over 1 year ago - 2 comments

#126 - fix for boost 1.82

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

#125 - Add bindings for quantitative POMDP analysis

Pull Request - State: closed - Opened by AlexBork over 1 year ago - 9 comments

#124 - Avoid import error in test if numpy is not present

Pull Request - State: closed - Opened by volkm over 1 year ago

#123 - Updated Dockerfile for Binder

Pull Request - State: closed - Opened by volkm over 1 year ago

#122 - Stormpy version 1.8.0

Pull Request - State: closed - Opened by volkm over 1 year ago

#121 - Added Dockerfile

Pull Request - State: closed - Opened by volkm over 1 year ago

#120 - Externally-managed-environment error in Docker container

Issue - State: closed - Opened by volkm over 1 year ago

#119 - Adaption to changes in storm-pomdp

Pull Request - State: closed - Opened by volkm over 1 year ago

#118 - Getting DTMC from given MDP and policy

Issue - State: closed - Opened by MrBly over 1 year ago - 16 comments

#117 - Added missing import statement in Jupyter notebook for parametric models

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

#116 - More robust multi-objective test.

Pull Request - State: closed - Opened by tquatmann over 1 year ago - 3 comments

#115 - Fixed typo in CMakeLists which lead to wrong config files

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

#114 - Tests are failing if CLN is not available

Issue - State: closed - Opened by tquatmann over 1 year ago - 6 comments

#113 - Fix parametric models doc ipynb to use pdtmc

Pull Request - State: closed - Opened by lisaoakley over 1 year ago - 2 comments

#112 - Adaption to Storm changes

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

#111 - Added include missing after Storm changes

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

#110 - Added Zenodo badge to README

Pull Request - State: closed - Opened by volkm over 1 year ago

#109 - Added py::prepend to fix overlead order of __str__ for enums

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

#108 - Workaround for issue with Boost 1.81

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

#107 - How can one implement stormpy in a standalone python application?

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

#106 - Adaption to change in Storm PR #314

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

#105 - Updated deprecated function in Github Actions

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