summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Pass around an accumMap (but it's empty still)HEADmasterTom Smeding11 hours
|
* Compile: Commutative fold still broken, but sum is vectorisedTom Smeding34 hours
|
* Compile: vectorise commutative foldsTom Smeding34 hours
|
* Pretty: fix printing of EMaybeTom Smeding34 hours
|
* Compile: Fix formatting of generated codeTom Smeding39 hours
|
* Fix refcount bug with indexing for nested arraysTom Smeding39 hours
|
* Compile: Fix debugPrintAST formattingTom Smeding45 hours
|
* Compile: Decrement accumval only when added, not movedTom Smeding47 hours
|
* Compile: remove unused functionTom Smeding47 hours
|
* Compile: Better alloc & refc debug facilitiesTom Smeding47 hours
|
* test: Start of a list of compile testsTom Smeding2 days
|
* Fix various issues in Compile (still broken)Tom Smeding2 days
|
* Language: support Maybe and Accum termsTom Smeding2 days
|
* Compile.Exec: also remove tmpdir when compilation failsTom Smeding2 days
|
* D2[Array] now has a Maybe instead of zero-size for zeroTom Smeding3 days
| | | | Remaining problem: 'add' in Compile doesn't use the D2 stuff
* Compile: More checksTom Smeding6 days
|
* Compile: More debugging machineryTom Smeding7 days
|
* Compile: Don't toList the Bag in 'scope'Tom Smeding7 days
|
* Compile.Exec: Better diagnostics on GCC errorTom Smeding7 days
|
* Compile: First compilation of fold1iTom Smeding7 days
|
* Compile: Decrement array elements when freeing arrayTom Smeding7 days
|
* Compile: Add some forgotten refcount decrementsTom Smeding7 days
|
* Compile: compileAssign helper functionTom Smeding7 days
|
* Commutativity marker on fold1iTom Smeding9 days
|
* Compile EAccumTom Smeding11 days
|
* simplifyOneHotTermTom Smeding13 days
|
* Complete accumulator revamp!Tom Smeding14 days
|
* Much process with accumulator revampTom Smeding2025-03-14
|
* WIP revamp accumulator projection type reprTom Smeding2025-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 caseTom Smeding2025-03-11
| | | | This improves (compactifies) hedgehog output
* test: Run gradientByForward with compiled DN funTom Smeding2025-03-09
|
* Just allow non-array accumulator typesTom Smeding2025-03-09
| | | | Not sure why I didn't allow this previously
* Clean up code organisation a littleTom Smeding2025-03-09
|
* idana: CleanupTom Smeding2025-03-07
|
* pretty: Print x value for (!)Tom Smeding2025-03-07
|
* idana: Track array shapesTom Smeding2025-03-07
|
* pprintExprTom Smeding2025-03-07
|
* Compile: Implement EWith (TODO EAccum)Tom Smeding2025-03-05
| | | | That's going to be a mess
* Compile: Better names for struct fieldsTom Smeding2025-03-05
|
* Add regression test for HEAD^Tom Smeding2025-03-04
|
* Fix big oops bug in simplifyTom Smeding2025-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 debuggingTom Smeding2025-03-04
|
* Language: Specify type param order on let_Tom Smeding2025-03-04
|
* Compile: Fix EErrorTom Smeding2025-03-04
|
* Fix ppParen in pretty of EWithTom Smeding2025-03-04
|
* Compile: maximum1i and minimum1iTom Smeding2025-03-04
|
* Compile: Fix right-precedence of (*)Tom Smeding2025-03-04
|
* Compile: replicate1iTom Smeding2025-03-03
|
* WIP replicate1iTom Smeding2025-03-03
|
* Run test primals with Compile (not all succeed yet)Tom Smeding2025-03-03
|