diff options
| author | 2025-12-24 13:04:38 +0100 | |
|---|---|---|
| committer | 2025-12-24 13:04:38 +0100 | |
| commit | 775ff9ce7b45c22cfba6918c13359bf89461b3e1 (patch) | |
| tree | 2ea440b503c5a9dfdfffcd4ccb66bdc995ba7f5a /.gitignore | |
| parent | 99bf55db5009949fbb5348a6287a03409e7ecb74 (diff) | |
ir: arena-backed linked list for uselists
Is much simpler than the growable buffers, seems to be just as efficient
if not a little faster when benchmarked.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions