aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-08-05Added DRFIN solverSebastiano Tronto1-1/+2
2025-05-19Refactored checkdataSebastiano Tronto1-18/+3
Relevant changes include: - Changed the signature of nissy_checkdata(). - Removed expected_distribution.h from tools; this data is now included in each solver's src/ code. - Removed distribution check for cocsep; may add back later.
2025-05-18Refactor solver dispatch and checkdataSebastiano Tronto1-1/+1
2025-04-21Always use unsigned char * for data buffersSebastiano Tronto1-1/+2
Before this commit I was inconsistently using one of void *, char * and uint8_t *.
2025-04-17Restore logging to stderr for toolsSebastiano Tronto1-1/+1
2025-04-15Better logging functionSebastiano Tronto1-2/+2
Now it is possible to provide some data together with the logging function. This is useful for example in C++, where I can now provide an arbitrary callable object as data, and a simple wrapper function that call the callable object as logging function.
2025-04-08Some minor changes to the interface.Sebastiano Tronto1-1/+1
- Simplified logger to accept only a string, not a variadic list of args like printf(). This can still use some improvement, but now it is easier to use from other languages. - Fixed some misuses of the logger (wrong types etc) - Renamed some constants - Fixed some typos in comments.
2025-03-14Replaced datasize with solverinfoSebastiano Tronto1-3/+3
2024-10-12Make gendata and co safer by checking buffer sizeSebastiano Tronto1-1/+1
2024-10-11Added buffer sizes in API argsSebastiano Tronto1-3/+3
2024-10-10Removed "options" from solver selectionSebastiano Tronto1-8/+15
Now the solver name fully determines the solver (and options) to be used. For example, now one must specify "h48h0k4" as the name of the solver. This PR also fixes a couple of things in tools.
2024-10-05Added distribution check to toolSebastiano Tronto1-5/+5
2024-10-04Clean up tool outputSebastiano Tronto1-4/+1
2024-09-26Added checkdata toolSebastiano Tronto1-27/+2
2024-09-26Added checkdata functionSebastiano Tronto1-0/+80

Generated with cgit - Back to sebastiano.tronto.net