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

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

3b11cec
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
case-studies-lean (midspiral/colorwheel-lemmascript, main)
succeeded Oct 29, 2026 in 3m 22s