Skip to content

Space bounds: measure the live-heap peak, and bound it statically - #151

Open
hhefesto wants to merge 3 commits into
Stand-In-Language:masterfrom
hhefesto:hhefesto/space-bounds
Open

Space bounds: measure the live-heap peak, and bound it statically#151
hhefesto wants to merge 3 commits into
Stand-In-Language:masterfrom
hhefesto:hhefesto/space-bounds

Report the space bound in the certificate and after --compile

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

Annotations

2 warnings
tests
succeeded Sep 15, 2026 in 4m 13s