| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | test: Proper intermixing of GCC warnings with test output | Tom Smeding | 23 hours |
| | | |||
| * | test-framework: Fix exception handling | Tom Smeding | 26 hours |
| | | |||
| * | Compile foldd1 and foldd2 | Tom Smeding | 5 days |
| | | |||
| * | Simplify foldD2 to not sum x0 contributions | Tom Smeding | 5 days |
| | | |||
| * | Implement reshape | Tom Smeding | 5 days |
| | | |||
| * | Compile: Improve/simplify struct generation | Tom Smeding | 5 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 | 7 days |
| | | |||
| * | Better fold D{1,2} primitives | Tom Smeding | 7 days |
| | | |||
| * | Count: Improve counting of tape in EFold1InnerD1 | Tom Smeding | 11 days |
| | | |||
| * | WIP fold: everything but Compile (slow, but should be sound) | Tom Smeding | 11 days |
| | | |||
| * | subenvSplit (unused, commented out, but it's written now) | Tom Smeding | 12 days |
| | | |||
| * | WIP fold: Implement D[fold1i] | Tom Smeding | 12 days |
| | | | | | Still need to handle the new primitives in the rest of the library | ||
| * | More precise reconstructBindings interface | Tom Smeding | 12 days |
| | | |||
| * | No need for assertSubenvEmpty in D[build] | Tom Smeding | 12 days |
| | | |||
| * | Helper functions bpush and weakenBindingsE | Tom Smeding | 12 days |
| | | |||
| * | pipeline helpers in Example | Tom Smeding | 12 days |
| | | |||
| * | Add uniform-tree test and benchmark | Tom Smeding | 12 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 | 2025-10-21 |
| | | |||
| * | 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 |
| | | | |||
