Skip to content

EGraph hash map optimizations#21

Merged
jonathanvdc merged 6 commits into
mainfrom
hash-map-optimizations
Nov 9, 2025
Merged

EGraph hash map optimizations#21
jonathanvdc merged 6 commits into
mainfrom
hash-map-optimizations

Optimize boundSlots method to avoid unnecessary array allocation for …

e301497
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar