mirror of
https://github.com/urbit/shrub.git
synced 2024-12-23 19:05:48 +03:00
8cd72daf20
In certain cases +find-merge-points was very slow. Specifically, the `done` set was meant to avoid checking the same commit repeatedly, but it didn't catch the case where a commit was added to the worklist that was already in that worklist. Secondly, the worklist was stored as a list but used as a queue, which resulted in a lot of unnecessary welding. We change it to a qeu. Fixes #3735 |
||
---|---|---|
.. | ||
ames.hoon | ||
behn.hoon | ||
clay.hoon | ||
dill.hoon | ||
eyre.hoon | ||
ford.hoon | ||
gall.hoon | ||
iris.hoon | ||
jael.hoon |