Skip to content

in verify mode, const are now opt-in, only if used by verify functions - #236

Open
namin wants to merge 1 commit into
mainfrom
const-opt-in
Open

in verify mode, const are now opt-in, only if used by verify functions#236
namin wants to merge 1 commit into
mainfrom
const-opt-in

Commits

  1. Commits on Oct 29, 2026