Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Protocol combinators #60

Merged
merged 9 commits into from
Nov 13, 2024
Merged

Protocol combinators #60

merged 9 commits into from
Nov 13, 2024

Commits on Nov 1, 2024

  1. Remove the make_direct_message() shortcut

    @fjarri
    fjarri committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    aed78d0 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2024

  1. Rename FirstRound to EntryPoint

    @fjarri
    fjarri committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    a9e6d4d View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Add BoxedRound type to wrap Box<dyn ObjectSafeRound>

    @fjarri
    fjarri committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    24fb8ad View commit details
    Browse the repository at this point in the history

  2. Add an impl of ProtocolError for ()

    @fjarri
    fjarri committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    3f7eafa View commit details
    Browse the repository at this point in the history

  3. Add a dummy CorrectnessProof trait, to be extended elsewhere

    @fjarri
    fjarri committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    be30e0d View commit details
    Browse the repository at this point in the history

  4. Add serialization to the bounds of PartyId, ProtocolError, and Correc… 

    …tnessProof
    @fjarri
    fjarri committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    e8ff740 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Add Misbehaving combinator

    @fjarri
    fjarri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    f5d5bd7 View commit details
    Browse the repository at this point in the history

  2. Add Chain combinator

    @fjarri
    fjarri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    891bd04 View commit details
    Browse the repository at this point in the history

  3. Use tinyvec instead of a fixed-size array in RoundId

    @fjarri
    fjarri committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    600cf85 View commit details
    Browse the repository at this point in the history