aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* Compile foldd1 and foldd2HEADmasterTom Smeding3 days
* Simplify foldD2 to not sum x0 contributionsTom Smeding3 days
* Implement reshapeTom Smeding3 days
* Compile: Improve/simplify struct generationTom Smeding3 days
* Compile: store sh in array, not in array bufferTom Smeding3 days
* Compatibility with ghc 9.8Tom Smeding4 days
* Better fold D{1,2} primitivesTom Smeding5 days
* Count: Improve counting of tape in EFold1InnerD1Tom Smeding8 days
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding9 days
* subenvSplit (unused, commented out, but it's written now)Tom Smeding10 days
* WIP fold: Implement D[fold1i]Tom Smeding10 days
* More precise reconstructBindings interfaceTom Smeding10 days
* No need for assertSubenvEmpty in D[build]Tom Smeding10 days
* Helper functions bpush and weakenBindingsETom Smeding10 days
* pipeline helpers in ExampleTom Smeding10 days
* Add uniform-tree test and benchmarkTom Smeding10 days
* 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
| * Complete pattern matchesTom Smeding2025-06-18
| * Tests pass, should check if output is sensibleTom Smeding2025-06-18
| * CHAD.hs compilesTom Smeding2025-06-16
| * WIPTom Smeding2025-06-09
| * More WIP sparsityTom Smeding2025-06-08
| * WIP mixed static/dynamic sparsityTom Smeding2025-06-06
* | Don't destroy effects in UnMonoidTom Smeding2025-06-18
|/
* Simplify: also down-commute projections into EMaybeTom Smeding2025-05-25
* Add AST.UnMonoid convenience repl import to ExampleTom Smeding2025-05-25
* ERecomputeTom Smeding2025-05-25
* Print EMaybe as caseTom Smeding2025-05-25
* Implement mapExt as travExtTom Smeding2025-05-25
* Compile: special-case to a single kernel functionTom Smeding2025-05-06
* Reorder TLEither to after TEitherTom Smeding2025-04-29
* simplify: Better simplify nested monoid opsTom Smeding2025-04-29
* pretty: Print types of monoid opsTom Smeding2025-04-29
* Simplify: Don't forget about effects -.-Tom Smeding2025-04-29
* Tracing simplifierTom Smeding2025-04-29
* Complete monoidal accumulator rewriteTom Smeding2025-04-29
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-11-02 20:48:12 +0100