Add Renode emulation tests for Cortex-M4F and Cortex-M33#3

Merged

avrabe merged 16 commits into

mainfrom

renode-emulation-tests

Mar 19, 2026

Commits on Mar 18, 2026

Add Renode emulation tests for M4F and M33

avrabe
and
claude
committed
Fix verus-strip: strip inline proof{} and let ghost statements

avrabe
and
claude
committed
Add regression tests for inline proof{} and let ghost stripping

avrabe
and
claude
committed
Fix Renode install: use direct download instead of nonexistent PyPI package

avrabe
and
claude
committed
Add gate test for standalone Rocq files (plain/*.rs)

avrabe
and
claude
committed
Fix verus-strip dead code warnings

avrabe
and
claude
committed
Use pre-installed Renode from Zephyr CI Docker image

avrabe
and
claude
committed

Commits on Mar 19, 2026