aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* WIP: Think about fusionfusionTom Smeding9 hours
* Add a simplify ruleHEADmasterTom Smeding9 hours
* Fix typoTom Smeding12 hours
* UnMonoid: Use eunPairTom Smeding9 days
* Sparse: Maybe prevent another SpSparse introductionTom Smeding9 days
* User-facing API suggestionTom Smeding11 days
* hlint cleanupTom Smeding12 days
* Use ImportQualifiedPostTom Smeding12 days
* Move module hierarchy under CHAD.Tom Smeding12 days
* Fix pretty-printing for MapTom Smeding2025-11-05
* Some extra Map optimisationsTom Smeding2025-11-05
* Implement D[map]Tom Smeding2025-11-05
* Cleanup of D[build] and D[fold1i]Tom Smeding2025-11-05
* drevLambda works, TODO D[map]Tom Smeding2025-11-04
* autoWeak: Improve typingTom Smeding2025-11-04
* WIP drevLambda abstraction!Tom Smeding2025-11-03
* WIP map + zipTom Smeding2025-11-03
* Compile: Add -Wno-maybe-uninitializedTom Smeding2025-11-03
* test: Proper intermixing of GCC warnings with test outputTom Smeding2025-11-03
* Compile foldd1 and foldd2Tom Smeding2025-10-30
* Simplify foldD2 to not sum x0 contributionsTom Smeding2025-10-30
* Implement reshapeTom Smeding2025-10-30
* Compile: Improve/simplify struct generationTom Smeding2025-10-30
* Compile: store sh in array, not in array bufferTom Smeding2025-10-30
* Compatibility with ghc 9.8Tom Smeding2025-10-29
* Better fold D{1,2} primitivesTom Smeding2025-10-28
* Count: Improve counting of tape in EFold1InnerD1Tom Smeding2025-10-25
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding2025-10-24
* subenvSplit (unused, commented out, but it's written now)Tom Smeding2025-10-23
* WIP fold: Implement D[fold1i]Tom Smeding2025-10-23
* More precise reconstructBindings interfaceTom Smeding2025-10-23
* No need for assertSubenvEmpty in D[build]Tom Smeding2025-10-23
* Helper functions bpush and weakenBindingsETom Smeding2025-10-23
* pipeline helpers in ExampleTom Smeding2025-10-23
* Add uniform-tree test and benchmarkTom Smeding2025-10-23
* Set Example module as ghci defaultTom Smeding2025-10-08
* Complete occCountXTom Smeding2025-10-08
* Simplify: Add placeholder recursion branches for convenienceTom Smeding2025-10-08
* Simplify: Don't forget effects, againTom Smeding2025-10-08
* Count: Correct alternative and scaleMany countingTom Smeding2025-10-08
* Code styleTom Smeding2025-10-08
* WIP pruneExpr in AST.CountTom Smeding2025-07-23
* Fix extremum bug in DualNumbersTom Smeding2025-07-07
* Merge branch 'sparse'Tom Smeding2025-06-21
|\
| * Some more effects to not ignoresparseTom Smeding2025-06-18
| * Don't destroy effects in UnMonoidTom Smeding2025-06-18
| * Don't introduce sparsity if zero is cheapTom Smeding2025-06-18
| * Don't destroy effects in sparse plusTom Smeding2025-06-18
| * Put smart accumulator redirection behind config flagTom Smeding2025-06-18
| * Give DeepZero to WithTom Smeding2025-06-18
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-11-23 07:42:18 +0100