| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | test: up 'random' dependency | Tom Smeding | 2025-04-23 |
| | | |||
| * | Rename *LengthSNat to *Rank | Tom Smeding | 2024-06-13 |
| | | |||
| * | Properly test C reductions | Tom Smeding | 2024-06-03 |
| | | |||
| * | Add a comment about the distribution of genRank | Tom Smeding | 2024-06-03 |
| | | |||
| * | Test permInverse | Tom Smeding | 2024-06-03 |
| | | |||
| * | Generalise monad in some test generators | Tom Smeding | 2024-06-03 |
| | | |||
| * | Some more generators for tests | Tom Smeding | 2024-06-03 |
| | | |||
| * | ImportQualifiedPost everywhere | Tom Smeding | 2024-06-03 |
| | | |||
| * | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
| | | |||
| * | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
| | | |||
| * | Reorganise test files | Tom Smeding | 2024-05-28 |
