search

seL4 / l4v

seL4 specification and proofs
https://sel4.systems
Other
504 stars 105 forks source link

Prove `cancelBadgedSends_ccorres` #816

Open michaelmcinerney opened 1 month ago

michaelmcinerney commented 1 month ago

Test with https://github.com/seL4/seL4/pull/1302