Pull requests: input-output-hk/ouroboros-high-assurance

4 Open 37 Closed

Author

Filter by author

author:

Filter by this user

Label

Filter by label

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

assignee:

Filter by this user

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Informally prove correctness property of the chain sync mini-protocol with fixed chain type: enhancement

#100 opened Jan 19, 2024 by javierdiaz72 Loading…

1

Formally specify correctness property of the chain sync mini-protocol with fixed chain type: enhancement

#98 opened Jan 15, 2024 by javierdiaz72 Loading… Delivery of the verification of the chain synchronization protocol

1

1

Address feedback from Praos specification walkthrough type: enhancement

#66 opened Sep 5, 2023 by javierdiaz72 • Draft Delivery of the Ouroboros Praos specification

1

1

Document the design decisions of the Praos specification type: enhancement

#38 opened Apr 28, 2023 by javierdiaz72 Loading… Delivery of the Ouroboros Praos specification

1