search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree assume] Add metaprogramming tooling #336

Closed rtjoa closed 9 months ago

rtjoa commented 9 months ago

Add metaprogramming similar tree-unique's ir.rs to tree-assume.

PR stack:

  1. 336

  2. 337

  3. 338

  4. 339