-
Notifications
You must be signed in to change notification settings - Fork 47
Issues: exo-lang/exo
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
Label
Projects
Milestones
Assignee
Sort
Issues list
Make sure new effect check is correct by fuzzing against old effect check
C: Prog Analysis
Related to formal analysis, SMT, etc.
C: Testing
Testing
S: Available
Available to be worked upon
#390
opened Apr 8, 2023 by
yamaguchi1024
Create individual config related tests not just depending on Gemmini tests
C: Testing
Testing
S: Needs Triage
Needs more information before being worked on
#250
opened Oct 20, 2022 by
yamaguchi1024
ProTip!
Updated in the last three days: updated:>2025-05-20.