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

Formal specification: Ledger construction #65

Merged
merged 31 commits into from
Nov 15, 2024
Merged

Formal specification: Ledger construction #65

merged 31 commits into from
Nov 15, 2024

Commits on Nov 1, 2024

  1. Base chain

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

  2. Most recently stored transactions from mempool

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

  3. Use renaming

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

  4. Use renaming

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

  5. Added SUBMIT as Leios input

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

Commits on Nov 4, 2024

  1. Construct ledger

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

  2. Key registration functionality

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

  3. Key registration

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

  4. Minor cleanup

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

  5. Readability

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

  6. Readability

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

  7. Separate steps

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

  8. Same as base chain

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

  9. Merge branch 'yveshauser/base-chain' into yveshauser/ledger-construction

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

  10. Formatting

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

  11. Formatting

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

Commits on Nov 5, 2024

  1. Comment

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    022e3b1 View commit details
    Browse the repository at this point in the history

  2. MemPool consists only of most recent txs

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    74c8d78 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yveshauser/base-chain' into yveshauser/ledger-construction

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

  4. Notation

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    f149894 View commit details
    Browse the repository at this point in the history

  5. Formatting

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    b1a2676 View commit details
    Browse the repository at this point in the history

  6. Renaming

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9674d39 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into yveshauser/ledger-construction

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    2f67eb8 View commit details
    Browse the repository at this point in the history

  8. Lost when merging

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    16a59ff View commit details
    Browse the repository at this point in the history

  9. Minor

    @yveshauser
    yveshauser committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    ba49c60 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Update formal-spec/Leios/SimpleSpec.agda 

    Co-authored-by: Andre Knispel <[email protected]>
    @yveshauser @WhatisRT
    yveshauser and WhatisRT authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    f500da0 View commit details
    Browse the repository at this point in the history

  2. Unused import

    @yveshauser
    yveshauser committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    50ee30a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into yveshauser/ledger-construction

    @yveshauser
    yveshauser authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    594a37d View commit details
    Browse the repository at this point in the history

  4. Formatting

    @yveshauser
    yveshauser committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    ac516e6 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. Reverting to previous notation for step relation

    @yveshauser
    yveshauser committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    a1d8f8a View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. Formal specification: Message fetching (#69) 

    * Fetching messages and updating the state

* Validity predicates for headers and bodies

* Safe pragma

* Moving code to functionalities
    @yveshauser
    yveshauser authored Nov 15, 2024
    Configuration menu
    Copy the full SHA
    4649730 View commit details
    Browse the repository at this point in the history