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

Question

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

MathisGD opened this issue 2 years ago · 3 comments

MathisGD commented 2 years ago

POC here: morpho-org/morpho-optimizers#1255

Answer 1 · 2023-05-03T12:09:06.000Z

I will tackle this.

Answer 2 · 2023-05-09T18:06:11.000Z

Closing this as not planned because of this #129 (comment)

Answer 3 · 2023-05-10T06:33:20.000Z

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.