exo-lang/exo issues and pull requests

#578 - Abstract interpretation based analysis

Pull Request - State: open - Opened by yamaguchi1024 8 months ago - 1 comment

#577 - Only run CI for main push or PR

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago - 1 comment

#576 - Cursor forwarding supports many-to-one merging.

Pull Request - State: open - Opened by skeqiqevian 8 months ago - 4 comments

#575 - Unify index inequalities with different ops

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 2 comments

#574 - Find queries should return all matches by default

Issue - State: open - Opened by jrk 8 months ago - 1 comment

#573 - Ran out of input when loading grammar on MacOS

Issue - State: open - Opened by SamirDroubi 8 months ago - 2 comments

#572 - Change DoEliminateDeadLoop Check

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 1 comment

#571 - Fix bug in stage_mem

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 2 comments

#570 - Deprecate bound_and_guard usage in sgemm.py

Issue - State: closed - Opened by yamaguchi1024 8 months ago
Labels: C: Internal, S: Available

#569 - Check_ExprEqvInContext Contradiction from the Assumptions

Issue - State: open - Opened by SamirDroubi 8 months ago
Labels: T: Bug, C: Prog Analysis

#568 - Forward when updating predicates in simplify

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 1 comment

#567 - Update CI to use the new M1 macOS runner

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago - 2 comments

#566 - Fix bug in inline_assign safety check

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 3 comments

#565 - No-op Intrinsic in Exo

Issue - State: open - Opened by SamirDroubi 8 months ago - 3 comments

#564 - Add Int type in the API types

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 1 comment

#563 - Deprecate bound_alloc and fix a resize_dim bug

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago - 1 comment

#562 - Remove unsafe_disable_checks from expand_dim

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago - 1 comment

#561 - Implement bound_loop_by_if

Pull Request - State: closed - Opened by SamirDroubi 8 months ago - 4 comments

#560 - Update the github workflow

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago - 1 comment

#559 - Fix failing Neon tests

Pull Request - State: closed - Opened by yamaguchi1024 8 months ago

#558 - Implement fold_into_reduce and reassociate_expr

Pull Request - State: closed - Opened by SamirDroubi 9 months ago - 7 comments

#557 - Check_ReorderLoops fails when reduction is not in reduction syntax

Issue - State: open - Opened by SamirDroubi 9 months ago - 4 comments
Labels: T: Bug, C: Prog Analysis

#556 - Bump pillow from 10.0.1 to 10.2.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago - 1 comment
Labels: dependencies

#555 - Fix bug in inline_assign

Pull Request - State: closed - Opened by SamirDroubi 9 months ago - 1 comment

#554 - Reversing the iteration dimensions

Issue - State: open - Opened by SamirDroubi 9 months ago - 2 comments
Labels: C: Scheduling, C: Prog Analysis, S: Needs Discussion

#553 - LHS of Exo Statements

Issue - State: open - Opened by SamirDroubi 9 months ago - 4 comments
Labels: C: Language, S: Needs Discussion, C: APIs

#552 - Check_IsIdempotent has a bug

Issue - State: open - Opened by yamaguchi1024 9 months ago
Labels: T: Bug, C: Prog Analysis

#551 - Update the SDE version

Pull Request - State: closed - Opened by SamirDroubi 9 months ago - 1 comment

#550 - Fix two bugs in unroll_buffer

Pull Request - State: closed - Opened by SamirDroubi 9 months ago - 1 comment

#549 - Exposing Symbols in the API

Issue - State: open - Opened by SamirDroubi 9 months ago - 7 comments
Labels: S: Needs Discussion, C: APIs

#548 - Upgrade z3-solver version to 4.12.4.0

Pull Request - State: closed - Opened by SamirDroubi 9 months ago - 1 comment

#547 - GPU support in Exo

Issue - State: open - Opened by skeqiqevian 9 months ago - 3 comments
Labels: C: Codegen, C: Language, C: Prog Analysis, S: Needs Discussion, C: Memory

#546 - Forwarding blocks for edit functions, allow replace to forward when it is 1-to-1

Pull Request - State: closed - Opened by skeqiqevian 9 months ago - 3 comments

#545 - Implement remove_control operation

Pull Request - State: closed - Opened by SamirDroubi 10 months ago - 46 comments

#544 - Remove control rewrite

Pull Request - State: closed - Opened by SamirDroubi 10 months ago

#543 - Pattern matching on cursors

Pull Request - State: closed - Opened by skeqiqevian 10 months ago - 3 comments

#542 - Bind expr fixes

Pull Request - State: closed - Opened by SamirDroubi 10 months ago - 2 comments

#541 - Proposal for Returning Relevant Cursors

