morpho-data-structures icon indicating copy to clipboard operation
morpho-data-structures copied to clipboard

Published 20 hours ago • verified publisher icon morpho-org

DLL: use address(0) instead of head and tail

Open MathisGD opened this issue 3 years ago • 3 comments

POC here: https://github.com/morpho-dao/morpho-v1/pull/1255

MathisGD avatar Nov 12 '22 13:11 MathisGD

I will tackle this.

Tristan22400 avatar May 03 '23 12:05 Tristan22400

Closing this as not planned because of this https://github.com/morpho-org/morpho-data-structures/pull/129#issuecomment-1534338934

MerlinEgalite avatar May 09 '23 18:05 MerlinEgalite

I don't think that this is not planned. This idea is objectively good, it's just that we don't have the bandwidth at the moment to adapt the formal verification to it.

MathisGD avatar May 10 '23 06:05 MathisGD