Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Compile EAccum | Tom Smeding | 14 days |
| | |||
* | 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 |
| |