c-parser 1.21 release

AutoCorres 1.11 release

seL4 release 13.0.0

autocorres: bring CONTRIBUTORS file up to date

- remove defunct email addresses
- add myself as current maintainer

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

autocorres: bring CONTRIBUTORS file up to date

- remove defunct email addresses
- add myself as current maintainer

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

C-Parser 1.19 release

AutoCorres 1.9 release

autocorres: update release.py to python3

Apparently, we still did releases with python2 in the past. This commit
updates the script to work cleanly with python3 and with both of Linux
and Darwin.

For the latter, untarring and executing a downloaded tarball is not
easily supported on MacOS, so instead of the tarball, we take a path to
the already unpacked Isabelle release.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

autocorres: update release.py to python3

Apparently, we still did releases with python2 in the past. This commit
updates the script to work cleanly with python3 and with both of Linux
and Darwin.

For the latter, untarring and executing a downloaded tarball is not
easily supported on MacOS, so instead of the tarball, we take a path to
the already unpacked Isabelle release.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Version compatible with seL4 12.1.0