Return groups - #418

Draft

gabriel-barrett wants to merge 13 commits into

mainfrom

Commits on May 20, 2026

Return groups added to Source
gabriel-barrett
committed
be60c40
Return groups added to other states
gabriel-barrett
committed
70dcbfb
Added groups to Lean `Bytecode.return`
gabriel-barrett
committed
843befa
Added return groups to `bytecode.rs`
gabriel-barrett
committed
a2a7b7f
Implemented `Function.split`
gabriel-barrett
committed
5f7559a
Layout fix on split functions
gabriel-barrett
committed
e2528b6
Per group circuits
gabriel-barrett
committed
3fbc821
`String` -> `Arc<str>`
gabriel-barrett
committed
fefc240
`address_eq` fast and slow paths
gabriel-barrett
committed
8de0ae2
Move split + layout from Rust to Lean

arthurpaulino
authored and
gabriel-barrett
committed
876e06c
Index return groups by USize at bytecode level

arthurpaulino
authored and
gabriel-barrett
committed
b529b2a
Use named structures for QueryCounts

arthurpaulino
authored and
gabriel-barrett
committed
42c4ceb
Preserve groupNames through dedup + match arms
arthurpaulino
committed
60c38d4