Coda-Coda/deepsea-1 contributors:
- Daniel Britten (@Coda-Coda)
(Aliases given are GitHub usernames).
For the sake of the Copyright statement in CompCert-LICENSE.txt only the names above are considered "Coda-Coda/deepsea-1 contributors", having contributed directly to this fork. Nevertheless it is well worth acknowledging here the many valued contributions of:
Please see those repositories for information about their contributors.