[Interval Analysis] If-elimination for constant predicates

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed ajpal closed 5 months ago

oflatt commented 5 months ago

Looks like you found another bug, this time in extractor I'll look into it