| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Compile: Improve/simplify struct generation | Tom Smeding | 4 days | 
| | | |||
| * | Compile: store sh in array, not in array buffer | Tom Smeding | 5 days | 
| | | |||
| * | Compatibility with ghc 9.8 | Tom Smeding | 6 days | 
| | | |||
| * | Add some simple fold tests | Tom Smeding | 6 days | 
| | | |||
| * | Better fold D{1,2} primitives | Tom Smeding | 7 days | 
| | | |||
| * | Count: Improve counting of tape in EFold1InnerD1 | Tom Smeding | 10 days | 
| | | |||
| * | WIP fold: everything but Compile (slow, but should be sound) | Tom Smeding | 10 days | 
| | | |||
| * | subenvSplit (unused, commented out, but it's written now) | Tom Smeding | 11 days | 
| | | |||
| * | WIP fold: Implement D[fold1i] | Tom Smeding | 11 days | 
| | | | | | Still need to handle the new primitives in the rest of the library | ||
| * | More precise reconstructBindings interface | Tom Smeding | 11 days | 
| | | |||
| * | No need for assertSubenvEmpty in D[build] | Tom Smeding | 11 days | 
| | | |||
| * | Helper functions bpush and weakenBindingsE | Tom Smeding | 11 days | 
| | | |||
| * | pipeline helpers in Example | Tom Smeding | 11 days | 
| | | |||
| * | Add uniform-tree test and benchmark | Tom Smeding | 11 days | 
| | | | | | | | 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 differentiating | Tom Smeding | 13 days | 
| | | |||
| * | Add pruneExpr to benchmarks | Tom Smeding | 2025-10-16 | 
| | | | | | | | | | 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 import | Tom Smeding | 2025-10-16 | 
| | | |||
| * | Parallel test runner | Tom Smeding | 2025-10-13 | 
| | | |||
| * | Test with pruneExpr | Tom Smeding | 2025-10-11 | 
| | | |||
| * | README: Fix typo | Tom Smeding | 2025-10-09 | 
| | | |||
| * | Set Example module as ghci default | Tom Smeding | 2025-10-08 | 
| | | |||
| * | Complete occCountX | Tom Smeding | 2025-10-08 | 
| | | |||
| * | Simplify: Add placeholder recursion branches for convenience | Tom Smeding | 2025-10-08 | 
| | | |||
| * | test: Don't shrink generated scalars | Tom Smeding | 2025-10-08 | 
| | | |||
| * | Simplify: Don't forget effects, again | Tom Smeding | 2025-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 counting | Tom Smeding | 2025-10-08 | 
| | | |||
| * | Code style | Tom Smeding | 2025-10-08 | 
| | | |||
| * | WIP pruneExpr in AST.Count | Tom Smeding | 2025-07-23 | 
| | | |||
| * | Fix extremum bug in DualNumbers | Tom Smeding | 2025-07-07 | 
| | | |||
| * | Add stub readme | Tom Smeding | 2025-06-23 | 
| | | |||
| * | Merge branch 'sparse' | Tom Smeding | 2025-06-21 | 
| |\ | |||
| | * | Some more effects to not ignoresparse | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Don't destroy effects in UnMonoid | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | test: Diligently check UnMonoid correctness | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | test: Test both default and accum configs | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | test-framework: Correct line count when collapsing with nested subgroups | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Don't introduce sparsity if zero is cheap | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Don't destroy effects in sparse plus | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Put smart accumulator redirection behind config flag | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Give DeepZero to With | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Complete pattern matches | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | TODO deep zero in accum + fix warnings | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | Tests pass, should check if output is sensible | Tom Smeding | 2025-06-18 | 
| | | | |||
| | * | CHAD.hs compiles | Tom Smeding | 2025-06-16 | 
| | | | |||
| | * | WIP | Tom Smeding | 2025-06-09 | 
| | | | |||
| | * | More WIP sparsity | Tom Smeding | 2025-06-08 | 
| | | | |||
| | * | WIP mixed static/dynamic sparsity | Tom Smeding | 2025-06-06 | 
| | | | |||
| * | | Don't destroy effects in UnMonoid | Tom Smeding | 2025-06-18 | 
| | | | |||
| * | | test: Diligently check UnMonoid correctness | Tom Smeding | 2025-06-18 | 
| | | | |||
| * | | test: Test both default and accum configs | Tom Smeding | 2025-06-18 | 
| | | | |||
