2 ms·Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code3 points by todsacerdoti 1y ago