| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2024-06-23 | Cleanup | Sebastiano Tronto | 1 | -48/+0 |
| 2024-06-17 | Use callback function to log to stderr | Sebastiano Tronto | 1 | -3/+1 |
| 2023-11-19 | Added void in function declaration for tests | Sebastiano Tronto | 1 | -1/+1 |
| 2023-11-14 | Added tests allowednext | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-14 | Renamed tests, added tests for permsign | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-13 | Test cleanup | Sebastiano Tronto | 1 | -23/+15 |
| 2023-11-13 | Tidy up; made things testable | Sebastiano Tronto | 1 | -0/+0 |
| 2023-11-12 | Simple solver: added tests, fixed | Sebastiano Tronto | 1 | -0/+58 |
