adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Gerwin Klein 2023-11-03 10:46:06 +11:00 committed by Achim D. Brucker
parent 0c9d55149a
commit d2002eacb3
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tools/autocorres/tools/release_files/CONTRIBUTORS
View File

@ -1,19 +1,21 @@
Core Development Team
---------------------
Core Developers
---------------
David Greenaway (inactive)
Japheth Lim <Japheth.Lim@data61.csiro.au>
Japheth Lim (inactive)
Gerwin Klein (maintenance)
Contributions
-------------
Lars Noschinski <noschinl@in.tum.de>
Lars Noschinski
"owhile" definitions and related rules, as well as many other
contributions to the proof libraries.
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>
Matthew Brecknell (inactive)
Maintenance; integration with seL4's C refinement framework.