| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 7 months | |
| hashable-gadt | Some non-working code lol | Tom Smeding | 4 weeks | |
| master | test fwd: test with simplified expression | Tom Smeding | 8 days | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 8 days | |
| test-compile-chad | Compile: More checks | Tom Smeding | 3 days | |
| Age | Commit message | Author | ||
| 8 days | WIP exception catching in test-frameworktest-catch-exc | Tom Smeding | ||
| 10 days | simplifyOneHotTerm | Tom Smeding | ||
| 11 days | Complete accumulator revamp! | Tom Smeding | ||
| 11 days | test-framework: Allow filtering tests by substring | Tom Smeding | ||
| 11 days | Much process with accumulator revamp | Tom Smeding | ||
| 12 days | 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 | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |