Search results

Interval Models: Off by one error during bounded MC

Status: Open.

#914 In stormchecker/storm;

· plindnercs opened on Apr 17, 2026

Building Storm in DEBUG fails: SparseModelFromUmb.cpp

Status: Open.

#912 In stormchecker/storm;

· plindnercs opened on Apr 17, 2026

CI: trigger stormpy tests after changes in Storm

Status: Open.

#911 In stormchecker/storm;

· volkm opened on Apr 17, 2026

Convert monitor in Runtime monitor transformer to a DFA

Status: Open.

#910 In stormchecker/storm;

· lukovdm opened on Apr 16, 2026

Rename master to main

Status: Open.

#906 In stormchecker/storm;

· volkm opened on Apr 8, 2026

Graph algorithms on models with [0,1] intervals

Status: Open.

#899 In stormchecker/storm;

· lukovdm opened on Mar 25, 2026

CLI: parsing regions with negative lower bound fails.

bug with available workaround

Status: Open.

#874 In stormchecker/storm;

· tquatmann opened on Mar 4, 2026

Very imprecise sqrt computation for rational numbers

Status: Open.

#873 In stormchecker/storm;

· tquatmann opened on Mar 3, 2026

Properly handle MultiObjectiveSettings

Status: Open.

#863 In stormchecker/storm;

· volkm opened on Feb 9, 2026

ConstantsComparator for storm::intervals

Status: Open.

#860 In stormchecker/storm;

· tquatmann opened on Feb 3, 2026

Gradient descent fails on bounded reachability properties

Status: Open.

#856 In stormchecker/storm;

· jianlin-herman-li opened on Jan 28, 2026

Werror / Developer mode and release mode

ci

Status: Open.

#854 In stormchecker/storm;

· sjunges opened on Jan 20, 2026