Skip to content

Autocorres 1.8 and CParser 1.18
Compare
Choose a tag to compare
@lsf37 lsf37 released this 31 Oct 05:12
· 1185 commits to master since this release
autocorres-1.8
ab358b8

AutoCorres 1.8 (31 October 2021)

  • Isabelle2021 edition of both AutoCorres and the C parser.

CParser 1.18

  • Builds with Isabelle2021
  • improve inline assembly support in modifies proofs
  • always use fresh names for generated temporary variables.
    This fixes a problem that could make some function call expressions unprovable. (VER-1389)
  • improve compile time performance for functional record update definitions
Assets 5