summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Compile: Give IDs to C modules for easier debuggingTom Smeding46 hours
|
* Compile: Reset accidentally enabled debug switchTom Smeding46 hours
|
* compile: More checks, don't crash on check failTom Smeding5 days
|
* test: A test for new accumMap logicTom Smeding5 days
|
* idana: Unify in either fallback caseTom Smeding5 days
|
* splitLets: Don't split if unnecessaryTom Smeding5 days
|
* pretty: Generate type-tagged fallback namesTom Smeding5 days
|
* Let peeling (let x = Just e in e' ~> let x = e in e'[Just x/x])Tom Smeding5 days
|
* Add integer modulo operatorTom Smeding5 days
|
* Some progress with accumMapTom Smeding8 days
|
* An unused function (descrPrj)Tom Smeding8 days
|
* Better simplification of onehotsTom Smeding8 days
|
* pretty: Print arguments of open expressionTom Smeding8 days
|
* Populate accumMapTom Smeding2025-04-06
|
* Split product lets before chadTom Smeding2025-04-05
|
* Compile: Generate slightly less redundant C codeTom Smeding2025-03-30
|
* Pass around an accumMap (but it's empty still)Tom Smeding2025-03-28
|
* Compile: Commutative fold still broken, but sum is vectorisedTom Smeding2025-03-28
|
* Compile: vectorise commutative foldsTom Smeding2025-03-27
|
* Pretty: fix printing of EMaybeTom Smeding2025-03-27
|
* Compile: Fix formatting of generated codeTom Smeding2025-03-27
|
* Fix refcount bug with indexing for nested arraysTom Smeding2025-03-27
|
* Compile: Fix debugPrintAST formattingTom Smeding2025-03-27
|
* Compile: Decrement accumval only when added, not movedTom Smeding2025-03-27
|
* Compile: remove unused functionTom Smeding2025-03-27
|
* Compile: Better alloc & refc debug facilitiesTom Smeding2025-03-27
|
* test: Start of a list of compile testsTom Smeding2025-03-26
|
* Fix various issues in Compile (still broken)Tom Smeding2025-03-26
|
* Language: support Maybe and Accum termsTom Smeding2025-03-26
|
* Compile.Exec: also remove tmpdir when compilation failsTom Smeding2025-03-26
|
* D2[Array] now has a Maybe instead of zero-size for zeroTom Smeding2025-03-26
| | | | Remaining problem: 'add' in Compile doesn't use the D2 stuff
* Compile: More checksTom Smeding2025-03-23
|
* Compile: More debugging machineryTom Smeding2025-03-22
|
* Compile: Don't toList the Bag in 'scope'Tom Smeding2025-03-21
|
* Compile.Exec: Better diagnostics on GCC errorTom Smeding2025-03-21
|
* Compile: First compilation of fold1iTom Smeding2025-03-21
|
* Compile: Decrement array elements when freeing arrayTom Smeding2025-03-21
|
* Compile: Add some forgotten refcount decrementsTom Smeding2025-03-21
|
* Compile: compileAssign helper functionTom Smeding2025-03-21
|
* Commutativity marker on fold1iTom Smeding2025-03-20
|
* Compile EAccumTom Smeding2025-03-17
|
* simplifyOneHotTermTom Smeding2025-03-16
|
* Complete accumulator revamp!Tom Smeding2025-03-15
|
* 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
|
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-04-26 19:36:54 +0200