aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding7 months
hashable-gadtSome non-working code lolTom Smeding17 months
masterUp 'some' to 1.1Tom Smeding8 weeks
multihot-cotangentsWIPTom Smeding5 months
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding8 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding5 months
sparse-lattice-testWIP test that Sparse is a join-semilatticeTom Smeding5 months
test-catch-excWIP exception catching in test-frameworkTom Smeding16 months
test-parallelWIP parallel test suiteTom Smeding13 months
user-typesWIP user-specified custom typesTom Smeding8 months
 
 
AgeCommit messageAuthor
2025-12-09WIP fusion stufffusionTom Smeding
2025-11-26WIP stuffTom Smeding
2025-11-26fusion: buildLoopNestTom Smeding
2025-11-26WIP: Think about fusionTom Smeding
2025-11-26APIv1: Some fixesTom Smeding
2025-11-22Add a simplify ruleTom Smeding
2025-11-22Remove redundant test dependencyTom Smeding
2025-11-22Add some .gitignoresTom Smeding
2025-11-22Fix typoTom Smeding
2025-11-13UnMonoid: Use eunPairTom Smeding
[...]