search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree Assume][Type Analysis] Start loops #355

Closed ajpal closed 9 months ago

ajpal commented 9 months ago

More to come including tests for error cases, but this was already kind of tricky so it's probably worth starting review now.