Issues

• JsonContainer: improve compare and hash

  stormchecker/stormpy#496 · Filter by author volkm opened on Oct 15, 2026

• Add bindings for computing gradients

  stormchecker/stormpy#472 · Filter by author linusheck opened on Oct 1, 2026

• Notebook/doc that explains how to write stormpy bindings

  stormchecker/stormpy#454 · Filter by author linusheck opened on Sep 8, 2026
  

• Do not put constructors into default arguments

  stormchecker/stormpy#443 · Filter by author linusheck opened on Aug 21, 2026 · 2.0

• Building development version without build isolation: model files not found

  stormchecker/stormpy#339 · Filter by author sjunges opened on Feb 22, 2026
  1

• Add visualization for parameter space partitioning

  enhancement
  stormchecker/stormpy#336 · Filter by author volkm opened on Feb 19, 2026
  2

• Documentation issues

  stormchecker/stormpy#321 · Filter by author volkm opened on Jan 28, 2026

• Give a warning when compiling stormpy with a different compiler then storm.

  stormchecker/stormpy#299 · Filter by author lukovdm opened on Nov 11, 2025
  2

• Question on Using StormPy to Extract Scheduler for MDP Model

  stormchecker/stormpy#257 · Filter by author Wendybeefish opened on Aug 7, 2025
  1

• Ensure consistency between Jupyter notebooks and scripts in examples folder

  stormchecker/stormpy#256 · Filter by author volkm opened on Aug 6, 2025
  1

• Documentation issues in pybind

  wontfix
  stormchecker/stormpy#244 · Filter by author volkm opened on Jun 27, 2025

• Add type information for Python wrapper

  stormchecker/stormpy#240 · Filter by author volkm opened on Jun 18, 2025

• Ship tests with stormpy

  stormchecker/stormpy#238 · Filter by author volkm opened on Jun 18, 2025

• Remove model files from lib

  stormchecker/stormpy#233 · Filter by author volkm opened on Jun 17, 2025
  1

• End component elimination preserve labels

  stormchecker/stormpy#222 · Filter by author YouGuessedMyName opened on May 3, 2025

• Segfault in counterexample generation

  stormchecker/stormpy#209 · Filter by author AlanLeAI opened on Feb 20, 2025
  3

• ADD interface

  stormchecker/stormpy#196 · Filter by author nmanginas opened on Dec 12, 2024

• Make the simulator usable in the case of markov automata

  stormchecker/stormpy#188 · Filter by author PimLeerkes opened on Oct 18, 2024
  2

  

• ADD and its iterators do not have tests

  stormchecker/stormpy#155 · Filter by author sjunges opened on Jan 3, 2024

• Replace force_fully_observable by dedicated transformation beforehand

  stormchecker/stormpy#151 · Filter by author volkm opened on Dec 21, 2023

• Copies and different orders in std::set

  stormchecker/stormpy#142 · Filter by author sjunges opened on Nov 24, 2023

• can't check DTMC model

  Documentation Missing
  stormchecker/stormpy#128 · Filter by author Serendipity953 opened on Jul 27, 2023
  6

• Hard to build exact MDPs directly

  stormchecker/stormpy#84 · Filter by author sjunges opened on Aug 11, 2022
  1

• Parameter instantiation of PDTMC results in negative values

  stormchecker/stormpy#38 · Filter by author nielsneerhoff opened on May 10, 2021
  

• Formula.threshold cannot be accessed

  unwanted behavior
  stormchecker/stormpy#8 · Filter by author sjunges opened on Nov 29, 2019