Skip to content

Pull requests: prismmodelchecker/prism

New pull requestNew
20 Open 167 Closed
20 Open 167 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
Reviews
Filter by reviews
No reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

Add missing reward computation functionality, including discounts
#295 opened Aug 14, 2026 by davexparkerMemberLoading…
6
Plug-in mechanism + Gurobi + explicit engine MDP LP solution
#288 opened Jun 25, 2026 by davexparkerMemberLoading…
5
Fix Initial States and Transitions Strings in GUI
#283 opened May 27, 2026 by AnimeboynzLoading…
Pass LP results for multi-objective achievability queries
#244 opened Jun 14, 2024 by ChickenpowerrrLoading…
[GUI] Fixing slow loading of Property-files (Issue #230)
#231 opened May 16, 2023 by DX3253Loading…
PrismCL: Allow "-switch:options file" as well as "-switch file:options".
#225 opened Apr 18, 2023 by davexparkerMemberLoading…
1
Use primitive iterator OfInt in Model
#224 opened Apr 18, 2023 by merksteContributorLoading…
Adding support for labels inside labels
#193 opened Apr 21, 2022 by maxkurze1ContributorLoading…
MDP solution via linear programming for explicit engine.
#149 opened Feb 7, 2021 by davexparkerMemberLoading…
4
Additional timelock check
#148 opened Jan 29, 2021 by SchneiderSvenLoading…
Add DTMCSimple constructor which takes transition probability matrix …
#142 opened Oct 29, 2020 by lisaoakleyLoading…
Simplify class Interval
#137 opened Sep 4, 2020 by merksteContributorLoading…
3
HOA path formulas enhancement
#129 opened Mar 26, 2020 by kleinjMemberLoading…
2 tasks
Implement unbounded iterations #69 WIP Work in progress/under discussion, not ready for merge
#120 opened May 10, 2019 by merksteContributorLoading…
2
Replace home-grown iterators and map entries with proper types
#117 opened May 9, 2019 by merksteContributorLoading…
Expose state sorting option in prism.Prism
#102 opened Dec 17, 2018 by chrisnovakovicContributorLoading…
1
Implement reduceTransitions to allow efficient accumulation over transitions WIP Work in progress/under discussion, not ready for merge
#78 opened Jun 4, 2018 by merksteContributorLoading…
2
Primitive, binary-search Distribution object
#67 opened Mar 20, 2018 by incaseoftroubleLoading…
2
Do not unfold the AST on deep-copying WIP Work in progress/under discussion, not ready for merge
#66 opened Mar 9, 2018 by merksteContributorLoading…
2
Improve initial states generation
#58 opened Mar 3, 2018 by merksteContributorLoading…
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.