All pull requests

Pull requests

• Fix test for Highs 1.16

  ready for review
  #1218·volkm opened Nov 12, 2026Contributor·

  ·
  1

• Extended SignalHandler to allow callbacks for termination checks

  #1217·volkm opened Nov 11, 2026Contributor·

  ·
  7

• Revised CI

  #1216·volkm opened Nov 11, 2026Contributor·

  ·
  2

  4

• Support for setTolerance in LpSolvers

  #1214·volkm opened Nov 10, 2026Contributor·

  ·

• Fixed various SMT solver tests

  ci: extensiveready for review
  #1213·volkm opened Nov 10, 2026Contributor·

  ·
  1

  7

• Bump dawidd6/action-send-mail from 23 to 24

  dependenciesgithub_actions
  #1208·dependabot[bot] opened Nov 9, 2026Bot·

  ·

• Dd assignment levels

  #1206·sjunges opened Nov 4, 2026Contributor·

  ·

• 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

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

  #1191·sjunges opened Oct 21, 2026Contributor·

  ·
  1

• Support for timeout in all SMT solvers

  ready for review
  #1182·volkm opened Oct 19, 2026Contributor·

  ·
  3

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

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

  ·
  10

• Kill spawned subprocesses when Storm is terminated by a signal

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

  ·

  · 2.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

  ciready for review
  #1044·volkm opened Sep 7, 2026Contributor·

  ·
  4

• 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

• Extended simulators to continous-time models and add very simple support for Monte Carlo simulation

  #839·volkm opened Dec 8, 2025Contributor·

  ·
  1