Skip to content

Issues: egraphs-good/eggcc

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

41 Open 96 Closed
41 Open 96 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

RVSDG translation error: Function returning loaded value doesn't return state edge
#621 opened May 31, 2024 by rtjoa
@ezrosent
1
Non-determinism bug shown by unstructured.bril
#504 opened Apr 28, 2024 by oflatt
Increase iterations for function inlining to 3 once extraction uses less memory
#494 opened Apr 26, 2024 by kirstenmg
@oflatt
Memory leak? or just need to limit eqsat
#477 opened Apr 20, 2024 by glenn-sun
1
Theta Passthrough Rule
#457 opened Apr 15, 2024 by Alex-Fischman
@Alex-Fischman
Another RVSDG conversion bug
#454 opened Apr 13, 2024 by glenn-sun
Fine-grained context rules
#405 opened Mar 14, 2024 by oflatt
@oflatt
1
Tree IR Pretty Printer
#401 opened Mar 8, 2024 by oflatt
Symbolic evaluation analysis
#395 opened Mar 5, 2024 by oflatt
@oflatt
Implement mem2reg?
#372 opened Feb 21, 2024 by oflatt
Ensure RvsdgRoundtrip doesn't make programs cost more
#370 opened Feb 20, 2024 by oflatt
@ezrosent
Use rust->bril compiler to get more benchmarks
#369 opened Feb 20, 2024 by oflatt
Extend egglog to support richer cost functions
#366 opened Feb 19, 2024 by oflatt
@yihozhang
1
[Tree assume] CICM program-optimization
#352 opened Feb 13, 2024 by rtjoa
@rtjoa
[Tree optimizer] Loop and if inversion (IVT)
#312 opened Feb 1, 2024 by oflatt
@ezrosent
[Tree Assume] Function inlining
#309 opened Feb 1, 2024 by oflatt
@kirstenmg
Add memory to RVSDG -> tree translation
#283 opened Jan 24, 2024 by oflatt
Destructive rewriting in egglog
#281 opened Jan 24, 2024 by oflatt
[Tree Optimizer] Remove range checks in loop
#254 opened Jan 16, 2024 by oflatt
[Tree Assume] Constant folding, including numeric and comparison operators
#253 opened Jan 16, 2024 by oflatt
@ryan-berger
[Tree Optimizer] Re-associate for constant folding
#252 opened Jan 16, 2024 by oflatt
@ryan-berger
[Tree Optimizer] Unnecessary Let deletion
#247 opened Jan 12, 2024 by oflatt
@yihozhang
3
[Tree unique] Negation-normalizing switch and bool rewrites program-optimization
#241 opened Jan 12, 2024 by rtjoa
@ajpal
[Tree unique] Pure code sinking program-optimization
#240 opened Jan 12, 2024 by rtjoa
@rtjoa
[Tree optimizer] Interval analysis program-analysis
#237 opened Jan 12, 2024 by rtjoa
@ajpal
ProTip! no:milestone will show everything without a milestone.