Skip to content

Pull requests: prismmodelchecker/prism

New pull request New
18 Open 131 Closed
18 Open 131 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 reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Pass LP results for multi-objective achievability queries
#244 opened Jun 14, 2024 by Chickenpowerrr Loading…
[GUI] Fixing slow loading of Property-files (Issue #230)
#231 opened May 16, 2023 by DX3253 Loading…
PrismCL: Allow "-switch:options file" as well as "-switch file:options".
#225 opened Apr 18, 2023 by davexparker Loading…
1
Use primitive iterator OfInt in Model
#224 opened Apr 18, 2023 by merkste Loading…
M lfor ii
#200 opened Sep 6, 2022 by sadeghrk Loading…
3
Adding support for labels inside labels
#193 opened Apr 21, 2022 by maxkurze1 Loading…
MDP solution via linear programming for explicit engine.
#149 opened Feb 7, 2021 by davexparker Loading…
Additional timelock check
#148 opened Jan 29, 2021 by SchneiderSven Loading…
Add DTMCSimple constructor which takes transition probability matrix …
#142 opened Oct 29, 2020 by lisaoakley Loading…
Simplify class Interval
#137 opened Sep 4, 2020 by merkste Loading…
3
HOA path formulas enhancement
#129 opened Mar 26, 2020 by kleinj Loading…
2 tasks
Implement unbounded iterations #69 WIP Work in progress/under discussion, not ready for merge
#120 opened May 10, 2019 by merkste Loading…
2
Replace home-grown iterators and map entries with proper types
#117 opened May 9, 2019 by merkste Loading…
Expose state sorting option in prism.Prism
#102 opened Dec 17, 2018 by chrisnovakovic Loading…
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 merkste Loading…
2
Primitive, binary-search Distribution object
#67 opened Mar 20, 2018 by incaseoftrouble Loading…
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 merkste Loading…
2
Improve initial states generation
#58 opened Mar 3, 2018 by merkste Loading…
1
ProTip! Follow long discussions with comments:>50.