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

Labels 8 Milestones 10

New pull request New

4 Open 37 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

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

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…

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

Address feedback from Praos specification walkthrough type: enhancement

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

Document the design decisions of the Praos specification type: enhancement

#38 opened Apr 28, 2023 by javierdiaz72

Loading…

Delivery of the Ouroboros Praos specification

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly