[Tree unique] Loop Invariant Detection

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed clyben closed 7 months ago

clyben commented 8 months ago

This PR implement Loop invariant detection

oflatt commented 8 months ago

re-request review when it's ready

clyben commented 8 months ago

@oflatt Changed to BodyConstainExprs

clyben commented 7 months ago

issue #299 now block it since this PR now use BodyContains (fixed)

yihozhang commented 7 months ago

As promised I made another pass and the PR at this stage looks very clear and easy to follow. Nice work!

oflatt commented 7 months ago

Is this approved then @yihozhang ?

yihozhang commented 7 months ago

Yes it looks good to me.