All issues

Search results

Consider porting model building improvements to PRISM model builder

Status: Open.

#1091 In stormchecker/storm;

· tquatmann opened on Sep 25, 2026

Build issue on macOS 27

Status: Open.

#1084 In stormchecker/storm;

· volkm opened on Sep 25, 2026

umb import adds init label even if the model already has one

Status: Open.

#1079 In stormchecker/storm;

· TheGreatfpmK opened on Sep 24, 2026

Incorrect result with the default eqsolver settings

Status: Open.

#1076 In stormchecker/storm;

· TheGreatfpmK opened on Sep 24, 2026

CI: caching of dependencies

Status: Open.

#1069 In stormchecker/storm;

· volkm opened on Sep 22, 2026

Absorbing states in CTMC

Status: Open.

#1063 In stormchecker/storm;

· volkm opened on Sep 17, 2026

Incorrect result for simple model with negative rewards

Status: Open.

#1061 In stormchecker/storm;

· TheGreatfpmK opened on Sep 16, 2026

Early termination bugs in II, GVI and SVI

Status: Open.

#1058 In stormchecker/storm;

· lukovdm opened on Sep 15, 2026

Storm can almost model check weak until and release formulas. I see the following things missing for that (must not be part of this PR

Status: Open.

#1057 In stormchecker/storm;

· tquatmann opened on Sep 15, 2026

Use TraverseFormulaVisitor

Status: Open.

#1052 In stormchecker/storm;

· tquatmann opened on Sep 13, 2026

Warn on LTL formulas on CTMC

Status: Open.

#1046 In stormchecker/storm;

· volkm opened on Sep 8, 2026

Use precision for bound comparison in QuantitativeCheckResult

Status: Open.

#1045 In stormchecker/storm;

· volkm opened on Sep 8, 2026