Check to ensure the extracted program enforces effect linearity - Githubissues

egraphs-good / eggcc

MIT License

51 stars 11 forks source link

Check to ensure the extracted program enforces effect linearity #501

Closed yihozhang closed 6 months ago

yihozhang commented 6 months ago

tests for linearity check

yihozhang commented 6 months ago

All comments should be resolved.