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

Use the booster backend and small improvements. #12

Merged
merged 15 commits into from
Oct 7, 2023
Merged

Use the booster backend and small improvements. #12

merged 15 commits into from
Oct 7, 2023

Commits on Oct 2, 2023

  1. Prove lemmas

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    1c0769f View commit details
    Browse the repository at this point in the history

  2. Run json claims

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    0eef9ee View commit details
    Browse the repository at this point in the history

  3. Make json claims work

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    092f78f View commit details
    Browse the repository at this point in the history

  4. Small fixes

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    05a36b7 View commit details
    Browse the repository at this point in the history

  5. Multisig improvements

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    560ce60 View commit details
    Browse the repository at this point in the history

  6. Refactoring property testing

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    bcdc076 View commit details
    Browse the repository at this point in the history

  7. Add missing lemmas

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    dd5f34d View commit details
    Browse the repository at this point in the history

  8. Use the booster backend

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    f5e0969 View commit details
    Browse the repository at this point in the history

  9. Fixes

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    397b86d View commit details
    Browse the repository at this point in the history

  10. Tests

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    d4532a4 View commit details
    Browse the repository at this point in the history

  11. Testing

    @virgil-serbanuta
    virgil-serbanuta committed Oct 2, 2023
    Configuration menu
    Copy the full SHA
    06c002a View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Update the Elrond semantics

    @virgil-serbanuta
    virgil-serbanuta committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    4a9478a View commit details
    Browse the repository at this point in the history

  2. Fix lint warnings

    @virgil-serbanuta
    virgil-serbanuta committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    a36c20c View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Fix .ProofOperationList name

    @virgil-serbanuta
    virgil-serbanuta committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    b790832 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Remove unused variable

    @virgil-serbanuta
    virgil-serbanuta committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    4497c78 View commit details
    Browse the repository at this point in the history