| 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 | 3 weeks | |
| master | test fwd: test with simplified expression | Tom Smeding | 6 days | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 6 days | |
| test-compile-chad | Compile: More checks | Tom Smeding | 11 hours | |
| Age | Commit message | Author | ||
| 6 days | test fwd: test with simplified expressionHEADmaster | Tom Smeding | ||
| 6 days | Compile EAccum | Tom Smeding | ||
| 8 days | simplifyOneHotTerm | Tom Smeding | ||
| 8 days | Complete accumulator revamp! | Tom Smeding | ||
| 9 days | test-framework: Allow filtering tests by substring | Tom Smeding | ||
| 9 days | Much process with accumulator revamp | Tom Smeding | ||
| 9 days | WIP revamp accumulator projection type repr | Tom Smeding | ||
| 13 days | test: Split adTestGen into one function per test case | Tom Smeding | ||
| 13 days | test-framework: Even more compact output with testGroupCollapse | Tom Smeding | ||
| 13 days | test-framework: Improve output | Tom Smeding | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |