All pull requests

Pull requests

• Add missing reward computation functionality, including discounts

  #295·davexparker opened Aug 14, 2026Member·

  ·
  6

• Plug-in mechanism + Gurobi + explicit engine MDP LP solution

  #288·davexparker opened Jun 25, 2026Member·

  ·
  5

• Fix Initial States and Transitions Strings in GUI

  #283·Animeboynz opened May 27, 2026·

  ·

• Pass LP results for multi-objective achievability queries

  #244·Chickenpowerrr opened Jun 14, 2024·

  ·

• [GUI] Fixing slow loading of Property-files (Issue #230)

  #231·DX3253 opened May 16, 2023·

  ·

• 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·

  ·

• MDP solution via linear programming for explicit engine.

  #149·davexparker opened Feb 7, 2021Member·

  ·
  4

• 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·

  ·

• 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