Skip to content

feat(E2): correct the gust:os fusion and FIX the timer.sleep contract — v0.7.0's last active finding - #283

Merged
avrabe merged 3 commits into
mainfrom
feat/e2-correct-fusion-and-timer-contract
Aug 26, 2026
Merged

avrabe merged 3 commits into
mainfrom
feat/e2-correct-fusion-and-timer-contract

docs(T4): re-measure WCET on synth 0.57 — the blocker inverted, and t…

3ec64a9
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 26, 2026 in 0s

Coverage not affected when comparing 993f468...3ec64a9

View this Pull Request on Codecov

Coverage not affected when comparing 993f468...3ec64a9