issues
search
prismmodelchecker
/
prism
The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157
stars
72
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Undetected infinite multi-objective reward
#253
Chickenpowerrr
opened
4 weeks ago
0
Problems building with Eclipse on MacOS with M1
#252
rpgoldman
opened
2 months ago
1
Robots2
#251
heuristicus
closed
2 months ago
0
Import from explicit files
#250
davexparker
closed
2 months ago
0
Refactoring: API, parametric/exact, symbolic
#249
davexparker
closed
3 months ago
0
Update cudd: Fix IEEE 754 +Infinity check in configure script
#248
davexparker
closed
3 months ago
0
Explicit engine Markov chain actions and transition rewards
#247
davexparker
closed
3 months ago
0
Explicit engine model export refactoring and enhancements
#246
davexparker
closed
4 months ago
0
Robots2
#245
bfalacerda
closed
5 months ago
0
Pass LP results for multi-objective achievability queries
#244
Chickenpowerrr
opened
5 months ago
0
[GUI] Not loading files in save/load windows when "unmappable characters" present in folder
#243
guero777
opened
6 months ago
0
Minor fixes to "make release".
#242
davexparker
closed
10 months ago
0
contribution guide
#241
saona-raimundo
closed
9 months ago
1
Build process tidying
#240
davexparker
closed
10 months ago
0
CUDD 3
#239
davexparker
closed
10 months ago
0
CI updates
#238
davexparker
closed
10 months ago
0
NullPointerException with -transient in 4.8
#237
ningit
closed
10 months ago
5
Detached
#236
dragos296marin
closed
1 year ago
0
Allow `loadModelGenerator()` to be used with `loadPRISMModel()`
#235
ifndefJOSH
closed
1 year ago
2
Build PRISM using Maven or Gradle and publish to MavenCentral
#234
ifndefJOSH
closed
1 year ago
1
Fix for issue 232
#233
merkste
closed
1 year ago
1
Properties are checked twice for each undefined boolean constants
#232
merkste
closed
1 year ago
1
[GUI] Fixing slow loading of Property-files (Issue #230)
#231
DX3253
opened
1 year ago
0
[GUI] Loading large Property-files takes very long
#230
DX3253
opened
1 year ago
0
Strategy generation/visualisation (explicit engine)
#229
davexparker
closed
1 year ago
0
Make transition and state reward export header consitent.
#228
LudwigPauly
closed
1 year ago
0
Inconsistency between state and transition reward headers
#227
LudwigPauly
closed
1 year ago
0
Allow min/max expressions with 1 argument
#226
merkste
closed
1 year ago
2
PrismCL: Allow "-switch:options file" as well as "-switch file:options".
#225
davexparker
opened
1 year ago
1
Use primitive iterator OfInt in Model
#224
merkste
opened
1 year ago
0
[Tracking] Build toolchain revamp
#223
spacefrogg
opened
1 year ago
1
Implement concat as static function
#222
merkste
closed
1 year ago
0
Nailgun mode fails for Java 19
#221
davexparker
opened
1 year ago
2
Generic model classes
#220
davexparker
closed
1 year ago
0
Adapt reward export header format
#219
merkste
closed
1 year ago
1
Changing all Vectors to ArrayLists
#218
maxkurze1
closed
1 year ago
1
Refactor clone and adding a DeepCopy-Visitor
#217
maxkurze1
closed
1 year ago
0
Fixes #215
#216
merkste
closed
1 year ago
0
prism-out broken due to unknown function list.copy()
#215
merkste
closed
1 year ago
0
Port prism-auto to Python 3
#214
merkste
closed
1 year ago
3
Parametric model-checking with many parameters
#213
carlhenrikrolf
closed
1 year ago
1
Implement short-circuiting of &,|,->,? during (explicit engine) model checking.
#212
davexparker
closed
1 year ago
3
Short-circuiting during model checking
#211
davexparker
opened
1 year ago
0
Return exit code > 0 if an error occurs
#210
merkste
opened
1 year ago
0
Add dedicated setting for steady-state computation method
#209
merkste
opened
1 year ago
0
MacOS: unable to locate java runtime
#208
ahelwer
closed
1 year ago
4
[GUI] Small values are rounded to zero when hovering a point in a graph
#207
merkste
opened
1 year ago
1
[GUI] Constant definitions for verify action get lost after model reload
#206
merkste
opened
1 year ago
1
[GUI] Keyboard shortcuts in Properties tab sometimes do not trigger
#205
merkste
opened
1 year ago
0
Strategy generation: code update + GUI functionality
#204
davexparker
closed
1 year ago
0
Next