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

• Model building / options such as exploration checks

  stormchecker/stormpy#343 · Filter by author sjunges opened on Feb 23, 2026
  

• 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

• Simplify code structure for building and modelchecking models with different valuetypes

  stormchecker/stormpy#330 · Filter by author volkm opened on Feb 8, 2026 · 2.0

• 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

• Split CI tests

  stormchecker/stormpy#239 · 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

  

• Python Paths

  stormchecker/stormpy#163 · Filter by author sjunges opened on May 13, 2024
  1

• 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