Version compatible with seL4 15.0.0

proofs for seL4 release 14.0.0

autocorres: explicitly use python3

Signed-off-by: Gerwin Klein <[email protected]>

autocorres: explicitly use python3

Signed-off-by: Gerwin Klein <[email protected]>

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 <[email protected]>

autocorres: bring CONTRIBUTORS file up to date

- remove defunct email addresses
- add myself as current maintainer

Signed-off-by: Gerwin Klein <[email protected]>

C-Parser 1.19 release