Stephen Chou

To avoid potential naming conflicts with user-defined macros.

Implement a framework for dataflow analyses and program transformations

Replace index expression lowering pass with taco

Currently there is no way to declare constant extern variables. The following is the proposed syntax for declaring constant externs: ``` const extern V : set{Vertex}; const extern M :...

Back end currently does not support calling functions with matrix or vector parameters that have set dimensions, e.g. ``` extern points : set{Point}; func foo(M : matrix[points,points](float)) % Do something...

RFC: Allow computations to semantically be evaluated when `compute` is invoked

1

# Motivation Currently, the semantics of the C++ library is such that, from the user's perspective, computations always appear as if they are evaluated at the point of assignment: ```c++...

RFC: Generating code to filter out explicit zeros in results

3

# Summary This RFC proposes adding a new `padded` property to mode formats, which describes whether or not explicit zeros are stored. The lowering machinery can use this property to...