we can't prove that some instruction memory is not used as long as state machines are alive, and we can pass instance memory handles between instances as well. mark free_instr unsafe, with documentation for this caveat. |
||
---|---|---|
.. | ||
src | ||
build.rs | ||
Cargo.toml | ||
funcsel.txt | ||
link-rp.x.in |