index
:
chad-fast
evm
hashable-gadt
master
test-catch-exc
[no description]
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
*
Simplify: also down-commute projections into EMaybe
HEAD
master
Tom Smeding
11 days
*
Add AST.UnMonoid convenience repl import to Example
Tom Smeding
11 days
*
ERecompute
Tom Smeding
11 days
*
Print EMaybe as case
Tom Smeding
11 days
*
Implement mapExt as travExt
Tom Smeding
11 days
*
Compile: special-case to a single kernel function
Tom Smeding
2025-05-06
*
Reorder TLEither to after TEither
Tom Smeding
2025-04-29
*
simplify: Better simplify nested monoid ops
Tom Smeding
2025-04-29
*
pretty: Print types of monoid ops
Tom Smeding
2025-04-29
*
Simplify: Don't forget about effects -.-
Tom Smeding
2025-04-29
*
Tracing simplifier
Tom Smeding
2025-04-29
*
Complete monoidal accumulator rewrite
Tom Smeding
2025-04-29
*
WIP interpreter support for new monoidal accumulators
Tom Smeding
2025-04-28
*
WIP revamp accumulators again: explicit monoid types
Tom Smeding
2025-04-27
*
simplify: Additional rules inspired by Example.neural
Tom Smeding
2025-04-25
*
pretty: Print build dimension
Tom Smeding
2025-04-25
*
Don't unSTy
Tom Smeding
2025-04-25
*
Remove done TODO
Tom Smeding
2025-04-25
*
Compile: Give IDs to C modules for easier debugging
Tom Smeding
2025-04-24
*
Compile: Reset accidentally enabled debug switch
Tom Smeding
2025-04-24
*
compile: More checks, don't crash on check fail
Tom Smeding
2025-04-21
*
test: A test for new accumMap logic
Tom Smeding
2025-04-21
*
idana: Unify in either fallback case
Tom Smeding
2025-04-21
*
splitLets: Don't split if unnecessary
Tom Smeding
2025-04-21
*
pretty: Generate type-tagged fallback names
Tom Smeding
2025-04-21
*
Let peeling (let x = Just e in e' ~> let x = e in e'[Just x/x])
Tom Smeding
2025-04-21
*
Add integer modulo operator
Tom Smeding
2025-04-21
*
Some progress with accumMap
Tom Smeding
2025-04-18
*
An unused function (descrPrj)
Tom Smeding
2025-04-18
*
Better simplification of onehots
Tom Smeding
2025-04-18
*
pretty: Print arguments of open expression
Tom Smeding
2025-04-18
*
Populate accumMap
Tom Smeding
2025-04-06
*
Split product lets before chad
Tom Smeding
2025-04-05
*
Compile: Generate slightly less redundant C code
Tom Smeding
2025-03-30
*
Pass around an accumMap (but it's empty still)
Tom Smeding
2025-03-28
*
Compile: Commutative fold still broken, but sum is vectorised
Tom Smeding
2025-03-28
*
Compile: vectorise commutative folds
Tom Smeding
2025-03-27
*
Pretty: fix printing of EMaybe
Tom Smeding
2025-03-27
*
Compile: Fix formatting of generated code
Tom Smeding
2025-03-27
*
Fix refcount bug with indexing for nested arrays
Tom Smeding
2025-03-27
*
Compile: Fix debugPrintAST formatting
Tom Smeding
2025-03-27
*
Compile: Decrement accumval only when added, not moved
Tom Smeding
2025-03-27
*
Compile: remove unused function
Tom Smeding
2025-03-27
*
Compile: Better alloc & refc debug facilities
Tom Smeding
2025-03-27
*
test: Start of a list of compile tests
Tom Smeding
2025-03-26
*
Fix various issues in Compile (still broken)
Tom Smeding
2025-03-26
*
Language: support Maybe and Accum terms
Tom Smeding
2025-03-26
*
Compile.Exec: also remove tmpdir when compilation fails
Tom Smeding
2025-03-26
*
D2[Array] now has a Maybe instead of zero-size for zero
Tom Smeding
2025-03-26
*
Compile: More checks
Tom Smeding
2025-03-23
[next]