| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | WIP revamp accumulators again: explicit monoid types | Tom Smeding | 2025-04-27 |
| | | | | | | | | | No more D2 in accumulators! Paving the way for configurable sparsity of products and arrays. The idea is to make separate monoid types for a "product cotangent" and an "array cotangent" that can be lowered to either a sparse monoid or a non-sparse monoid. Downsides of this approach: lots of API duplication. | ||
| * | idana: Unify in either fallback case | Tom Smeding | 2025-04-21 |
| | | |||
| * | Populate accumMap | Tom Smeding | 2025-04-06 |
| | | |||
| * | Pass around an accumMap (but it's empty still) | Tom Smeding | 2025-03-28 |
| | | |||
| * | Commutativity marker on fold1i | Tom Smeding | 2025-03-20 |
| | | |||
| * | Much process with accumulator revamp | Tom Smeding | 2025-03-14 |
| | | |||
| * | idana: Cleanup | Tom Smeding | 2025-03-07 |
| | | |||
| * | idana: Track array shapes | Tom Smeding | 2025-03-07 |
| | | |||
| * | Pretty-printer that supports extension fields | Tom Smeding | 2025-01-28 |
| | | |||
| * | Complete identity analysis | Tom Smeding | 2025-01-27 |
| | | |||
| * | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
| | | |||
| * | WIP identity analysis | Tom Smeding | 2025-01-20 |
