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

Add SAW proofs for integration of Arm proofs for SHA384 #128

Merged
merged 7 commits into from
Dec 6, 2023
Merged

Add SAW proofs for integration of Arm proofs for SHA384 #128

merged 7 commits into from
Dec 6, 2023

Commits on Nov 28, 2023

  1. Add SAW proofs for Arm proof integration

    @pennyannn
    pennyannn committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    a29a7d1 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. SHA384 proofs pass, SHA512 with a weird safety check error

    @pennyannn
    pennyannn committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    5e38de6 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Refactor existing SHA512 proofs to allow multiple architecture

    @pennyannn
    pennyannn committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0316cd9 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Refactor SHA2 defines and machine capability setup

    @pennyannn
    pennyannn committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    a4138d8 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

  1. Refactor README

    @pennyannn
    pennyannn committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    8de78d9 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Review pass one

    @pennyannn
    pennyannn committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    0d2904c View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Review pass two

    @pennyannn
    pennyannn committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    27aeac8 View commit details
    Browse the repository at this point in the history