Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | WIP revamp accumulators again: explicit monoid types | Tom Smeding | 9 days |
| | | | | | | | | 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. | ||
* | Populate accumMap | Tom Smeding | 2025-04-06 |
| | |||
* | Split product lets before chad | Tom Smeding | 2025-04-05 |
| | |||
* | Pass around an accumMap (but it's empty still) | Tom Smeding | 2025-03-28 |
| | |||
* | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
| | |||
* | WIP accum top-level args | Tom Smeding | 2024-11-26 |
| | |||
* | Configuration for CHAD | Tom Smeding | 2024-11-14 |
| | |||
* | Benchmark | Tom Smeding | 2024-11-07 |