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

Move some specs from remote spec table into local repo #116

Merged
merged 21 commits into from
Feb 1, 2024
Merged

Move some specs from remote spec table into local repo #116

merged 21 commits into from
Feb 1, 2024

Commits on Jan 28, 2024

  1. Removed remote spec already present in repo 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    25122f4 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Internalized byihive specs, added models 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    7994fbe View commit details
    Browse the repository at this point in the history

  2. Fixed links for 802.16 spec 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    c80c264 View commit details
    Browse the repository at this point in the history

  3. Added Murat's spec to transaction_commit 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    90fe30c View commit details
    Browse the repository at this point in the history

  4. Added models to manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    c908647 View commit details
    Browse the repository at this point in the history

  5. Changed source field to sources in manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    18bfb3a View commit details
    Browse the repository at this point in the history

  6. Added some source links to manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    7bce327 View commit details
    Browse the repository at this point in the history

  7. Added acp-sb to local specs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    86a0ebc View commit details
    Browse the repository at this point in the history

  8. Added acp-nb specs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    a601172 View commit details
    Browse the repository at this point in the history

  9. Added acp-nb-wrong specs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    2b00ec4 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Added byzpaxos specs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    ca1dac7 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Added models for byzpaxos 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    cb9acd3 View commit details
    Browse the repository at this point in the history

  2. Fixed manifest schema 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    793a441 View commit details
    Browse the repository at this point in the history

  3. Added missing fields to byihive specs in manifest 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    f2ede75 View commit details
    Browse the repository at this point in the history

  4. Added missing flags to README 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    d3536f9 View commit details
    Browse the repository at this point in the history

  5. Skip failing/long-running proofs 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    d0e53cc View commit details
    Browse the repository at this point in the history

  6. Reformatted markdown tables in readme 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    8bda6f4 View commit details
    Browse the repository at this point in the history

  7. Added beginner column to remote spec table 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    a124725 View commit details
    Browse the repository at this point in the history

  8. Merged changes from master 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    8aad761 View commit details
    Browse the repository at this point in the history

  9. Fixed authors in readme table 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    b9bace5 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Updated README instructions 

    Signed-off-by: Andrew Helwer <[email protected]>
    @ahelwer
    ahelwer committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    05c123f View commit details
    Browse the repository at this point in the history