aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Count: Improve counting of tape in EFold1InnerD1foldTom Smeding5 hours
|
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding15 hours
|
* subenvSplit (unused, commented out, but it's written now)Tom Smeding39 hours
|
* WIP fold: Implement D[fold1i]Tom Smeding39 hours
| | | | Still need to handle the new primitives in the rest of the library
* More precise reconstructBindings interfaceHEADmasterTom Smeding39 hours
|
* No need for assertSubenvEmpty in D[build]Tom Smeding39 hours
|
* Helper functions bpush and weakenBindingsETom Smeding39 hours
|
* pipeline helpers in ExampleTom Smeding39 hours
|
* Add uniform-tree test and benchmarkTom Smeding39 hours
| | | | | | We need an optimisation that detects replicate-like behaviour and turns it into actual replicates, which should then be fused away. The problem is exhibited by this function exUniformFree.
* bench: Simplify before differentiatingTom Smeding4 days
|
* Add pruneExpr to benchmarksTom Smeding9 days
| | | | | | | | neural/default neural/accum gmm/default gmm/accum before 157.1 μs 117.9 μs 2.087 ms 2.040 ms after 106.6 μs 107.0 μs 1.931 ms 1.780 ms I call that a win!
* Remove stale importTom Smeding9 days
|
* Parallel test runnerTom Smeding12 days
|
* Test with pruneExprTom Smeding14 days
|
* README: Fix typoTom Smeding2025-10-09
|
* Set Example module as ghci defaultTom Smeding2025-10-08
|
* Complete occCountXTom Smeding2025-10-08
|
* Simplify: Add placeholder recursion branches for convenienceTom Smeding2025-10-08
|
* test: Don't shrink generated scalarsTom Smeding2025-10-08
|
* Simplify: Don't forget effects, againTom Smeding2025-10-08
| | | | | | This didn't actually result in any test failures, but I caught it while hunting for a bug that turned out to be missing scaleMany in the new occCount.
* 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
|
* Add stub readmeTom Smeding2025-06-23
|
* 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
| |
| * test: Diligently check UnMonoid correctnessTom Smeding2025-06-18
| |
| * test: Test both default and accum configsTom Smeding2025-06-18
| |
| * test-framework: Correct line count when collapsing with nested subgroupsTom 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
| |
| * TODO deep zero in accum + fix warningsTom 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
| |
* | test: Diligently check UnMonoid correctnessTom Smeding2025-06-18
| |
* | test: Test both default and accum configsTom Smeding2025-06-18
| |
* | test-framework: Correct line count when collapsing with nested subgroupsTom 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
|
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-10-25 14:47:26 +0200