Skip to content
This repository has been archived by the owner on Apr 12, 2023. It is now read-only.

Pull requests: jcp19/oldVerifiedSCION

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

Test with chop
#69 opened Apr 25, 2022 by jcp19 Loading…
Tlino msc io spec 2
#64 opened Feb 25, 2022 by LinoTelschow Loading…
IO spec
#62 opened Jan 30, 2022 by LinoTelschow Draft
Simplification in scion.gobra
#54 opened Dec 13, 2021 by jcp19 Draft
Add missing termination proofs
#53 opened Nov 27, 2021 by jcp19 Draft
scion.gobra: try to verify method that takes too long
#47 opened Nov 23, 2021 by jcp19 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.