aboutsummaryrefslogtreecommitdiff
path: root/tools/tool.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove configure + make build system.Sebastiano Tronto2025-05-161-40/+0
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-3/+0
* Clean up tool outputSebastiano Tronto2024-10-041-4/+25
* Do not run make clean automatically on every build and other Makefile changesSebastiano Tronto2024-10-031-0/+22

Generated with cgit - Back to sebastiano.tronto.net