Issue - State: open - Opened by SamirDroubi 10 months ago - 18 comments
Labels: S: Needs Discussion, C: APIs

#540 - Deprecate `many`/`match_many` option from the argument processor

Issue - State: open - Opened by SamirDroubi 10 months ago
Labels: S: Needs Discussion, C: APIs

#539 - Reading undefined memory locations

Issue - State: open - Opened by SamirDroubi 10 months ago
Labels: C: Scheduling, C: Prog Analysis, S: Needs Discussion

#538 - Update Github CI workflows

Pull Request - State: closed - Opened by yamaguchi1024 10 months ago - 1 comment

#537 - Changing shrink_dim to resize_dim

Pull Request - State: closed - Opened by skeqiqevian 10 months ago - 1 comment

#536 - Added support for uint16 and improved `replace_all` to handle bodies with length > 1

Pull Request - State: closed - Opened by skeqiqevian 10 months ago - 1 comment

#535 - Missing API from AllocCursor

Pull Request - State: closed - Opened by SamirDroubi 10 months ago - 1 comment

#534 - Add pldi24 combinator tests

Pull Request - State: closed - Opened by yamaguchi1024 10 months ago

#533 - divide_loop should validate perfectness with a real solver

Issue - State: closed - Opened by jrk 11 months ago
Labels: C: Scheduling, C: Prog Analysis

#532 - Fix a bug in extract_proc

Pull Request - State: closed - Opened by yamaguchi1024 11 months ago - 1 comment

#531 - Forwarding for replacing nodes

Pull Request - State: closed - Opened by skeqiqevian 11 months ago - 2 comments

#530 - Allow dividing loops by 1

Pull Request - State: closed - Opened by SamirDroubi 11 months ago - 2 comments

#529 - Blur sprint

Pull Request - State: closed - Opened by skeqiqevian 11 months ago - 2 comments

#528 - Dram stack

Pull Request - State: closed - Opened by skeqiqevian 11 months ago - 1 comment

#527 - Add guards to load/store stage in stage_mem

Pull Request - State: closed - Opened by SamirDroubi 11 months ago - 5 comments

#526 - Adds parallel loops and scheduling op to parallelize loops

Pull Request - State: closed - Opened by skeqiqevian 11 months ago - 7 comments

#525 - Add replace_once and unsafe flag to fission

Pull Request - State: closed - Opened by yamaguchi1024 11 months ago

#524 - Implement a software pipelining strategy

Pull Request - State: open - Opened by SamirDroubi 11 months ago - 4 comments

#523 - Support Cursors Comparision

Issue - State: open - Opened by SamirDroubi 12 months ago
Labels: S: Needs Discussion, C: APIs

#522 - More general bounds inference

Pull Request - State: closed - Opened by skeqiqevian 12 months ago - 1 comment

#521 - Revert "Precision propagation bug fix"

Pull Request - State: closed - Opened by skeqiqevian 12 months ago - 2 comments

#520 - Fixed incorrect cursor edit in set_window

Pull Request - State: closed - Opened by skeqiqevian 12 months ago - 1 comment

#519 - Precision propagation bug fix

Pull Request - State: closed - Opened by andrewj31415 12 months ago - 2 comments

#518 - Generalize remove_if to eliminate_dead_code

Pull Request - State: closed - Opened by SamirDroubi 12 months ago - 5 comments

#517 - Srcinfo and error reporting

Issue - State: open - Opened by SamirDroubi 12 months ago - 5 comments
Labels: C: Internal, S: Needs Discussion

#516 - Support for elementary bounds inference

Issue - State: open - Opened by skeqiqevian 12 months ago
Labels: C: Language, S: Available

#515 - Controlling the C compiler for the last bit of performance and cross compiler portability

Issue - State: open - Opened by SamirDroubi about 1 year ago
Labels: C: Codegen, S: Needs Discussion

#514 - Add explanation of pattern matching in Exo to README

Issue - State: open - Opened by SamirDroubi about 1 year ago - 1 comment
Labels: C: Docs, S: Available

#513 - Bump pillow from 9.3.0 to 10.0.1

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#512 - Exo Front-end literals and C literals type-inference at codegen

Issue - State: closed - Opened by SamirDroubi about 1 year ago - 3 comments
Labels: C: Codegen

#511 - Parrot Blur Sprint

Pull Request - State: closed - Opened by skeqiqevian about 1 year ago - 2 comments

#510 - Add initial parrot blur example with timing

Pull Request - State: closed - Opened by yamaguchi1024 about 1 year ago - 1 comment

#509 - bind_expr Bugs

Issue - State: closed - Opened by SamirDroubi about 1 year ago
Labels: T: Bug, C: Scheduling, S: Available

#508 - Partial Eval doesn't operate on numeric arguments

