seL4/l4v Issues
Safer vcg in CRefine
UpdatedSIMPL: don't print `_'proc`
UpdatedCleanup post-x64 comments
UpdatedCleanup CRefine Wellformed_C
UpdatedMake AutoCorres 1.10 release
Closed 1Apply contrib queue to new repo
Closed 1Move lemmas to CParser
Updatedsel4 verification
Closed 3check scheduled workflow runs
Closed 2Make `if_1_0_0` lemmas consistent
Updated 2factor out more VCPU lemmas
UpdatedReduce C parser dependencies
Closed 1add `crunches` lifting syntax
Updated 2