Skip to content

AutoCorres 1.11 and C-Parser 1.21

Latest
Latest
Compare
Choose a tag to compare
@lsf37 lsf37 released this 11 Oct 03:40
autocorres-1.11
This tag was signed with the committer’s verified signature. The key has expired.
lsf37 Gerwin Klein
GPG key ID: 20A847CE6AB7F5F3
Expired
Learn about vigilant mode.
4f1563a
This commit was signed with the committer’s verified signature. The key has expired.
lsf37 Gerwin Klein
GPG key ID: 20A847CE6AB7F5F3
Expired
Learn about vigilant mode.

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
Assets 4
Loading