index
:
chad-fast
evm
fold
hashable-gadt
master
sparse
test-catch-exc
test-parallel
[no description]
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
evm
rules: Attempt at merge/accum parameterised transformation
Tom Smeding
14 months
fold
WIP fold: everything but Compile (slow, but should be sound)
Tom Smeding
75 min.
hashable-gadt
Some non-working code lol
Tom Smeding
8 months
master
More precise reconstructBindings interface
Tom Smeding
25 hours
sparse
Some more effects to not ignore
Tom Smeding
4 months
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
7 months
test-parallel
WIP parallel test suite
Tom Smeding
4 months
Age
Commit message
Author
2025-06-18
Some more effects to not ignore
sparse
Tom Smeding
2025-06-18
Don't destroy effects in UnMonoid
Tom Smeding
2025-06-18
test: Diligently check UnMonoid correctness
Tom Smeding
2025-06-18
test: Test both default and accum configs
Tom Smeding
2025-06-18
test-framework: Correct line count when collapsing with nested subgroups
Tom Smeding
2025-06-18
Don't introduce sparsity if zero is cheap
Tom Smeding
2025-06-18
Don't destroy effects in sparse plus
Tom Smeding
2025-06-18
Put smart accumulator redirection behind config flag
Tom Smeding
2025-06-18
Give DeepZero to With
Tom Smeding
2025-06-18
Complete pattern matches
Tom Smeding
[...]