Skip to content

Parameterize gas() by an ExternalGas environment oracle - #41

Merged
leonardoalt merged 1 commit into
mainfrom
gas-oracle
Aug 6, 2026
Merged

Parameterize gas() by an ExternalGas environment oracle#41
leonardoalt merged 1 commit into
mainfrom
gas-oracle

Parameterize `gas()` by an `ExternalGas` environment oracle

84f4ba5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build & check
succeeded Jul 30, 2026 in 2m 14s