-
Notifications
You must be signed in to change notification settings - Fork 129
Insights: egraphs-good/egg
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 1 New issue
There hasn’t been any commit activity on egraphs-good/egg in the last week.
Want to help out?
1 Issue closed by 1 person
-
Add `&mut self` parameter to all Analysis functions
#335 closed
Sep 1, 2024
1 Issue opened by 1 person
-
Simple set of addition rewrites already explodes
#334 opened
Sep 1, 2024