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

Context Gas per Function ⛽ #1570

Merged
merged 16 commits into from
Sep 23, 2024
Merged

Context Gas per Function ⛽ #1570

merged 16 commits into from
Sep 23, 2024

Commits on Sep 20, 2024

  1. Modularize out details of the current approach

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    b148e20 View commit details
    Browse the repository at this point in the history

  2. Actually rely on lattice structure for gas

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    05520ec View commit details
    Browse the repository at this point in the history

  3. Add PerFunctionGas module

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    dc84b4a View commit details
    Browse the repository at this point in the history

  4. Complete thread_gas

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    300a195 View commit details
    Browse the repository at this point in the history

  5. Expose context gas scope via option

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    33aee5a View commit details
    Browse the repository at this point in the history

  6. Two regresion tests

    @michael-schwarz
    michael-schwarz committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    3c0ff8c View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. Give JoinCall f as an argument to avoid having to overaproxximate g… 

    …as status
    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    a70c172 View commit details
    Browse the repository at this point in the history

  2. Outdated comment

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    1c2c428 View commit details
    Browse the repository at this point in the history

  3. Fix compilation

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    d2fc476 View commit details
    Browse the repository at this point in the history

  4. I won the fight with first-class modules

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    5ea31d5 View commit details
    Browse the repository at this point in the history

  5. Comment why top is maximal gas. 

    Co-authored-by: Julian Erhard <[email protected]>
    @michael-schwarz @jerhard
    michael-schwarz and jerhard committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    d421731 View commit details
    Browse the repository at this point in the history

  6. Embrace dynamic nature of everything

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    3ee79bf View commit details
    Browse the repository at this point in the history

  7. Make contextGasLifter its own module

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    426ec69 View commit details
    Browse the repository at this point in the history

  8. Document context gas lifter

    @michael-schwarz
    michael-schwarz committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    7112baf View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Duplicate module synopsis

    @michael-schwarz
    michael-schwarz committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    d76e40e View commit details
    Browse the repository at this point in the history

  2. Update outdated comment

    @michael-schwarz
    michael-schwarz committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    c4c9c89 View commit details
    Browse the repository at this point in the history