Stream: Coq devs & plugin devs

Topic: ocaml versions and coq


view this post on Zulip Gaëtan Gilbert (Feb 14 2022 at 20:34):

Is there any info written down about how the various ocaml versions work with coq? eg I vaguely remember that at some point ocaml got slower but I don't know what version, by how much and if newer versions fixed it

view this post on Zulip Guillaume Melquiond (Feb 14 2022 at 20:38):

I don't think there is such a document. I suppose you are referring to https://github.com/coq/coq/issues/11652

view this post on Zulip Guillaume Melquiond (Feb 14 2022 at 20:45):

And it seems it was fixed in 8.12.0. (The fix was backported to older branches of the compiler, but it does not seem there were actual releases.)

view this post on Zulip Gaëtan Gilbert (Feb 14 2022 at 20:47):

you mean 4.12?

view this post on Zulip Guillaume Melquiond (Feb 14 2022 at 20:48):

Right.

view this post on Zulip Ali Caglayan (Feb 14 2022 at 20:58):

This thread had a lot more information than the coq one: https://github.com/ocaml/ocaml/issues/9326

view this post on Zulip Paolo Giarrusso (Feb 14 2022 at 21:23):

ooh, so now 4.12.0 has the new best-fit allocator _and_ this bugfix. I can see why it seemed faster...

view this post on Zulip Gaëtan Gilbert (Feb 16 2022 at 21:25):

there's also https://github.com/ocaml/ocaml/issues/7826


Last updated: Feb 05 2023 at 21:03 UTC