nuew

I'm maybe a fourth of the way through auditing this, and should be done around Thursday or Friday. So far everything looks good, assuming that having access to uninitialized memory...

Yeah there's a huge comment on all the functions that knowingly take advantage of UB. IIRC (not at my computer so I can't see my draft report) the author missed...

Correctly compiled on x86_64, at least. I imagine it would be miscompiled on, say, an Alpha AXP (which has an absurdly weak memory model), but Rust doesn't support those so...

Yes the ARM memory model is weaker than x86's but it's not so weak as to require a barrier for relaxed reads, and I'm assuming that LLVM will do the...

Alright, seeing as I'm not sure if I'll ever get back to this (hopefully I will, but...), and I almost wiped my home directory[^wiped] and I didn't have this backed...

- The missed annotation was on `Inner::inline_len`. - IIRC all the accessible uninitialized memory is through `u8` arrays. The functions I saw potential issues with (again, didn't review all the...