aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata (follow)
Commit message (Expand)AuthorAgeFilesLines
* Restore logging to stderr for toolsSebastiano Tronto2025-04-171-1/+1
* Better logging functionSebastiano Tronto2025-04-151-2/+2
* Some minor changes to the interface.Sebastiano Tronto2025-04-081-1/+1
* Replaced datasize with solverinfoSebastiano Tronto2025-03-141-3/+3
* Make gendata and co safer by checking buffer sizeSebastiano Tronto2024-10-121-1/+1
* Added buffer sizes in API argsSebastiano Tronto2024-10-111-3/+3
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-8/+15
* Added distribution check to toolSebastiano Tronto2024-10-051-5/+5
* Clean up tool outputSebastiano Tronto2024-10-041-4/+1
* Added checkdata toolSebastiano Tronto2024-09-261-27/+2
* Added checkdata functionSebastiano Tronto2024-09-261-0/+80

Generated with cgit - Back to sebastiano.tronto.net