Governed Gas Pool Spec - #118

Merged

0xmovses merged 10 commits into

l-monninger/governed-gas-poolfrom

0xmovses/goverened-gas-pool-spec

Jan 13, 2025

Commits on Dec 28, 2024

create: initial spec for gas_pool
0xmovses
committed
2e441ef

Commits on Jan 2, 2025

fix: bad keyword
0xmovses
committed
e14fb8e
update: global ghost variables
0xmovses
committed
b67a258

Commits on Jan 3, 2025

update: init assertion
0xmovses
committed
0e2f96f

Commits on Jan 4, 2025

update: fund spec
0xmovses
committed
c7eb934

Commits on Jan 7, 2025

update: fund spec
0xmovses
committed
202ac61
update: transaction_validation.spec
0xmovses
committed
706bfd1
fix: bring back disabled features
0xmovses
committed
568af1c
remove: disable fa_migration feature causing spec to fail
0xmovses
committed
483f867

Commits on Jan 8, 2025

test: initial structure for governed_gas_pool test
0xmovses
committed
8c8ce6c