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

Algod: Compcert msg into struct #3742

Merged
merged 34 commits into from
Mar 14, 2022
Merged

Algod: Compcert msg into struct #3742

merged 34 commits into from
Mar 14, 2022

Commits on Mar 6, 2022

  1. compactcert msgpo type and domain separator

    @algonathan
    algonathan committed Mar 6, 2022
    Configuration menu
    Copy the full SHA
    e82dec5 View commit details
    Browse the repository at this point in the history

  2. compactcert msgpo type and domain separator

    @algonathan
    algonathan committed Mar 6, 2022
    Configuration menu
    Copy the full SHA
    5ed385f View commit details
    Browse the repository at this point in the history

  3. compcerts to work with fixed size messages

    @algonathan
    algonathan committed Mar 6, 2022
    Configuration menu
    Copy the full SHA
    913f01d View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2022

  1. copying message.Hash instead of saving it while cfalcon isn't fixec

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    f90f5d1 View commit details
    Browse the repository at this point in the history

  2. fix: working with Message struct instead of []byte

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    1715082 View commit details
    Browse the repository at this point in the history

  3. fix: import order

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    ebcfbb0 View commit details
    Browse the repository at this point in the history

  4. fix: used the wrong variable inside test

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    4a1aa4a View commit details
    Browse the repository at this point in the history

  5. Renamed message into stateproofMessage

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    e305a7a View commit details
    Browse the repository at this point in the history

  6. Renamed message into stateproofMessage

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    e41e8db View commit details
    Browse the repository at this point in the history

  7. added todo comment

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    7fe0ed9 View commit details
    Browse the repository at this point in the history

  8. renamed the hashtype

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    2749532 View commit details
    Browse the repository at this point in the history

  9. moving stateProofMessage from crypto/compcert to compcert

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    14936b5 View commit details
    Browse the repository at this point in the history

  10. moving stateProofMessage from crypto/compcert to data/stateproof

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    f46ada1 View commit details
    Browse the repository at this point in the history

  11. using stateproof messages

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    cf4d4b2 View commit details
    Browse the repository at this point in the history

  12. fix: unit test which i've edited by accident

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    99c78da View commit details
    Browse the repository at this point in the history

  13. fix: e2e-test

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    f4e508a View commit details
    Browse the repository at this point in the history

  14. fix: e2e-test

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    e269493 View commit details
    Browse the repository at this point in the history

  15. fix: missing liscense

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    4fbd24b View commit details
    Browse the repository at this point in the history

  16. removed empty line

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    06b528c View commit details
    Browse the repository at this point in the history

  17. removing pointer usage

    @algonathan
    algonathan committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    813ffef View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2022

  1. modified v1 certMsg into a msgpacked msg

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    8abfa25 View commit details
    Browse the repository at this point in the history

  2. modified v1 certMsg into a msgpacked msg

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    ebb3ac0 View commit details
    Browse the repository at this point in the history

  3. adding '.' at end of sentence

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    24e41ac View commit details
    Browse the repository at this point in the history

  4. renaming stateproof.Message field name

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    41de811 View commit details
    Browse the repository at this point in the history

  5. rebuild_swagger

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    fc5eb4e View commit details
    Browse the repository at this point in the history

  6. Merge branch 'feature/stateproofs' into compcert-msg

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    615bb47 View commit details
    Browse the repository at this point in the history

  7. changed comment

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    cec1aac View commit details
    Browse the repository at this point in the history

  8. ToBeHashed using protocol.Encode

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    0ea40c2 View commit details
    Browse the repository at this point in the history

  9. ToBeHashed using protocol.Encode

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    70a364f View commit details
    Browse the repository at this point in the history

  10. import order

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    51f8f88 View commit details
    Browse the repository at this point in the history

  11. removed extra space

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    1a466d3 View commit details
    Browse the repository at this point in the history

  12. moved creating the messageGeneration out of the loop

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    46a7237 View commit details
    Browse the repository at this point in the history

  13. fix: changed by accident some unit test

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    6cd86ab View commit details
    Browse the repository at this point in the history

  14. fix: ordering the domain separators

    @algonathan
    algonathan committed Mar 14, 2022
    Configuration menu
    Copy the full SHA
    6c00224 View commit details
    Browse the repository at this point in the history