Commits
Click on a commit to change the comparison rangeMerge egraphs-good/main into new-backend1 month ago
by saulshanabrook Remove simplify in bindings1 month ago
by saulshanabrook Merge origin/main into new-backend1 month ago
by saulshanabrook Add debugging guide1 month ago
by saulshanabrook Apply suggestions from code review
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>1 month ago
by saulshanabrook