Skip to content

Issues: egraphs-good/egglog

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

Clear current search query, filters, and sorts
57 Open 120 Closed
57 Open 120 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

Nondeterminism
#35 opened Sep 5, 2022 by mwillsey updated Sep 5, 2022
Print command format
#60 opened Nov 11, 2022 by philzook58 updated Nov 11, 2022
Namespace in egglog
#157 opened Jun 27, 2023 by yihozhang updated Jun 27, 2023
Supporting tree automata completion (program refinement--based saturation) in egglog
#167 opened Jul 15, 2023 by yihozhang updated Jul 15, 2023
Porting micro-benchmarks from PLDI artifact to egglog repo
#173 opened Jul 20, 2023 by yihozhang updated Jul 20, 2023
Unify extraction and serialize to both use the serialize format
#172 opened Jul 20, 2023 by oflatt updated Jul 21, 2023
5
extract:variants panic in base type
#139 opened Apr 28, 2023 by clyben updated Aug 24, 2023
2
Issue with birewrite
#224 opened Sep 6, 2023 by RafaeNoor updated Sep 7, 2023
3
Add mutation testing?
#177 opened Aug 1, 2023 by oflatt updated Sep 11, 2023
The :when syntax is easy to make mistakes
#243 opened Oct 1, 2023 by hatoo updated Oct 9, 2023
1
9
Desugaring merge functions and merge actions
#258 opened Oct 11, 2023 by oflatt updated Oct 11, 2023
Documentation for primitives documentation Improvements or additions to documentation
#259 opened Oct 11, 2023 by oflatt updated Oct 11, 2023
Editable and runnable code in the documentation documentation Improvements or additions to documentation
#251 opened Oct 5, 2023 by oflatt updated Oct 11, 2023
Run documentation examples documentation Improvements or additions to documentation
#250 opened Oct 5, 2023 by oflatt updated Oct 11, 2023
panic "Base types cannot be unioned" good first issue Good for newcomers
#235 opened Sep 20, 2023 by nlewycky updated Oct 11, 2023
4
Option to also return the cost of variants? enhancement New feature or request good first issue Good for newcomers
#295 opened Nov 21, 2023 by ricardoV94 updated Nov 25, 2023
1
Make rulesets less tedius enhancement New feature or request good first issue Good for newcomers
#282 opened Nov 3, 2023 by oflatt updated Nov 28, 2023
1
1
extract_multiple doesn't always extract as many variations as requested enhancement New feature or request
#300 opened Nov 20, 2023 by ricardoV94 updated Nov 28, 2023
11
Make initial semantics.md refactor
#314 opened Dec 5, 2023 by oflatt updated Dec 5, 2023
Extracting cycles
#315 opened Dec 6, 2023 by gussmith23 updated Dec 7, 2023
4
Confusing scopes of globals & locals in egglog
#316 opened Dec 6, 2023 by yihozhang updated Dec 7, 2023
@yihozhang
Tests for typechecker
#327 opened Jan 13, 2024 by oflatt updated Jan 13, 2024
fail-typecheck doesn't actually check for type error, just any error
#328 opened Jan 13, 2024 by oflatt updated Jan 13, 2024
parse_and_run_program doesn't return a log when it errors
#332 opened Jan 25, 2024 by Alex-Fischman updated Jan 25, 2024
Egglog tutorial documentation Improvements or additions to documentation
#252 opened Oct 5, 2023 by oflatt updated Feb 1, 2024
1
ProTip! Find all open issues with in progress development work with linked:pr.