Skip to content

AutoCorres 1.9 and C-Parser 1.19
Compare
Choose a tag to compare
@lsf37 lsf37 released this 31 Oct 00:53
· 876 commits to master since this release
autocorres-1.9
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.
1ecfd4f

AutoCorres 1.9 (31 October 2022)

  • Isabelle2021-1 edition of both AutoCorres and the C parser.
  • setup for AARCH64/ARM64 targets

C-Parser 1.19

  • Builds with Isabelle2021-1

  • setup for AARCH64/ARM64 targets

  • AST printing for top-level declarations annotated to make them easier to
    consume in external tools. Annotations take the form:

    ##<decl_type>: <name>

    e.g. ##Function: ctzl

Assets 5
Loading