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

saw-remote-api/feat/saw llvm tweaks #1026

Merged
merged 8 commits into from
Jan 21, 2021
Merged

saw-remote-api/feat/saw llvm tweaks #1026

merged 8 commits into from
Jan 21, 2021

Commits on Jan 21, 2021

  1. saw-remote-api: use new saw.llvm python bindings

    Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    80cd1b4 View commit details
    Browse the repository at this point in the history

  2. saw-remote-apiP WIP HMAC SAW proof using python frontend

    Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    0b67bdf View commit details
    Browse the repository at this point in the history

  3. saw-remote-api: WIP HMAC save: struct values support added, minimal s… 

    …truct test case added
    Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    683b655 View commit details
    Browse the repository at this point in the history

  4. WIP: Translation of drbg example from saw script to python/saw api (a… 

    …rgo)
    @dagit
    dagit authored and Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    24aa820 View commit details
    Browse the repository at this point in the history

  5. saw-remote-api/chore: move in-progress python proofs

    Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    ca7304a View commit details
    Browse the repository at this point in the history

  6. fix: saw-remote-api use mkDefaultApp from Argo

    Andrew Kent committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    49b0eb7 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into saw-remote-api/feat/saw-llvm-tweaks

    Andrew Kent authored Jan 21, 2021
    Configuration menu
    Copy the full SHA
    aa13acd View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into saw-remote-api/feat/saw-llvm-tweaks

    Andrew Kent authored Jan 21, 2021
    Configuration menu
    Copy the full SHA
    82c36fa View commit details
    Browse the repository at this point in the history