Issues

• Enable compatibility with latest asdl-adt

  exo-lang/exo#834 · Filter by author bkmgit opened on May 28, 2026

• Is there any way to extend ExoType in code?

  exo-lang/exo#814 · Filter by author TJU-PanYizhe opened on Dec 19, 2025
  1

• Missing datatype checks causing precision inaccuracies

  C: CodegenT: Bug
  exo-lang/exo#803 · Filter by author DEVANSH-DVJ opened on Sep 6, 2025
  1

• stage_mem window aliasing

  C: Prog Analysis
  exo-lang/exo#784 · Filter by author kehemo opened on May 12, 2025

• Div/mod behavior should be consistent in the compiler and analysis

  C: CodegenC: Prog AnalysisS: Available
  Bug

  exo-lang/exo#779 · Filter by author yamaguchi1024 opened on Apr 24, 2025

• Does annotation @instr support custom instruction?

  exo-lang/exo#778 · Filter by author TJU-PanYizhe opened on Apr 24, 2025
  9

• Instruction assertions being ignored

  T: Bug
  Bug

  exo-lang/exo#758 · Filter by author yamaguchi1024 opened on Feb 7, 2025

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

  C: CodegenS: AvailableT: Bug
  exo-lang/exo#742 · Filter by author yamaguchi1024 opened on Nov 7, 2024

• branching on a stride triggers validation error in bounds checking

  C: InternalS: AvailableT: Bug
  exo-lang/exo#740 · Filter by author meganfrisella opened on Nov 6, 2024

• Implement a lightweight "diff" printing wrapper

  C: APIsS: AvailableT: New feature
  exo-lang/exo#739 · Filter by author yamaguchi1024 opened on Nov 5, 2024

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

  C: CodegenS: AvailableT: Bug
  exo-lang/exo#737 · Filter by author yamaguchi1024 opened on Nov 5, 2024

• Compiling configuration does not work

  C: CodegenS: AvailableT: Bug
  exo-lang/exo#732 · Filter by author yamaguchi1024 opened on Oct 21, 2024
  1

• Deprecate ctxts

  C: Codegen
  exo-lang/exo#712 · Filter by author yamaguchi1024 opened on Oct 5, 2024

• replace_all failure?

  C: SchedulingT: Bug
  exo-lang/exo#699 · Filter by author gilbo opened on Sep 4, 2024
  2

• auto_stage_mem bounds arithmetic is wrong

  C: Prog AnalysisC: SchedulingT: Bug
  exo-lang/exo#698 · Filter by author gilbo opened on Sep 3, 2024
  2

• Unknown Z3 error from remove_loop

  C: Prog AnalysisT: Bug
  exo-lang/exo#652 · Filter by author yamaguchi1024 opened on May 29, 2024

• Restrict qualify pointers in generated C code

  exo-lang/exo#625 · Filter by author SamirDroubi opened on Apr 23, 2024

• Forward cursors in partial_eval and add_assertion

  exo-lang/exo#617 · Filter by author yamaguchi1024 opened on Apr 16, 2024

• Stride-based control

  C: Prog AnalysisT: Bug
  exo-lang/exo#615 · Filter by author SamirDroubi opened on Apr 7, 2024

• Fix inline_assign bugs

  C: SchedulingT: Bug
  exo-lang/exo#612 · Filter by author yamaguchi1024 opened on Apr 5, 2024
  1

• Unification results for index expressions are non-deterministic

  exo-lang/exo#602 · Filter by author SamirDroubi opened on Mar 26, 2024

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

  T: Bug
  exo-lang/exo#601 · Filter by author skeqiqevian opened on Mar 25, 2024
  4

• Experiment with rewriting simplification passes using a library like sympy

  C: InternalS: Available
  exo-lang/exo#596 · Filter by author SamirDroubi opened on Mar 17, 2024
  

• Find queries should return all matches by default

  exo-lang/exo#574 · Filter by author jrk opened on Feb 4, 2024
  1

• Ran out of input when loading grammar on MacOS

  exo-lang/exo#573 · Filter by author SamirDroubi opened on Feb 3, 2024
  2