Hi Jann, On Wed, 19 Mar 2025 19:49:09 +0100, Jann Horn <ja...@google.com> wrote: > A new upstream gdmap release (version 1.3.1) was published today: > https://gitlab.com/sjohannes/gdmap/-/releases/v1.3.1 > > One of the things in this release is an optimization I wrote that > avoids O(n^2) runtime complexity in some linked list code, which makes > gdmap run 10x faster on my machine.
Thanks for the heads-up, and thanks for the optimisation! Regards, Stephen
pgpLTq5Nvy9TZ.pgp
Description: OpenPGP digital signature