index
:
chad-fast
fusion
hashable-gadt
master
multihot-cotangents
qualified-contdo
recompute-primalstores
sparse-lattice-test
test-catch-exc
test-parallel
user-types
An implementation of CHAD, towards performance
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
fusion
WIP fusion stuff
Tom Smeding
3 months
hashable-gadt
Some non-working code lol
Tom Smeding
13 months
master
UnMonoid: EAccum is an interesting case
Tom Smeding
6 weeks
multihot-cotangents
WIP
Tom Smeding
5 weeks
qualified-contdo
Rewrite CPSy code as do-code using QualifiedDo
Tom Smeding
4 months
recompute-primalstores
WIP: Store subset of D1 Gamma for recompute at binding sites
Tom Smeding
4 weeks
sparse-lattice-test
WIP test that Sparse is a join-semilattice
Tom Smeding
4 weeks
test-catch-exc
WIP exception catching in test-framework
Tom Smeding
12 months
test-parallel
WIP parallel test suite
Tom Smeding
9 months
user-types
WIP user-specified custom types
Tom Smeding
4 months
Age
Commit message
Author
2025-06-20
WIP parallel test suite
test-parallel
Tom Smeding
2025-06-18
Some more effects to not ignore
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
[...]