Skip to content

Recursive verifier: inline trivial functions - #553

Merged
gabriel-barrett merged 4 commits into
mainfrom
multistark-inline-gl-wrappers
Aug 12, 2026
Merged

Recursive verifier: inline trivial functions#553
gabriel-barrett merged 4 commits into
mainfrom
multistark-inline-gl-wrappers