Skip to content

Issues: prismmodelchecker/prism

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

40 Open 64 Closed
40 Open 64 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Undetected infinite multi-objective reward
#253 opened Oct 29, 2024 by Chickenpowerrr
Problems building with Eclipse on MacOS with M1
#252 opened Sep 26, 2024 by rpgoldman
1
[GUI] Not loading files in save/load windows when "unmappable characters" present in folder
#243 opened May 10, 2024 by guero777
[GUI] Loading large Property-files takes very long
#230 opened May 16, 2023 by DX3253
[Tracking] Build toolchain revamp
#223 opened Mar 31, 2023 by spacefrogg
1
Nailgun mode fails for Java 19
#221 opened Mar 28, 2023 by davexparker
2
Short-circuiting during model checking
#211 opened Feb 17, 2023 by davexparker
Return exit code > 0 if an error occurs
#210 opened Feb 15, 2023 by merkste
Add dedicated setting for steady-state computation method
#209 opened Feb 15, 2023 by merkste
[GUI] Small values are rounded to zero when hovering a point in a graph
#207 opened Jan 12, 2023 by merkste
1
[GUI] Constant definitions for verify action get lost after model reload
#206 opened Jan 12, 2023 by merkste
1
[GUI] Keyboard shortcuts in Properties tab sometimes do not trigger
#205 opened Jan 12, 2023 by merkste
Define experiment constants as list of values
#199 opened Jul 27, 2022 by merkste
Set SONAME on created libraries
#190 opened Feb 22, 2022 by incaseoftrouble
4
Make precision of result export configurable
#186 opened Feb 14, 2022 by merkste
Labels cannot be defined in terms of other labels
#178 opened Feb 1, 2022 by merkste
GUI freezes and throws exception on model dialogs
#160 opened May 4, 2021 by merkste
3
PTA, Digital Clocks, Negation
#141 opened Oct 27, 2020 by proteusGIT
2
Explicit import of multiple rewards
#135 opened Aug 11, 2020 by merkste
2
Symbolic export (and import?) of models enhancement
#124 opened Aug 31, 2019 by kleinj
Show example state whenever probabilties sum up to more or less than one.
#105 opened Dec 29, 2018 by HansvdLaan
1
No help available for steadystate/transient switch documentation Manual, etc UI
#97 opened Dec 4, 2018 by HansvdLaan
2
Silent cast errors.
#92 opened Sep 28, 2018 by merkste
1
Windows: Handle -javamaxmem when starting via BAT enhancement help wanted UI
#82 opened Jun 7, 2018 by kleinj
explicit/SCCComputerTarjan.tarjan() crashes to stack overflow for larger models
#77 opened May 28, 2018 by ghost
3
ProTip! no:milestone will show everything without a milestone.