Published October 31, 2022
| Version autocorres-1.9
Software
Open
seL4/l4v: AutoCorres 1.9 and C-Parser 1.19
Creators
- Gerwin Klein1
- Rafal Kolanski
- Joel Beeren
- Matthew Brecknell2
- Miki Tanaka3
- JaphethLim
- Daniel Matichuk4
- Alejandro Gómez-Londoño
- David Greenaway
- Ryan Barry
- Corey Lewis
- Edward Pierzchalski
- Victor Phan
- Michael Norrish5
- Michael Sproul6
- michaelmcinerney
- Mitchell Buckley
- Ilya Yanok
- Amirreza Zarrabi
- Toby Murray7
- Adrian Danis
- Anna Lyons
- Johannes Åman Pohjola
- Santiago Bautista8
- ember arlynx
- Curtis Millar9
- fhaftmann
- Luke Mondy
- Matthew Fernandez
- Zoltan A. Kocsis
- 1. Proofcraft
- 2. @seL4 @Kry10-NZ
- 3. UNSW
- 4. @GaloisInc
- 5. Australian National University
- 6. @sigp
- 7. University of Melbourne
- 8. student @ ENS Rennes
- 9. @seL4
Description
AutoCorres 1.9 (31 October 2022)
- Isabelle2021-1 edition of both AutoCorres and the C parser.
- setup for AARCH64/ARM64 targets
- 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
Files
seL4/l4v-autocorres-1.9.zip
Files
(12.6 MB)
Name | Size | Download all |
---|---|---|
md5:c227e8dccc50ddb5c204dfdcffca70eb
|
12.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/seL4/l4v/tree/autocorres-1.9 (URL)