Fix Rust UB problems#6393

Merged

CasperN merged 11 commits intogoogle:masterfrom

Jan 11, 2021

Commits on Jan 8, 2021

Fix miri problems by assuming alignment is 1 in rust
Casper Neo
committed
Removed is_aligned fn from rust verifier.
Casper Neo
committed
Add back is_aligned, but make it w.r.t. buffer[0]
Casper Neo
committed
touch unused variable
Casper Neo
committed
touch unused variable
Casper Neo
committed
+nightly
Casper Neo
committed
Move Rust miri testing into its own docker
Casper Neo
committed
fix bash
Casper Neo
committed

Commits on Jan 9, 2021

missing one endian conversion
Casper Neo
committed
fix endianness2
Casper Neo
committed
format stuff
Casper Neo
committed