aboutsummaryrefslogtreecommitdiff
path: root/src/Analysis
Commit message (Expand)AuthorAge
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding42 hours
* Complete pattern matchesTom Smeding2025-06-18
* Tests pass, should check if output is sensibleTom Smeding2025-06-18
* ERecomputeTom Smeding2025-05-25
* Reorder TLEither to after TEitherTom Smeding2025-04-29
* WIP revamp accumulators again: explicit monoid typesTom Smeding2025-04-27
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-10-26 16:25:21 +0100