Branch | Commit message | Author | Age | |
---|---|---|---|---|
evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 8 months | |
hashable-gadt | Some non-working code lol | Tom Smeding | 2 months | |
master | Compile: special-case to a single kernel function | Tom Smeding | 4 days | |
test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 8 weeks | |
Age | Commit message | Author | ||
2025-03-17 | WIP exception catching in test-frameworktest-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 | ||
[...] |