-
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
Stage_mem Issues
C: Scheduling
The scheduling language and APIs
Tracker
Track a large project
#489
opened Sep 20, 2023 by
skeqiqevian
Better error messages
C: Language
The semantics of the language
Tracker
Track a large project
#488
opened Sep 20, 2023 by
skeqiqevian
Better CIR
C: Codegen
The final C code generation
Tracker
Track a large project
#487
opened Sep 20, 2023 by
skeqiqevian
New Analysis
C: Prog Analysis
Related to formal analysis, SMT, etc.
Tracker
Track a large project
#486
opened Sep 20, 2023 by
skeqiqevian
Quantization and Precision
C: Language
The semantics of the language
Tracker
Track a large project
#485
opened Sep 20, 2023 by
skeqiqevian
Better simplifier design
C: Scheduling
The scheduling language and APIs
Tracker
Track a large project
#484
opened Sep 20, 2023 by
skeqiqevian
Exo core rewrite
C: Language
The semantics of the language
Tracker
Track a large project
#483
opened Sep 20, 2023 by
rachitnigam
ProTip!
Add no:assignee to see everything that’s not assigned.