Skip to content

Issues: egraphs-good/egg

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 118 Closed
21 Open 118 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

unique node counting
#338 opened Nov 6, 2024 by Flians
Simple set of addition rewrites already explodes
#334 opened Sep 1, 2024 by KarelPeeters
7
Monte-Carlo Tree Search
#329 opened Aug 4, 2024 by jafioti
7
Different results depending on architecture
#328 opened Jul 30, 2024 by bksaiki
Stack overflow during rule application
#327 opened Jul 30, 2024 by bksaiki
How to access external data when making an analysis?
#315 opened May 19, 2024 by ChijinZ
Relaxing 'static lifetime bounds?
#311 opened Apr 22, 2024 by robert-chiniquy
5
Proof explanations for multi_rewrite
#231 opened Feb 8, 2023 by K-dizzled
11
Pretty printing stack overflow for proofs
#211 opened Oct 25, 2022 by oflatt
3
LpExtractor creates an infeasible problem for CBC
#207 opened Oct 2, 2022 by khaki3
8
Cycles in existence proofs
#202 opened Aug 31, 2022 by oflatt
assertion failed: solution.col(v.active) > 0.0
#196 opened Jul 4, 2022 by Bastacyclop
3
Ability to limit memory usage
#171 opened Mar 15, 2022 by Bastacyclop
1
Document searcher_ast and rule_name in apply_one
#152 opened Jan 5, 2022 by remysucre
Pass name of the rule to merge / make / etc.
#142 opened Dec 7, 2021 by bjchambers
4
Errors in Analysis
#136 opened Nov 2, 2021 by bjchambers
4
Allow passing arbitrary data from Searchers to Appliers
#131 opened Oct 22, 2021 by rosekunkel
5
Try de-duplicating parents
#113 opened Aug 5, 2021 by oflatt
Standalone CLI
#84 opened Apr 28, 2021 by MostAwesomeDude
6
Rewrite should probably be a trait
#44 opened Aug 6, 2020 by mwillsey
1
Failed extraction overflows the stack
#24 opened May 6, 2020 by mwillsey
ProTip! Exclude everything labeled bug with -label:bug.