summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding16 months
fusionWIP fusion stuffTom Smeding14 days
hashable-gadtSome non-working code lolTom Smeding10 months
masterImport CHAD.Language also qualified as L in ExampleTom Smeding13 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding7 weeks
sparseSome more effects to not ignoreTom Smeding6 months
test-catch-excWIP exception catching in test-frameworkTom Smeding9 months
test-parallelWIP parallel test suiteTom Smeding6 months
user-typesWIP user-specified custom typesTom Smeding4 weeks
 
 
AgeCommit messageAuthor
2025-03-17WIP exception catching in test-frameworktest-catch-excTom Smeding
2025-03-16simplifyOneHotTermTom Smeding
2025-03-15Complete accumulator revamp!Tom Smeding
2025-03-15test-framework: Allow filtering tests by substringTom Smeding
2025-03-14Much process with accumulator revampTom Smeding
2025-03-14WIP revamp accumulator projection type reprTom Smeding
2025-03-11test: Split adTestGen into one function per test caseTom Smeding
2025-03-11test-framework: Even more compact output with testGroupCollapseTom Smeding
2025-03-10test-framework: Improve outputTom Smeding
2025-03-10More compact test outputTom Smeding
[...]