| 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/+17 |
| * | Removed un-common function from common.h | Sebastiano Tronto | 2024-10-10 | 1 | -1/+0 |
| * | Revert table-based transformations | Sebastiano Tronto | 2024-10-04 | 1 | -7/+0 |
| * | Table-based transformations (will revert immediately) | Sebastiano Tronto | 2024-10-04 | 1 | -0/+7 |
| * | Rename constants from _underscore to CAPS | Sebastiano Tronto | 2024-09-05 | 1 | -19/+19 |
| * | Removed duplication | Sebastiano Tronto | 2024-08-18 | 1 | -0/+28 |
| * | Reorganized folder structure | Sebastiano Tronto | 2024-08-18 | 1 | -0/+19 |
