Skip to content

Pull requests: GillianPlatform/Gillian

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

fix issue #312: show counter example and failing model
#318 opened Oct 25, 2024 by klausnat Loading…
Remove Asrt.Star (fix #159)
#316 opened Oct 10, 2024 by N1ark Draft
Something is over-approx for some reason...
#301 opened Jul 8, 2024 by giltho Loading…
Fractional permissions
#247 opened May 10, 2023 by TiberiuBucur Draft
ProTip! What’s not been updated in a month: updated:<2024-10-13.