-
Notifications
You must be signed in to change notification settings - Fork 26
Pull requests: prismmodelchecker/prism-games
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
PrismCL: Allow overriding the model type to a game (STPG, SMG)
#2
opened Jun 20, 2018 by
kleinj
Loading…
ProTip!
Adding no:label will show everything without a label.