seL4/l4v autocorres-1.10

AutoCorres 1.10 and C-Parser 1.20

on GitHub

AutoCorres 1.10

• Isabelle2023 edition of AutoCorres
• Restructured and cleaned up monad libraries. Removed dependencies on unrelated l4v libraries.

C Parser 1.20

• Isabelle2023 edition of the C Parser
• Rearranged library session structure and included more libraries for heap reasoning in the release. See e.g. files TypHeapLib.thy and LemmaBucket_C.thy