All pull requests

Pull requests

• Dd assignment levels

  #1206·sjunges opened Nov 4, 2026Contributor·

  ·

• Fix transient assignments at higher levels in synchronized JANI edges

  ready for review
  #1204·sjunges opened Nov 4, 2026Contributor·

  ·
  1

• Fix state order in ObservationTraceUnfolder

  #1199·lukovdm opened Oct 30, 2026Contributor·

  ·
  2

• Belief MDP builder: route infinite expected-reward values to a bottom…

  #1198·sjunges opened Oct 28, 2026Contributor·

  ·
  5

• Symbolic rational search: always require a unique solution

  ready for review
  #1192·sjunges opened Oct 21, 2026Contributor·

  ·

  · 2.0.1
  1

• Use the environment to select the SMT solver in storm-pars

  #1191·sjunges opened Oct 21, 2026Contributor·

  ·
  1

• Mathsat timeout

  #1182·volkm opened Oct 19, 2026Contributor·1 task·

  ·

• Build and deploy multi-arch (amd64, arm64) CI docker images

  delay review
  #1155·sjunges opened Oct 13, 2026Contributor·

  ·
  10

• Fix/highs default lp solver

  ready for review
  #1154·sjunges opened Oct 13, 2026Contributor·

  ·

  · 2.0.1
  2

• Disable dynamic reordering for CUDD

  ready for review
  #1153·sjunges opened Oct 13, 2026Contributor·

  ·

  · 2.0.1
  1

  9

• Translate n-ary Z3 additions and products fully, reject integer division

  ready for review
  #1149·sjunges opened Oct 13, 2026Contributor·

  ·

  · 2.0.1

• Support transition rewards in DiscreteTimeSparseModelSimulator (#139)

  ready for review
  #1147·sjunges opened Oct 12, 2026Contributor·

  ·

  · 2.0.1
  1

  1

• Kill spawned subprocesses when Storm is terminated by a signal

  delay review
  #1146·sjunges opened Oct 12, 2026Contributor·

  ·

  · 2.1

• Do not let z3 swallow interrupts during solver checks

  ready for review
  #1145·sjunges opened Oct 12, 2026Contributor·

  ·

  · 2.0.1
  1

• Rework filtered properties output as PRISM syntax

  #1122·vivoeiva opened Oct 9, 2026Contributor·

  ·
  4

• CI: activate all warnings for GCC and Clang jobs

  cidelay review
  #1120·volkm opened Oct 9, 2026Contributor·

  ·
  1

• Hide Eigen and exprtk template instantiations inside libstorm

  delay review
  #1071·sjunges opened Sep 23, 2026Contributor·

  ·
  6

• Sound solution bounds for the trivial untimed CTMC and Markov automaton properties

  delay review
  #1067·lukovdm opened Sep 22, 2026Contributor·

  ·

  · 2.1
  7

• 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.1
  2

• Fixed all includes according to coding style

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

  ·
  3

• 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

• Warn when using time bound on discrete-time models

  #855·volkm opened Jan 23, 2026Contributor·

  ·
  3