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
Fix inline_assign bugs
C: Scheduling
The scheduling language and APIs
T: Bug
Something isn't working
#612
opened Apr 5, 2024 by
yamaguchi1024
Unification results for index expressions are non-deterministic
#602
opened Mar 26, 2024 by
SamirDroubi
Unification/Replace bug isn't doing the correct stride checks
T: Bug
Something isn't working
#601
opened Mar 25, 2024 by
skeqiqevian
Experiment with rewriting simplification passes using a library like sympy
C: Internal
Implementation detail
S: Available
Available to be worked upon
#596
opened Mar 17, 2024 by
SamirDroubi
WindowStmt(s) aren't treated as declarative statements within the compiler
S: Needs Discussion
This needs discussion to decide if important to work
T: Bug
Something isn't working
#594
opened Mar 15, 2024 by
SamirDroubi
Check_ExprEqvInContext Contradiction from the Assumptions
C: Prog Analysis
Related to formal analysis, SMT, etc.
T: Bug
Something isn't working
#569
opened Feb 2, 2024 by
SamirDroubi
Check_ReorderLoops fails when reduction is not in reduction syntax
C: Prog Analysis
Related to formal analysis, SMT, etc.
T: Bug
Something isn't working
#557
opened Jan 23, 2024 by
SamirDroubi
Reversing the iteration dimensions
C: Prog Analysis
Related to formal analysis, SMT, etc.
C: Scheduling
The scheduling language and APIs
S: Needs Discussion
This needs discussion to decide if important to work
#554
opened Jan 20, 2024 by
SamirDroubi
LHS of Exo Statements
C: APIs
The API exposed by the language
C: Language
The semantics of the language
S: Needs Discussion
This needs discussion to decide if important to work
#553
opened Jan 20, 2024 by
SamirDroubi
Check_IsIdempotent has a bug
C: Prog Analysis
Related to formal analysis, SMT, etc.
T: Bug
Something isn't working
#552
opened Jan 19, 2024 by
yamaguchi1024
Exposing Symbols in the API
C: APIs
The API exposed by the language
S: Needs Discussion
This needs discussion to decide if important to work
#549
opened Jan 8, 2024 by
SamirDroubi
GPU support in Exo
C: Codegen
The final C code generation
C: Language
The semantics of the language
C: Memory
C: Prog Analysis
Related to formal analysis, SMT, etc.
S: Needs Discussion
This needs discussion to decide if important to work
#547
opened Dec 29, 2023 by
skeqiqevian
Proposal for Returning Relevant Cursors
C: APIs
The API exposed by the language
S: Needs Discussion
This needs discussion to decide if important to work
#541
opened Dec 19, 2023 by
SamirDroubi
Deprecate The API exposed by the language
S: Needs Discussion
This needs discussion to decide if important to work
many
/match_many
option from the argument processor
C: APIs
#540
opened Dec 19, 2023 by
SamirDroubi
Reading undefined memory locations
C: Prog Analysis
Related to formal analysis, SMT, etc.
C: Scheduling
The scheduling language and APIs
S: Needs Discussion
This needs discussion to decide if important to work
#539
opened Dec 8, 2023 by
SamirDroubi
Support Cursors Comparision
C: APIs
The API exposed by the language
S: Needs Discussion
This needs discussion to decide if important to work
#523
opened Oct 26, 2023 by
SamirDroubi
Srcinfo and error reporting
C: Internal
Implementation detail
S: Needs Discussion
This needs discussion to decide if important to work
#517
opened Oct 7, 2023 by
SamirDroubi
Support for elementary bounds inference
C: Language
The semantics of the language
S: Available
Available to be worked upon
#516
opened Oct 6, 2023 by
skeqiqevian
Controlling the C compiler for the last bit of performance and cross compiler portability
C: Codegen
The final C code generation
S: Needs Discussion
This needs discussion to decide if important to work
#515
opened Oct 5, 2023 by
SamirDroubi
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-04-15.