| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge the "solver-experiments" branch that I have been working on for | Sebastiano Tronto | 2024-12-07 | 1 | -0/+40 |
| * | Improved error messages and add some comments in nissy.h | Sebastiano Tronto | 2024-10-10 | 1 | -2/+4 |
| * | Revert table-based transformations | Sebastiano Tronto | 2024-10-04 | 1 | -141/+322 |
| * | Table-based transformations (will revert immediately) | Sebastiano Tronto | 2024-10-04 | 1 | -104/+104 |
| * | More renaming | Sebastiano Tronto | 2024-09-05 | 1 | -4/+4 |
| * | Rename constants from _underscore to CAPS | Sebastiano Tronto | 2024-09-05 | 1 | -125/+104 |
| * | Moved stuff around | Sebastiano Tronto | 2024-09-03 | 1 | -0/+18 |
| * | Reorganized folder structure | Sebastiano Tronto | 2024-08-18 | 1 | -0/+176 |
