This message is trying to attract the attention of people who happen to be users of the native compilation mechanism, but haven't seen the discussion going on in https://github.com/coq/coq/pull/15944.
I am looking for a reasonable set of developments which could be used as a benchmark of said mechanism.
Not only would I like to push this PR forward, but I've got a few more stuff I'd like to test, notably the newly available
-linscan option after the bump to OCaml >= 4.09
I noticed @Maxime Dénès has a little suite here: https://github.com/maximedenes/native-compute-bench
Ah ah, I had completely forgotten this existed. Thanks :)
These two examples are probably not sufficient, but it would be nice indeed to run them on @Pierre-Marie Pédrot 's branch
They can at least detect some issues
Last updated: Dec 05 2023 at 12:01 UTC