Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-04-19 | Typed lists keep an explicit pointer to the list head. | Maria Matejka | |
This change adds one pointer worth of memory to every list node. Keeping this information helps auditing the lists, checking that the node indeed is outside of list or inside the right one. The typed lists shouldn't be used anywhere with memory pressure anyway, thus the one added pointer isn't significant. | |||
2023-02-02 | Typed lists: shortcut for simple nodes | Maria Matejka | |
2022-04-06 | Typed lists for easier walking and stronger type checking | Maria Matejka | |