Skip to content

Fix undefined behavior identified by Miri - #280

Merged
bors[bot] merged 4 commits into
rust-embedded:masterfrom
jgallagher:miri-tagged-raw-pointers
May 2, 2022
Merged

bors[bot] merged 4 commits into
rust-embedded:masterfrom
jgallagher:miri-tagged-raw-pointers

Commits

Commits on Apr 28, 2022

Commits on Apr 29, 2022