Skip to content

Issues: gussmith23/lakeroad

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.

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

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

Issues list

Debugging Virtex DSP48E1 bug
#445 opened Jun 26, 2024 by gussmith23
4 of 5 tasks
Documentation overhaul cleanup Code cleanup/refactoring
#414 opened Jan 25, 2024 by gussmith23
Make flags consistent across various scripts in bin/ cleanup Code cleanup/refactoring
#413 opened Jan 25, 2024 by gussmith23
Add tests that use Yices2
#407 opened Dec 14, 2023 by gussmith23
Given an eclass that may contain loops, extract a representative egglog Pertaining to lakeroad-egglog (aka Churchroad)
#405 opened Dec 9, 2023 by gussmith23
2 tasks
Enumerate all submodules in the permuter, modulo rewrites egglog Pertaining to lakeroad-egglog (aka Churchroad)
#403 opened Dec 3, 2023 by gussmith23
3 tasks
ProTip! Find all open issues with in progress development work with linked:pr.