Issue - State: open - Opened by SamirDroubi about 1 year ago
Labels: C: Scheduling, S: Available

#507 - stage_mem can read/write out of bounds

Issue - State: closed - Opened by SamirDroubi about 1 year ago
Labels: T: Bug, C: Scheduling, C: Prog Analysis

#506 - Choosing new variable names during codegen bug

Issue - State: open - Opened by SamirDroubi about 1 year ago
Labels: T: Bug, C: Codegen, S: Available

#505 - proc/builtin calls semantics

Issue - State: open - Opened by SamirDroubi about 1 year ago
Labels: C: Codegen, C: Language, S: Available

#504 - Try scheduling FlashAttention for "Chexo"

Issue - State: open - Opened by yamaguchi1024 about 1 year ago - 1 comment
Labels: C: Language, S: Information Requested

#503 - Pattern matching discussion

Issue - State: open - Opened by yamaguchi1024 about 1 year ago - 3 comments
Labels: C: Language, S: Needs Discussion

#502 - Improved abstractions for hardware configuration state

Issue - State: open - Opened by a0u about 1 year ago - 1 comment
Labels: C: Language, S: Needs Discussion

#501 - Added `sink_alloc`

Pull Request - State: closed - Opened by skeqiqevian about 1 year ago - 1 comment

#500 - Fix unification bug when unifying conditions

Pull Request - State: closed - Opened by SamirDroubi about 1 year ago - 1 comment

#499 - Implement `.parallel`

Issue - State: open - Opened by yamaguchi1024 about 1 year ago - 1 comment
Labels: C: Scheduling, S: Needs Discussion

#498 - ASDL ADT Uses python list to represent a "list of nodes" -> Mutable LoopIR

Issue - State: open - Opened by SamirDroubi about 1 year ago - 1 comment
Labels: T: Bug, C: Internal

#497 - Implement `auto_divide_loop`

Issue - State: open - Opened by yamaguchi1024 about 1 year ago
Labels: C: Scheduling, S: Available

#496 - Inequalities Unification Error

Issue - State: closed - Opened by SamirDroubi about 1 year ago
Labels: T: Bug, C: Scheduling, S: Available

#495 - Evolve range analysis and remove redundant exo_floor_div

Pull Request - State: closed - Opened by SamirDroubi about 1 year ago - 5 comments

#494 - Evlove range analysis and remove redundant exo_floor_div

Pull Request - State: closed - Opened by SamirDroubi about 1 year ago - 1 comment

#493 - Problems handling tail loops

Issue - State: open - Opened by SamirDroubi about 1 year ago - 2 comments
Labels: C: Scheduling, C: Language, C: Prog Analysis, S: Needs Discussion

#492 - assert_if revision

Pull Request - State: closed - Opened by SamirDroubi about 1 year ago - 1 comment

#491 - Revised cut_loop and implemented shift_loop

Pull Request - State: closed - Opened by SamirDroubi about 1 year ago - 1 comment

#490 - Code organization

Issue - State: open - Opened by yamaguchi1024 about 1 year ago
Labels: C: Build, S: Needs Discussion

#489 - Stage_mem Issues

Issue - State: open - Opened by skeqiqevian about 1 year ago
Labels: C: Scheduling, Tracker

#488 - Better error messages

Issue - State: open - Opened by skeqiqevian about 1 year ago
Labels: C: Language, Tracker

#487 - Better CIR

Issue - State: open - Opened by skeqiqevian about 1 year ago
Labels: C: Codegen, Tracker

#486 - New Analysis

Issue - State: open - Opened by skeqiqevian about 1 year ago - 4 comments
Labels: C: Prog Analysis, Tracker

#485 - Quantization and Precision

Issue - State: open - Opened by skeqiqevian about 1 year ago
Labels: C: Language, Tracker

#484 - Better simplifier design

Issue - State: open - Opened by skeqiqevian about 1 year ago - 1 comment
Labels: C: Scheduling, Tracker

#483 - Exo core rewrite

Issue - State: open - Opened by rachitnigam about 1 year ago
Labels: C: Language, Tracker

#482 - Fixed forwarding bug in simplify for window stmts

Pull Request - State: closed - Opened by skeqiqevian about 1 year ago - 1 comment

#479 - Add Neon instructions

Pull Request - State: closed - Opened by yamaguchi1024 about 1 year ago - 1 comment

#478 - add support for vector length 16 in RVV

Pull Request - State: closed - Opened by miles-rusch-berkeley about 1 year ago - 2 comments

#477 - Confusing error message for bad `fuse` usage

Issue - State: open - Opened by rachitnigam about 1 year ago
Labels: C: Language, S: Available

GitHub / exo-lang/exo issues and pull requests