Stream: Coq users

Topic: 32 bit Coq


view this post on Zulip Paolo Giarrusso (Dec 09 2020 at 19:48):

Hm, is 32bit Coq available on Mac/Linux? Apparently on Windows it's still faster, for non-windows specific reasons...

view this post on Zulip Paolo Giarrusso (Dec 09 2020 at 19:50):

JVMs have ways to (transparently) store some pointers with less than 64bits to get some of the same advantages, I guess ocaml can't do that?

view this post on Zulip Enrico Tassi (Dec 09 2020 at 19:52):

If you compile with opam, then it's the switch that decides: https://discuss.ocaml.org/t/how-to-generate-a-32-bit-binary-on-a-64-bit-system/6163


Last updated: Jan 31 2023 at 13:02 UTC