Skip to content

AutoCorres 1.10 and C-Parser 1.20

Compare
Choose a tag to compare
@lsf37 lsf37 released this 03 Nov 04:02
· 402 commits to master since this release

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