Skip to content

ogar-loco: proof-carrying vocabularies, the 3-ref min_shape fix, and the permanent floor - #240

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/rust-scratch-abi-soa-gsamge
Aug 5, 2026
Merged

ogar-loco: proof-carrying vocabularies, the 3-ref min_shape fix, and the permanent floor#240
AdaWorldAPI merged 1 commit into
mainfrom
claude/rust-scratch-abi-soa-gsamge

ogar-loco: proof-carrying vocabularies, the 3-ref min_shape fix, and …

2b82867
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar