search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Coq Platform & OCaml 5 #393

Open Blaisorblade opened 10 months ago

Blaisorblade commented 10 months ago

At some point the platform should switch to OCaml 5. I'm opening this issue to track blockers, like CompCert. Cc @palmskog .

palmskog commented 10 months ago

As a memento, another current restriction with OCaml 5 and Coq is the lack of native_compute. The relevant Coq issues seem to be https://github.com/coq/coq/issues/10602 and https://github.com/coq/coq/issues/13940.