Search results

Build fails on macOS 14

Status: Open.

#373 In stormchecker/stormpy;

· volkm opened on Mar 20, 2026

Model building / options such as exploration checks

Status: Open.

#343 In stormchecker/stormpy;

· sjunges opened on Feb 23, 2026

Building development version without build isolation: model files not found

Status: Open.

#339 In stormchecker/stormpy;

· sjunges opened on Feb 22, 2026

Add visualization for parameter space partitioning

enhancement

Status: Open.

#336 In stormchecker/stormpy;

· volkm opened on Feb 19, 2026

Simplify code structure for building and modelchecking models with different valuetypes

Status: Open.

#330 In stormchecker/stormpy;

· volkm opened on Feb 8, 2026

Replace pybind11 by nanobind

Status: Open.

Feature

#329 In stormchecker/stormpy;

· volkm opened on Feb 8, 2026

Use consistent naming for ValueType

Status: Open.

#326 In stormchecker/stormpy;

· volkm opened on Feb 5, 2026

Documentation issues

Status: Open.

#321 In stormchecker/stormpy;

· volkm opened on Jan 28, 2026

Migrate from py::enum_ to py::native_enum

Status: Open.

#304 In stormchecker/stormpy;

· sjunges opened on Nov 21, 2025

Use py::smart_holder

Status: Open.

#303 In stormchecker/stormpy;

· sjunges opened on Nov 21, 2025

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

Status: Open.

#299 In stormchecker/stormpy;

· lukovdm opened on Nov 11, 2025

Question on Using StormPy to Extract Scheduler for MDP Model

Status: Open.

#257 In stormchecker/stormpy;

· Wendybeefish opened on Aug 7, 2025