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 an llvm backend library in exec_prove with --use-booster #2069

Merged
merged 14 commits into from
Sep 19, 2023
Merged

Use an llvm backend library in exec_prove with --use-booster #2069

merged 14 commits into from
Sep 19, 2023

Commits on Sep 14, 2023

  1. set llvm_definition_dir in exec_prove when use_booster

    @jberthold
    jberthold committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    c0a956e View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.292

    devops committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    23aa0b8 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2023

  1. Merge branch 'master' into HOTFIX-use-llvm-lib-in-booster-proofs

    @ehildenb
    ehildenb authored Sep 17, 2023
    Configuration menu
    Copy the full SHA
    b7b935f View commit details
    Browse the repository at this point in the history

  2. Set Version: 1.0.293

    devops committed Sep 17, 2023
    Configuration menu
    Copy the full SHA
    ac8d54a View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. tests/specs/erc20/verification: adjust to be kompilable with llvm-lib… 

    …rary for booster
    @ehildenb @jberthold
    ehildenb authored and jberthold committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    fc1f5a6 View commit details
    Browse the repository at this point in the history

  2. tests/specs/erc20/evm-symbolic: remove unused file

    @ehildenb @jberthold
    ehildenb authored and jberthold committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    f65d1f4 View commit details
    Browse the repository at this point in the history

  3. tests/specs/mcd: remove remaining use of nthbyteof/asByteStackInWidth

    @ehildenb @jberthold
    ehildenb authored and jberthold committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    0acdf87 View commit details
    Browse the repository at this point in the history

  4. tests/specs/mcd/verification: simplify import structure and allow boo… 

    …ster usage
    @ehildenb @jberthold
    ehildenb authored and jberthold committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    cbeb8bc View commit details
    Browse the repository at this point in the history

  5. tests/specs/erc20/verification: correct import structure for booster/… 

    …llvm backend
    @ehildenb @jberthold
    ehildenb authored and jberthold committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    0cbd0d4 View commit details
    Browse the repository at this point in the history

  6. Set Version: 1.0.294

    devops committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    6444a1f View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into HOTFIX-use-llvm-lib-in-booster-proofs

    @jberthold
    jberthold authored Sep 19, 2023
    Configuration menu
    Copy the full SHA
    acb4d92 View commit details
    Browse the repository at this point in the history

  8. Set Version: 1.0.294

    devops committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    41cf2d3 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'master' into HOTFIX-use-llvm-lib-in-booster-proofs

    @ehildenb
    ehildenb authored Sep 19, 2023
    Configuration menu
    Copy the full SHA
    97e23ce View commit details
    Browse the repository at this point in the history

  10. Set Version: 1.0.295

    devops committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    a6545d4 View commit details
    Browse the repository at this point in the history