| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| evm | rules: Attempt at merge/accum parameterised transformation | Tom Smeding | 14 months | |
| hashable-gadt | Some non-working code lol | Tom Smeding | 8 months | |
| master | Compile foldd1 and foldd2 | Tom Smeding | 3 days | |
| sparse | Some more effects to not ignore | Tom Smeding | 5 months | |
| test-catch-exc | WIP exception catching in test-framework | Tom Smeding | 8 months | |
| test-parallel | WIP parallel test suite | Tom Smeding | 4 months | |
| Age | Commit message | Author | ||
| 3 days | Compile foldd1 and foldd2HEADmaster | Tom Smeding | ||
| 3 days | Simplify foldD2 to not sum x0 contributions | Tom Smeding | ||
| 3 days | Implement reshape | Tom Smeding | ||
| 3 days | Compile: Improve/simplify struct generation | Tom Smeding | ||
| 3 days | Compile: store sh in array, not in array buffer | Tom Smeding | ||
| 4 days | Compatibility with ghc 9.8 | Tom Smeding | ||
| 4 days | Add some simple fold tests | Tom Smeding | ||
| 5 days | Better fold D{1,2} primitives | Tom Smeding | ||
| 8 days | Count: Improve counting of tape in EFold1InnerD1 | Tom Smeding | ||
| 9 days | WIP fold: everything but Compile (slow, but should be sound) | Tom Smeding | ||
| [...] | ||||
 |
index : chad-fast | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |