Skip to content

fix(programs): interpret max_top_up as units of 1,000 lamports (L-07) - #2265

Merged
ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-l07-max-top-up-units
Feb 12, 2026
Merged

fix(programs): interpret max_top_up as units of 1,000 lamports (L-07)#2265
ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-l07-max-top-up-units

Commits

  1. Commits on Feb 9, 2026

  2. Commits on Feb 11, 2026