filipeom
filipeom
Made it depend on https://github.com/ygrek/extunix/pull/58 directly. So we need to wait for a new release or pin it. > Yes, I'm not sure how easily we can post them to...
> @filipeom, it seems this should be ready now that a new `extunix` version was published on opam, right? It may simply be missing a `dev-setup` dependency on `extunix` and...
> My guess is that a rebase is needed for the CI to pass (simply to get the new dependencies on main right) I rebased it. The problem is still...
> I see. I'm going to have a look at the packages with `ppxlib
> I'm thinking more and more to move the benchmarking code to its own repository. I believe this would fix the issue we are having here, right? I think so,...
> Moved to https://github.com/OCamlPro/symbocalypse ; do you mind pushing your changes there? Will do :)
closing in favour of https://github.com/OCamlPro/symbocalypse/pull/2
> Still not exactly sure what's the best fix here. Perhaps the simplest is to simply normalize ourselves before running the logic. I agree. I think using normalize is a...
related to https://github.com/OCamlPro/owi/issues/519#issuecomment-2682983796 I think
This looks great! I think it will help alot! > (I would like to benchmark this on Test-Comp but also running it in B-Tree would be probably more interesting, but...