-
Notifications
You must be signed in to change notification settings - Fork 129
Insights: egraphs-good/egg
Overview
-
- 0 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 2 New issues
There hasn’t been any commit activity on egraphs-good/egg in the last week.
Want to help out?
3 Pull requests opened by 1 person
-
remove hashbrown from id_to_pattern API
#324 opened
Jul 29, 2024 -
RecExpr Deref/DerefMut=[L]. also convenience methods and trait impls
#325 opened
Jul 29, 2024 -
remove clone requirement on `fold`
#326 opened
Jul 29, 2024
2 Issues opened by 1 person
-
Different results depending on architecture
#328 opened
Jul 30, 2024 -
Stack overflow during rule application
#327 opened
Jul 30, 2024
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Pretty printing stack overflow for proofs
#211 commented on
Jul 30, 2024 • 0 new comments -
Closes #316 (Was dropping rest of proof)
#317 commented on
Jul 29, 2024 • 0 new comments