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 fast summarization for Kontrol proofs #9092

Merged
merged 23 commits into from
Jan 23, 2024
Merged

Add fast summarization for Kontrol proofs #9092

merged 23 commits into from
Jan 23, 2024

Commits on Jan 18, 2024

  1. KontrolDeployment: move to deployment folder

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    ace7885 View commit details
    Browse the repository at this point in the history

  2. Add DeploymentSummary.t.sol

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    847d4a9 View commit details
    Browse the repository at this point in the history

  3. DeploymentSummary: vm visivility from internal to private

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    5ce1e7d View commit details
    Browse the repository at this point in the history

  4. KontrolUtils: vm visivility form private to internal

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    f6e0c9a View commit details
    Browse the repository at this point in the history

  5. Add fast summarization; run finalizeWithdrawalTransaction proof

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    0f8ab05 View commit details
    Browse the repository at this point in the history

  6. Delete dummy proofs

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    3f5d419 View commit details
    Browse the repository at this point in the history

  7. README.md: Reflect deployment folder & deletion of proofs/tests

    @JuanCoRo
    JuanCoRo committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    58982f5 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. run-kontrol.sh: fix path for Kontrol-Deploy.json

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    dad86e3 View commit details
    Browse the repository at this point in the history

  2. OptimismPortal_Test: set virtual functions to override in Kontrol… 

    … summary test
    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    0fb9cc9 View commit details
    Browse the repository at this point in the history

  3. DeploymentSummary_Test: Tidy up & remove innecessary code

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    8b7710d View commit details
    Browse the repository at this point in the history

  4. versions.json: bump Kontrol from 0.1.117 to 0.1.121

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    dc0178e View commit details
    Browse the repository at this point in the history

  5. Update Kontrol-Deploy.json

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    f887763 View commit details
    Browse the repository at this point in the history

  6. run-kontrol.sh: remove bmc proving mode

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    27aaba4 View commit details
    Browse the repository at this point in the history

  7. OptimismPortalKontrol: inline setUp function

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    643e22e View commit details
    Browse the repository at this point in the history

  8. OptimismPortal_Test: fix typo in comments

    @JuanCoRo
    JuanCoRo committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    ca01f4b View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Prettify snapshots/state-diff/Kontrol-Deploy.json

    @JuanCoRo
    JuanCoRo committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f4dcdbf View commit details
    Browse the repository at this point in the history

  2. run-kontrol.sh: add logs to test/kontrol/logs instead of root

    @JuanCoRo
    JuanCoRo committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a78dbca View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/develop' into kontrol-fast-summa… 

    …rization
    @JuanCoRo
    JuanCoRo committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a903972 View commit details
    Browse the repository at this point in the history

  4. Update Kontrol deployment summary

    @JuanCoRo
    JuanCoRo committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    558d860 View commit details
    Browse the repository at this point in the history

  5. DeploymentSummary_Test: Update test_constructor_suceeds; add `tes… 

    …t_initialize_succeeds`
    @JuanCoRo
    JuanCoRo committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    478b5d4 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. DeploymentSummary_Test: fix typos

    @JuanCoRo
    JuanCoRo committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    7f1c7aa View commit details
    Browse the repository at this point in the history

  2. DeploymentSummary_Test: remove vm.skip(true)

    @JuanCoRo
    JuanCoRo committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    71381d4 View commit details
    Browse the repository at this point in the history

  3. OptimismPortalKontrol: simplify test logic

    @JuanCoRo
    JuanCoRo committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    627e387 View commit details
    Browse the repository at this point in the history