Code

goverened gas pool spec#118

Code

Open

l-monninger wants to merge 9 commits intol-monninger/governed-gas-poolmovementlabsxyz/aptos-core:l-monninger/governed-gas-poolfrom 0xmovses/goverened-gas-pool-specmovementlabsxyz/aptos-core:0xmovses/goverened-gas-pool-specCopy head branch name to clipboard

+95-6

Commits

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