All pull requests

Pull requests

• fix: preserve verification constant defaults after model reload

  #301·mvanhorn opened Oct 2, 2026·

  ·
  1

• PrismCL: Allow "-switch:options file" as well as "-switch file:options".

  #225·davexparker opened Apr 18, 2023Member·

  ·
  1

• Use primitive iterator OfInt in Model

  #224·merkste opened Apr 18, 2023Contributor·

  ·

• Adding support for labels inside labels

  #193·maxkurze1 opened Apr 21, 2022Contributor·

  ·

• Additional timelock check

  #148·SchneiderSven opened Jan 29, 2021·

  ·

• Add DTMCSimple constructor which takes transition probability matrix …

  #142·lisaoakley opened Oct 29, 2020·

  ·

• Simplify class Interval

  #137·merkste opened Sep 4, 2020Contributor·

  ·
  3

• HOA path formulas

  enhancement
  #129·kleinj opened Mar 26, 2020Member·2 tasks·

  ·

• Implement unbounded iterations #69

  WIP
  #120·merkste opened May 10, 2019Contributor·

  ·
  2

• Replace home-grown iterators and map entries with proper types

  #117·merkste opened May 9, 2019Contributor·

  ·

• Expose state sorting option in prism.Prism

  #102·chrisnovakovic opened Dec 17, 2018Contributor·

  ·
  1

• Implement reduceTransitions to allow efficient accumulation over transitions

  WIP
  #78·merkste opened Jun 4, 2018Contributor·

  ·
  2

• Primitive, binary-search Distribution object

  #67·incaseoftrouble opened Mar 20, 2018·

  ·
  2

• Do not unfold the AST on deep-copying

  WIP
  #66·merkste opened Mar 9, 2018Contributor·

  ·
  2

• Improve initial states generation

  #58·merkste opened Mar 3, 2018Contributor·

  ·
  1