Docker: bump OCaml to 5.1.0

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

321 stars 49 forks source link

Docker: bump OCaml to 5.1.0 #505

Closed strub closed 11 months ago

strub commented 11 months ago

This PR should not be accepted before we carefully checked that we do not have any penalty in using OCaml 5.x.

The published Docker image is currently based on this PR.

fdupress commented 11 months ago

No effect on running time in isolation.

strub commented 11 months ago

No effect on running time in isolation.

Same here. I think that we are good to go.

fdupress commented 11 months ago

There is a very small bump in memory consumption with make check: it sits around 2GB with Ocaml 4.14, and around 3GB with Ocaml 5.1.0 on my machine, when running with high parallelism. (ECJOBS=12, so up to 48 concurrent threads including SMTs.) It's probably OK given that ECJOBS value is unreasonable to begin with.