| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Removed "options" from solver selection | Sebastiano Tronto | 2024-10-10 | 1 | -3/+0 |
| * | Clean up tool output | Sebastiano Tronto | 2024-10-04 | 1 | -4/+25 |
| * | Do not run make clean automatically on every build and other Makefile changes | Sebastiano Tronto | 2024-10-03 | 1 | -0/+22 |
