Skip to content

AutoCorres 1.11 and C-Parser 1.21

Latest
Compare
Choose a tag to compare
@lsf37 lsf37 released this 11 Oct 03:40
· 17 commits to master since this release
autocorres-1.11
4f1563a

AutoCorres 1.11

  • Isabelle2024 edition of AutoCorres
  • Further clean-up and restructure of monad libraries.

C Parser 1.21

  • Isabelle2024 edition of the C Parser
  • Updated SIMPL from the AFP
  • Ensure that umm_types.txt is saved relative to theory file
  • If cpp_path is relative, make it relative to the current theory