summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* pretty: Print build dimensionTom Smeding33 hours
* Don't unSTyTom Smeding33 hours
* Remove done TODOTom Smeding33 hours
* test: Fix template constraint systemTom Smeding2 days
* test: Catch IO exceptions in hedgehogTom Smeding2 days
* Compile: Give IDs to C modules for easier debuggingTom Smeding2 days
* Compile: Reset accidentally enabled debug switchTom Smeding2 days
* test: Also run arr-rebind-simple, why notTom Smeding5 days
* compile: More checks, don't crash on check failTom Smeding5 days
* test: A test for new accumMap logicTom Smeding5 days
* test: Types synonyms cleanupTom 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
* Import orderingTom Smeding5 days
* test: Move generator helpers to top-levelTom 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
* test-framework: Behave decently when output is not a ttyTom Smeding2025-04-05
* Benchmark Compile, not InterpreterTom Smeding2025-03-30
* 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
* test: regresion-accum1 (still failing)Tom Smeding2025-03-27
* test: Respect shape lower bounds betterTom Smeding2025-03-27
* Compile: Fix debugPrintAST formattingTom Smeding2025-03-27
* test-framework: More matchable paths (begin/end anchors)Tom 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: Some more Compile tests (still passing, but code still broken)Tom Smeding2025-03-27
* test: type R = TScal TF64Tom 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
* Rules: small fixesTom Smeding2025-03-26
* D2[Array] now has a Maybe instead of zero-size for zeroTom Smeding2025-03-26
* Update rules.texTom Smeding2025-03-26
* Compile: More checksTom Smeding2025-03-23
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-04-26 22:51:34 +0200