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
I don't think there is such a document. I suppose you are referring to https://github.com/coq/coq/issues/11652
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.)
you mean 4.12?
Right.
This thread had a lot more information than the coq one: https://github.com/ocaml/ocaml/issues/9326
ooh, so now 4.12.0
has the new best-fit allocator _and_ this bugfix. I can see why it seemed faster...
there's also https://github.com/ocaml/ocaml/issues/7826
Last updated: Oct 13 2024 at 01:02 UTC