Jesse A. Tov
> Do you want to push the commit from #137 to this branch so it gets merged to the v0.15 branch as well? Sure, I was trying to be a...
Just came here to say congrats on your project's first outside bug report, and may you have many more :)
(Can you assign this to me?)
Yes, I'll look into it this afternoon.
I'm getting the same error on Ubuntu: https://github.com/tov/core_unix/actions/runs/3266663269/jobs/5370728016
Sorry for being so slow on this! It is guaranteed that an expired entry will be replaced when there is *sufficient memory pressure.* When you insert a new entry, the...
It seems like it should be possible, and the approach isn't complicated. The memo cache trie is essentially the first derivative of the domain to be memoized. J On Thu,...
That sounds like a great idea to me, since I clearly don’t have the bandwidth needed right now. How does one go about calling for maintainers? Would you like to...
Thanks for this report as well! This looks like a tougher one, especially because I don’t know OCaml tooling these days. @Armael, are you still on as maintainer, and are...
As a first step, may I suggest documenting these soundness problems in a prominent place?