l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

Lemmas for simplifying masking and thread states

Open michaelmcinerney opened this issue 1 year ago • 1 comments

michaelmcinerney avatar Sep 09 '24 04:09 michaelmcinerney

This is causing tests to fail. I'll check this out tonight and hopefully push a fixup commit tonight or tomorrow

michaelmcinerney avatar Sep 09 '24 05:09 michaelmcinerney