summaryrefslogtreecommitdiff
path: root/src/Analysis
Commit message (Collapse)AuthorAge
* Reorder TLEither to after TEitherTom Smeding7 days
|
* WIP revamp accumulators again: explicit monoid typesTom Smeding9 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.
* idana: Unify in either fallback caseTom Smeding2025-04-21
|
* Populate accumMapTom Smeding2025-04-06
|
* Pass around an accumMap (but it's empty still)Tom Smeding2025-03-28
|
* Commutativity marker on fold1iTom Smeding2025-03-20
|
* Much process with accumulator revampTom Smeding2025-03-14
|
* idana: CleanupTom Smeding2025-03-07
|
* idana: Track array shapesTom Smeding2025-03-07
|
* Pretty-printer that supports extension fieldsTom Smeding2025-01-28
|
* Complete identity analysisTom Smeding2025-01-27
|
* Add ext field to remaining AST constructorsTom Smeding2025-01-27
|
* WIP identity analysisTom Smeding2025-01-20