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-03-17
WIP exception catching in test-framework
test-catch-exc
Tom Smeding
2025-03-16
simplifyOneHotTerm
Tom Smeding
2025-03-15
Complete accumulator revamp!
Tom Smeding
2025-03-15
test-framework: Allow filtering tests by substring
Tom Smeding
2025-03-14
Much process with accumulator revamp
Tom Smeding
2025-03-14
WIP revamp accumulator projection type repr
Tom Smeding
2025-03-11
test: Split adTestGen into one function per test case
Tom Smeding
2025-03-11
test-framework: Even more compact output with testGroupCollapse
Tom Smeding
2025-03-10
test-framework: Improve output
Tom Smeding
2025-03-10
More compact test output
Tom Smeding
[...]