Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Pass around an accumMap (but it's empty still)HEADmaster | Tom Smeding | 11 hours |
| | |||
* | Compile: Commutative fold still broken, but sum is vectorised | Tom Smeding | 34 hours |
| | |||
* | Compile: vectorise commutative folds | Tom Smeding | 34 hours |
| | |||
* | Pretty: fix printing of EMaybe | Tom Smeding | 34 hours |
| | |||
* | Compile: Fix formatting of generated code | Tom Smeding | 39 hours |
| | |||
* | Fix refcount bug with indexing for nested arrays | Tom Smeding | 39 hours |
| | |||
* | Compile: Fix debugPrintAST formatting | Tom Smeding | 45 hours |
| | |||
* | Compile: Decrement accumval only when added, not moved | Tom Smeding | 47 hours |
| | |||
* | Compile: remove unused function | Tom Smeding | 47 hours |
| | |||
* | Compile: Better alloc & refc debug facilities | Tom Smeding | 47 hours |
| | |||
* | test: Start of a list of compile tests | Tom Smeding | 2 days |
| | |||
* | Fix various issues in Compile (still broken) | Tom Smeding | 2 days |
| | |||
* | Language: support Maybe and Accum terms | Tom Smeding | 2 days |
| | |||
* | Compile.Exec: also remove tmpdir when compilation fails | Tom Smeding | 2 days |
| | |||
* | D2[Array] now has a Maybe instead of zero-size for zero | Tom Smeding | 3 days |
| | | | | Remaining problem: 'add' in Compile doesn't use the D2 stuff | ||
* | Compile: More checks | Tom Smeding | 6 days |
| | |||
* | Compile: More debugging machinery | Tom Smeding | 7 days |
| | |||
* | Compile: Don't toList the Bag in 'scope' | Tom Smeding | 7 days |
| | |||
* | Compile.Exec: Better diagnostics on GCC error | Tom Smeding | 7 days |
| | |||
* | Compile: First compilation of fold1i | Tom Smeding | 7 days |
| | |||
* | Compile: Decrement array elements when freeing array | Tom Smeding | 7 days |
| | |||
* | Compile: Add some forgotten refcount decrements | Tom Smeding | 7 days |
| | |||
* | Compile: compileAssign helper function | Tom Smeding | 7 days |
| | |||
* | Commutativity marker on fold1i | Tom Smeding | 9 days |
| | |||
* | Compile EAccum | Tom Smeding | 11 days |
| | |||
* | simplifyOneHotTerm | Tom Smeding | 13 days |
| | |||
* | Complete accumulator revamp! | Tom Smeding | 14 days |
| | |||
* | 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 |
| |