Search results

nox is not in the test dependencies even though the README says to use it

Status: Open.

#503 In stormchecker/stormvogel;

· linusheck opened on Jun 16, 2026

Testing with debug mode of stormpy

Status: Open.

#501 In stormchecker/stormvogel;

· sjunges opened on Jun 1, 2026

Move stuff out of the stormvogel main module

Status: Open.

#500 In stormchecker/stormvogel;

· linusheck opened on Jun 1, 2026

Jupytext conversion is slow

Status: Open.

#491 In stormchecker/stormvogel;

· sjunges opened on May 10, 2026

Add a transformation module with transformers

Status: Open.

#480 In stormchecker/stormvogel;

· linusheck opened on Mar 24, 2026

Docs: Add example using the prism cell magic

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#478 In stormchecker/stormvogel;

· YouGuessedMyName opened on Mar 19, 2026

Visualization: disabling physics disable colors

Status: Open.

#471 In stormchecker/stormvogel;

· volkm opened on Feb 18, 2026

How to visualise state valuations

Status: Open.

#466 In stormchecker/stormvogel;

· sjunges opened on Dec 24, 2025

Nicer DTMC evolution visualization

Status: Open.

#463 In stormchecker/stormvogel;

· MWeininger opened on Nov 30, 2025

Add choice valuations (similar to state valuations)

Status: Open.

#462 In stormchecker/stormvogel;

· linusheck opened on Nov 19, 2025

Support explicit definition of states in the BIRD api

Status: Open.

#450 In stormchecker/stormvogel;

· sjunges opened on Nov 11, 2025

Exit rates/CTMCs

Status: Open.

#448 In stormchecker/stormvogel;

· sjunges opened on Nov 8, 2025