Issues

• GUI layout adjustment broken under Wayland

  prismmodelchecker/prism#284 · Filter by author ytzemih opened on Jun 14, 2026

• Translate PTA model to MDP?

  prismmodelchecker/prism#257 · Filter by author rpgoldman opened on Feb 26, 2025

• Problems building with Eclipse on MacOS with M1

  prismmodelchecker/prism#252 · Filter by author rpgoldman opened on Sep 26, 2024
  1

• [GUI] Not loading files in save/load windows when "unmappable characters" present in folder

  prismmodelchecker/prism#243 · Filter by author devatjcg opened on May 10, 2024

• [Tracking] Build toolchain revamp

  prismmodelchecker/prism#223 · Filter by author spacefrogg opened on Mar 31, 2023
  2

• Nailgun mode fails for Java 19

  prismmodelchecker/prism#221 · Filter by author davexparker opened on Mar 28, 2023
  2

• Short-circuiting during model checking

  prismmodelchecker/prism#211 · Filter by author davexparker opened on Feb 17, 2023

• Return exit code > 0 if an error occurs

  prismmodelchecker/prism#210 · Filter by author merkste opened on Feb 15, 2023
  1

• Add dedicated setting for steady-state computation method

  prismmodelchecker/prism#209 · Filter by author merkste opened on Feb 15, 2023

• [GUI] Small values are rounded to zero when hovering a point in a graph

  prismmodelchecker/prism#207 · Filter by author merkste opened on Jan 12, 2023
  1

• [GUI] Constant definitions for verify action get lost after model reload

  prismmodelchecker/prism#206 · Filter by author merkste opened on Jan 12, 2023
  1

• [GUI] Keyboard shortcuts in Properties tab sometimes do not trigger

  prismmodelchecker/prism#205 · Filter by author merkste opened on Jan 12, 2023

• Define experiment constants as list of values

  prismmodelchecker/prism#199 · Filter by author merkste opened on Jul 27, 2022

• Make precision of result export configurable

  prismmodelchecker/prism#186 · Filter by author merkste opened on Feb 14, 2022

• Labels cannot be defined in terms of other labels

  prismmodelchecker/prism#178 · Filter by author merkste opened on Feb 1, 2022

• GUI freezes and throws exception on model dialogs

  prismmodelchecker/prism#160 · Filter by author merkste opened on May 4, 2021
  3

• PTA, Digital Clocks, Negation

  prismmodelchecker/prism#141 · Filter by author proteusGIT opened on Oct 27, 2020
  2

• Explicit import of multiple rewards

  prismmodelchecker/prism#135 · Filter by author merkste opened on Aug 11, 2020
  2

• Symbolic export (and import?) of models

  enhancement
  prismmodelchecker/prism#124 · Filter by author kleinj opened on Aug 31, 2019

• Show example state whenever probabilties sum up to more or less than one.

  prismmodelchecker/prism#105 · Filter by author HansvdLaan opened on Dec 29, 2018
  1

• No help available for steadystate/transient switch

  documentationUI
  prismmodelchecker/prism#97 · Filter by author HansvdLaan opened on Dec 4, 2018
  2

• Silent cast errors.

  prismmodelchecker/prism#92 · Filter by author merkste opened on Sep 28, 2018
  1

• Windows: Handle -javamaxmem when starting via BAT

  enhancementhelp wantedUI
  prismmodelchecker/prism#82 · Filter by author kleinj opened on Jun 7, 2018

• Handling for huge integers in the parser

  enhancement
  prismmodelchecker/prism#70 · Filter by author kleinj opened on Mar 22, 2018
  1

  

• Allow unbounded -maxiters

  enhancement
  prismmodelchecker/prism#69 · Filter by author kleinj opened on Mar 22, 2018
  6