exo-lang/exo

Issues

• Stride-based control

  #615 opened 9 months ago by SamirDroubi
  0

• Unknown Z3 error from remove_loop

  #652 opened 7 months ago by yamaguchi1024
  0

• Compiling configuration does not work

  #732 opened 3 months ago by yamaguchi1024
  1

• branching on a stride triggers validation error in bounds checking

  #740 opened 2 months ago by meganfrisella
  0

• Implement a lightweight "diff" printing wrapper

  #739 opened 2 months ago by yamaguchi1024
  0

• Extern codegen generates multiple function with the same name and different types

  #737 opened 2 months ago by yamaguchi1024
  0

• Tensor/window Codegen always emits `float *`, which is incorrect for custom memories

  #742 opened 2 months ago by yamaguchi1024
  0

• proc/builtin calls semantics

  #505 opened 3 months ago by SamirDroubi
  0

• Deprecate ctxts

  #712 opened 3 months ago by yamaguchi1024
  0

• `replace_all` failure?

  #699 opened 4 months ago by gilbo
  2

• `auto_stage_mem` bounds arithmetic is wrong

  #698 opened 4 months ago by gilbo
  2

• Video Tutorial

  #683 opened 5 months ago by manwallet
  1

• Segfault happens with examples/main.c

  #678 opened 6 months ago by gigony
  1

• No-op Intrinsic in Exo

  #565 opened a year ago by SamirDroubi
  3

• stage_mem can read/write out of bounds

  #507 opened 8 months ago by SamirDroubi
  0

• Restrict qualify pointers in generated C code

  #625 opened 8 months ago by SamirDroubi
  0

• Forward cursors in partial_eval and add_assertion

  #617 opened 9 months ago by yamaguchi1024
  0

• Unification/Replace bug isn't doing the correct stride checks

  #601 opened 9 months ago by skeqiqevian
  4

• Fix inline_assign bugs

  #612 opened 9 months ago by yamaguchi1024
  1

• Unification results for index expressions are non-deterministic

  #602 opened 9 months ago by SamirDroubi
  0

• Experiment with rewriting simplification passes using a library like sympy

  #596 opened 10 months ago by SamirDroubi
  0

• inline_window bug

  #593 opened 10 months ago by SamirDroubi
  0

• WindowStmt(s) aren't treated as declarative statements within the compiler

  #594 opened 10 months ago by SamirDroubi
  0

• Ran out of input when loading grammar on MacOS

  #573 opened a year ago by SamirDroubi
  2

• Deprecate bound_and_guard usage in sgemm.py

  #570 opened 10 months ago by yamaguchi1024
  0

• Exo Front-end literals and C literals type-inference at codegen

  #512 opened 10 months ago by SamirDroubi
  3

• divide_loop should validate perfectness with a real solver

  #533 opened a year ago by jrk
  0

• Find queries should return all matches by default

  #574 opened a year ago by jrk
  1

• Check_ExprEqvInContext Contradiction from the Assumptions

  #569 opened a year ago by SamirDroubi
  0

• GPU support in Exo

  #547 opened a year ago by skeqiqevian
  3

• Check_ReorderLoops fails when reduction is not in reduction syntax

  #557 opened a year ago by SamirDroubi
  4

• Exposing Symbols in the API

  #549 opened a year ago by SamirDroubi
  7

• LHS of Exo Statements

  #553 opened a year ago by SamirDroubi
  4

• Reversing the iteration dimensions

  #554 opened a year ago by SamirDroubi
  2

• Check_IsIdempotent has a bug

  #552 opened a year ago by yamaguchi1024
  0

• Proposal for Returning Relevant Cursors

  #541 opened a year ago by SamirDroubi
  18

• bind_expr Bugs

  #509 opened a year ago by SamirDroubi
  0

• Deprecate `many`/`match_many` option from the argument processor

  #540 opened a year ago by SamirDroubi
  0

• Reading undefined memory locations

  #539 opened a year ago by SamirDroubi
  0

• Support Cursors Comparision

  #523 opened a year ago by SamirDroubi
  0

• Srcinfo and error reporting

  #517 opened a year ago by SamirDroubi
  5

• Support for elementary bounds inference

  #516 opened a year ago by skeqiqevian
  0

• Try scheduling FlashAttention for "Chexo"

  #504 opened a year ago by yamaguchi1024
  1

• Controlling the C compiler for the last bit of performance and cross compiler portability

  #515 opened a year ago by SamirDroubi
  0

• Add explanation of pattern matching in Exo to README

  #514 opened a year ago by SamirDroubi
  1

• Pattern matching discussion

  #503 opened a year ago by yamaguchi1024
  3

• Implement `.parallel`

  #499 opened a year ago by yamaguchi1024
  1

• Partial Eval doesn't operate on numeric arguments

  #508 opened a year ago by SamirDroubi
  0

• Choosing new variable names during codegen bug

  #506 opened a year ago by SamirDroubi
  0

• Improved abstractions for hardware configuration state

  #502 opened a year ago by a0u
  1