search

egraphs-good / eggcc

MIT License
52 stars 11 forks source link

[Tree unique] Add ids to constants #218

Closed rtjoa closed 10 months ago

rtjoa commented 10 months ago

This allows us to union with constants.