All pull requests

Pull requests

• Fix incorrect interval rewards when interval transitions point directly at target state

  #1081·linusheck opened Sep 24, 2026Contributor·

  ·
  2

• Minor fixes for ValuationStorage.

  #1080·tquatmann opened Sep 24, 2026Contributor·

  ·
  2

• Attempt to reproduce build failure on macos27

  #1078·linusheck opened Sep 24, 2026Contributor·

  ·

• graph: Improved performance for performProb1E

  ready for review
  #1075·tquatmann opened Sep 23, 2026Contributor·

  ·
  5

• Handle optional reward model names in LiftableTransitionRewardsVisitor & Formula Classes

  ready for review
  #1074·AlexBork opened Sep 23, 2026Contributor·

  ·
  2

• Counterexamples: Support Jani with multiple locations and add tests

  ready for review
  #1072·tquatmann opened Sep 23, 2026Contributor·

  ·
  7

• Hide Eigen and exprtk template instantiations inside libstorm

  #1071·sjunges opened Sep 23, 2026Contributor·

  ·
  6

• Make storm-parsers a library with explicit API and hidden visibility

  #1070·sjunges opened Sep 23, 2026Contributor·

  ·
  3

• Sound solution bounds for conditional model checking of MDPs

  #1068·lukovdm opened Sep 22, 2026Contributor·

  ·

• Sound Solution bounds for CTMC model checking methods

  #1067·lukovdm opened Sep 22, 2026Contributor·

  ·

• Sound Solution bounds for DTMC/MDP model checking methods

  #1066·lukovdm opened Sep 22, 2026Contributor·

  ·
  2

• Fix early termination bugs and add test

  ready for review
  #1059·lukovdm opened Sep 15, 2026Contributor·

  ·
  2

• New Sparse Bisimulation

  ready for review
  #1049·tquatmann opened Sep 11, 2026Contributor·

  ·
  1

  28

• CI for coding-styles

  #1044·volkm opened Sep 7, 2026Contributor·

  ·

• Moved number classes/functions to storm/numbers

  delay merge
  #1041·volkm opened Sep 3, 2026Contributor·

  ·
  2

• Fixed all includes according to coding style

  delay merge
  #1039·volkm opened Aug 27, 2026Contributor·

  ·
  3

• Extended documentation on 3rdparty libraries and added minor code improvements

  ready for review
  #1038·volkm opened Aug 27, 2026Contributor·

  ·
  1

• Replaced settings by environments in storm-dft

  ready for review
  #1037·volkm opened Aug 25, 2026Contributor·

  ·
  6

• Add upper and lowerbounds to check results.

  ready for review
  #1031·lukovdm opened Aug 20, 2026Contributor·

  ·
  57

• Revised POMDP belief exploration

  ready for review
  #1004·AlexBork opened Aug 11, 2026Contributor·

  ·

  · 1.15
  36

  

• deduplicate same choices when building an explicit quotient.

  #991·sjunges opened Aug 7, 2026Contributor·

  ·
  7

• Fix phiStates ignored in computeAllTransientProbabilities

  #985·sjunges with CopilotAI opened Aug 6, 2026·

  ·
  1

  9

  

• Add CVaR model checking for sparse MDP rewards

  #983·pjtimm opened Aug 6, 2026·

  ·
  1

• Refactor/monotonicity module

  #976·sjunges opened Aug 4, 2026Contributor·

  ·

  · 1.15
  3

• Make dtmc model checker throw on unreachable condition when checking conditional probabilities.

  #946·lukovdm opened Jul 1, 2026Contributor·

  ·
  3