| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | simplifyOneHotTerm | Tom Smeding | 2025-03-16 | |
| | | ||||
| * | Complete accumulator revamp! | Tom Smeding | 2025-03-15 | |
| | | ||||
| * | Much process with accumulator revamp | Tom Smeding | 2025-03-14 | |
| | | ||||
| * | WIP revamp accumulator projection type repr | Tom Smeding | 2025-03-14 | |
| | | | | | | | | I stopped working on this because I realised that having sparse products (and coproducts, prehaps) everywhere is a very bad idea in general, and that we need to fix that first before really being able to do anything else productive with performance. | |||
| * | test: Split adTestGen into one function per test case | Tom Smeding | 2025-03-11 | |
| | | | | | This improves (compactifies) hedgehog output | |||
| * | test: Run gradientByForward with compiled DN fun | Tom Smeding | 2025-03-09 | |
| | | ||||
| * | Just allow non-array accumulator types | Tom Smeding | 2025-03-09 | |
| | | | | | Not sure why I didn't allow this previously | |||
| * | Clean up code organisation a little | Tom Smeding | 2025-03-09 | |
| | | ||||
| * | idana: Cleanup | Tom Smeding | 2025-03-07 | |
| | | ||||
| * | pretty: Print x value for (!) | Tom Smeding | 2025-03-07 | |
| | | ||||
| * | idana: Track array shapes | Tom Smeding | 2025-03-07 | |
| | | ||||
| * | pprintExpr | Tom Smeding | 2025-03-07 | |
| | | ||||
| * | Compile: Implement EWith (TODO EAccum) | Tom Smeding | 2025-03-05 | |
| | | | | | That's going to be a mess | |||
| * | Compile: Better names for struct fields | Tom Smeding | 2025-03-05 | |
| | | ||||
| * | Add regression test for HEAD^ | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Fix big oops bug in simplify | Tom Smeding | 2025-03-04 | |
| | | | | | | The dangers of writing a simplifier for an effectful language. I thought this was easy, but apparently it's all too simple to trip up... | |||
| * | Add some simplify flags infrastructure for debugging | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Language: Specify type param order on let_ | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Compile: Fix EError | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Fix ppParen in pretty of EWith | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Compile: maximum1i and minimum1i | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Compile: Fix right-precedence of (*) | Tom Smeding | 2025-03-04 | |
| | | ||||
| * | Compile: replicate1i | Tom Smeding | 2025-03-03 | |
| | | ||||
| * | WIP replicate1i | Tom Smeding | 2025-03-03 | |
| | | ||||
| * | Run test primals with Compile (not all succeed yet) | Tom Smeding | 2025-03-03 | |
| | | ||||
| * | Compile: sum1inner, unit, idx0 | Tom Smeding | 2025-03-03 | |
| | | ||||
| * | Compile: Support EShape and EBuild | Tom Smeding | 2025-03-02 | |
| | | ||||
| * | Compile.Exec: Show number of loaded kernels in debug prints | Tom Smeding | 2025-03-02 | |
| | | ||||
| * | Compile: index into arrays | Tom Smeding | 2025-03-02 | |
| | | ||||
| * | compile: Compile constant array literals | Tom Smeding | 2025-03-02 | |
| | | ||||
| * | compile: WIP reference-counted arrays | Tom Smeding | 2025-03-02 | |
| | | ||||
| * | Compile: More precise monads in genStructs | Tom Smeding | 2025-03-01 | |
| | | ||||
| * | simplify: Halfway beta-reduce product projections in effectful context | Tom Smeding | 2025-03-01 | |
| | | ||||
| * | Fix some pretty-printing | Tom Smeding | 2025-03-01 | |
| | | ||||
| * | test: Simplify and make it a bit faster | Tom Smeding | 2025-02-28 | |
| | | ||||
| * | Compile: some cleanup | Tom Smeding | 2025-02-28 | |
| | | ||||
| * | Remove stupid old nonworking cuda stub | Tom Smeding | 2025-02-28 | |
| | | ||||
| * | Compile to C and load using dlopen | Tom Smeding | 2025-02-28 | |
| | | ||||
| * | Comment unhandled cases instead of getting 1e6 warnings | Tom Smeding | 2025-02-25 | |
| | | ||||
| * | UnMonoid: Properly recurse | Tom Smeding | 2025-02-25 | |
| | | ||||
| * | Pretty: Allow colouring exts (currently not) | Tom Smeding | 2025-02-25 | |
| | | ||||
| * | Compile: Emit structs in proper order | Tom Smeding | 2025-02-25 | |
| | | ||||
| * | Purge Example.Format | Tom Smeding | 2025-01-28 | |
| | | ||||
| * | Pretty-printer that supports extension fields | Tom Smeding | 2025-01-28 | |
| | | ||||
| * | Complete identity analysis | Tom Smeding | 2025-01-27 | |
| | | ||||
| * | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 | |
| | | ||||
| * | WIP identity analysis | Tom Smeding | 2025-01-20 | |
| | | ||||
| * | Improve Compile a little (still only scalars) | Tom Smeding | 2024-12-12 | |
| | | ||||
| * | Somewhat working Compile | Tom Smeding | 2024-12-12 | |
| | | ||||
| * | Start WIP compile-to-C | Tom Smeding | 2024-12-06 | |
| | | ||||
