search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree assume] Fix get's to_egglog #340

Closed rtjoa closed 7 months ago

rtjoa commented 7 months ago

Get doesn't take a const, it just takes a literal i64.

This behavior is exercised in a follow-up PR.

PR stack:

  1. 336

  2. 337

  3. 340

  4. 338

  5. 339