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