coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] "Official" Source for native-coq

From: Christoph-Simon Senjak <christoph.senjak AT ifi.lmu.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] "Official" Source for native-coq
Date: Wed, 21 Sep 2016 12:37:08 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christoph.senjak AT ifi.lmu.de; spf=None smtp.mailfrom=christoph.senjak AT ifi.lmu.de; spf=None smtp.helo=postmaster AT acheron.ifi.lmu.de
Ironport-phdr: 9a23:sjFHtBWLtH+8Uk4NqMJ1AAA8RjPV8LGtZVwlr6E/grcLSJyIuqrYZRyPt8tkgFKBZ4jH8fUM07OQ6PG6HzRaqszf+DBaKdoXCE9D0Z1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/hKiO/MjYZBwNjz6ga5tzKg+3pEPfrJo4m4xnf40x0BrSvnxQe6FtxGZvIxqokhD+78T4qJVj6SVLp/U594hbXKP4dqcQTLJZSjAjLiY56Zu45lH4UQKT6y5EAS0tmR1SDl2d4Q==

Hello.

I found several repositories of native-coq, most of them seem to be forks. What is the original repository of native-coq? I found [1] which is by Maxime Dénès who is an author of the paper [2] so this is probably a good source, but it hasn't been updated since 2015 and it appears to be forked from some svn-branch.

Regards,
Christoph-Simon Senjak

[1]:https://github.com/maximedenes/native-coq
[2]:https://coq.inria.fr/files/GTCoq2013_denes.pdf

[Coq-Club] "Official" Source for native-coq, Christoph-Simon Senjak, 09/21/2016
- Re: [Coq-Club] "Official" Source for native-coq, Maxime Dénès, 09/21/2016
  - Re: [Coq-Club] "Official" Source for native-coq, Christoph-Simon Senjak, 09/22/2016