Search results

Install target requires building tests

Status: Open.

#935 In stormchecker/storm;

· sjunges opened on May 20, 2026

StepBounded verification: potential improvement

Status: Open.

#930 In stormchecker/storm;

· sjunges opened on May 12, 2026

CUDD generates files in source dir

Status: Open.

#921 In stormchecker/storm;

· volkm opened on Apr 29, 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