search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree assume] Add `IsPure` #357

Closed rtjoa closed 7 months ago

rtjoa commented 7 months ago

Add IsPure to tree-assume. See #212.

Merge after #340.