search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Draft Assume schema infra- will split into multiple PRs #322

Closed oflatt closed 9 months ago

oflatt commented 9 months ago

This is my working branch for the assume schema- will split this into multiple PRs

oflatt commented 9 months ago

opening many prs