Issues

• Distinguish omitted reward model references from the empty reward model name

  stormchecker/storm#1103 · Filter by author AlexBork opened on Sep 29, 2026

• Allow automatic formatting via Linter CI

  enhancement
  stormchecker/storm#1100 · Filter by author volkm opened on Sep 28, 2026

• PRISM observation parsing edge case bug

  stormchecker/storm#1099 · Filter by author TheGreatfpmK opened on Sep 28, 2026
  3

• Consider porting model building improvements to PRISM model builder

  stormchecker/storm#1091 · Filter by author tquatmann opened on Sep 25, 2026

• Build issue on macOS 27

  stormchecker/storm#1084 · Filter by author volkm opened on Sep 25, 2026

• Incorrect result with the default eqsolver settings

  stormchecker/storm#1076 · Filter by author TheGreatfpmK opened on Sep 24, 2026
  2

• CI: caching of dependencies

  stormchecker/storm#1069 · Filter by author volkm opened on Sep 22, 2026
  1

• Absorbing states in CTMC

  stormchecker/storm#1063 · Filter by author volkm opened on Sep 17, 2026
  2

• Incorrect result for simple model with negative rewards

  stormchecker/storm#1061 · Filter by author TheGreatfpmK opened on Sep 16, 2026
  2

• Early termination bugs in II, GVI and SVI

  stormchecker/storm#1058 · Filter by author 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

  stormchecker/storm#1057 · Filter by author tquatmann opened on Sep 15, 2026

• Use TraverseFormulaVisitor

  stormchecker/storm#1052 · Filter by author tquatmann opened on Sep 13, 2026

• Warn on LTL formulas on CTMC

  stormchecker/storm#1046 · Filter by author volkm opened on Sep 8, 2026
  1

  

• Use precision for bound comparison in QuantitativeCheckResult

  stormchecker/storm#1045 · Filter by author volkm opened on Sep 8, 2026
  2

• Remove infinity sentinels from sylvan wrapper.

  stormchecker/storm#1043 · Filter by author lukovdm opened on Sep 7, 2026

• Restructure storage directory

  stormchecker/storm#1033 · Filter by author volkm opened on Aug 21, 2026 · 2.0

• Missing extern templates

  stormchecker/storm#1021 · Filter by author sjunges opened on Aug 17, 2026
  2

• CI: linter not posting review comments

  stormchecker/storm#1020 · Filter by author volkm opened on Aug 17, 2026

• Tests for globally properties on MDPs are missing

  stormchecker/storm#1011 · Filter by author sjunges opened on Aug 12, 2026

• Highs added; follow ups

  stormchecker/storm#1010 · Filter by author sjunges opened on Aug 12, 2026
  7

• Simplify code in InternalSylvanSignatureRefiner?

  stormchecker/storm#1009 · Filter by author volkm opened on Aug 12, 2026

• Unused check in GameBasedMdpModelChecker

  stormchecker/storm#1005 · Filter by author volkm opened on Aug 12, 2026

• Disabled test: Investigate root cause.

  stormchecker/storm#992 · Filter by author sjunges opened on Aug 7, 2026
  1

• Coding style

  source code enhancement
  stormchecker/storm#978 · Filter by author sjunges opened on Aug 4, 2026
  2

• Valid environments

  stormchecker/storm#977 · Filter by author sjunges opened on Aug 4, 2026
  1