-
Notifications
You must be signed in to change notification settings - Fork 46
Insights: egraphs-good/egglog
Overview
-
- 5 Merged pull requests
- 2 Open pull requests
- 1 Closed issue
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
5 Pull requests merged by 2 people
-
Remove HIGH_COST
#433 merged
Oct 5, 2024 -
Remove useless type_info getters
#429 merged
Oct 5, 2024 -
Remove dead code
#428 merged
Oct 5, 2024 -
Prepare for v0.3.0
#425 merged
Oct 2, 2024 -
Display build info when running egglog
#427 merged
Sep 28, 2024
2 Pull requests opened by 1 person
-
Support user-defined scheduler
#431 opened
Oct 4, 2024 -
Support recursive datatypes in egglog
#432 opened
Oct 4, 2024
1 Issue closed by 1 person
-
Unnecessary arguments to eval_expr and run_actions
#318 closed
Oct 5, 2024