Hardening - #2

Merged

maximmenshikov merged 8 commits into

mainfrom

feature/harden2

Aug 5, 2026

Commits on Aug 5, 2026

core: extract allocation and handle store into ACSL-specified C core
maximmenshikov
committed
88eb902
tests: add unit tests for the core allocator and handle store
maximmenshikov
committed
72c0638
formal: add Frama-C verification gate for the core
maximmenshikov
committed
6bd4cc9
CI: add unit-test and Frama-C verification jobs
maximmenshikov
committed
d5398bc
README: document architecture, testing, and formal verification
maximmenshikov
committed
b13f3da
ugc: add prebuilt riscv64 tarball
maximmenshikov
committed
93e1537
HandleStore: recycle destroyed handle slots via a LIFO free stack
maximmenshikov
committed
aba6fb2
uGCHeap: track allocated bytes and fix stubbed API return values
maximmenshikov
committed
11f04f9