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

Refactored TimeoutQC to contain just one CommitQC #144

Merged
merged 4 commits into from
Jul 8, 2024
Merged

Refactored TimeoutQC to contain just one CommitQC #144

merged 4 commits into from
Jul 8, 2024

Commits on Jul 2, 2024

  1. Refactored TimeoutQC to contain just one CommitQC. This reduces the s… 

    …tate space and helps with proving.
    @brunoffranca
    brunoffranca committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    4ac4e45 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Merge branch 'main' into bf-timeout-qc-refactor

    @brunoffranca
    brunoffranca authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c5ff3a1 View commit details
    Browse the repository at this point in the history

  2. Update spec/informal-spec/types.rs 

    Co-authored-by: Igor Konnov <[email protected]>
    @brunoffranca @konnov
    brunoffranca and konnov authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6b73a47 View commit details
    Browse the repository at this point in the history

  3. Fixed PR comments.

    @brunoffranca
    brunoffranca committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    288c1db View commit details
    Browse the repository at this point in the history