search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Assume schema conversion to egglog #326

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

Diff: https://github.com/egraphs-good/eggcc/compare/oflatt-assume-interpreter..oflatt-assume-run-test

oflatt commented 7 months ago

close in favor of clean git hist