search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Assume Schema- New Schema Solves Context with Assume #315

Closed oflatt closed 9 months ago

oflatt commented 9 months ago

Using assume nodes to create context is much cleaner Also, tuple values are flat