aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Added DRFIN solverSebastiano Tronto2025-08-051-1/+2
|
* Refactored checkdataSebastiano Tronto2025-05-191-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.
* Refactor solver dispatch and checkdataSebastiano Tronto2025-05-181-1/+1
|
* Always use unsigned char * for data buffersSebastiano Tronto2025-04-211-1/+2
| | | | | Before this commit I was inconsistently using one of void *, char * and uint8_t *.
* Restore logging to stderr for toolsSebastiano Tronto2025-04-171-1/+1
|
* Better logging functionSebastiano Tronto2025-04-151-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.
* Some minor changes to the interface.Sebastiano Tronto2025-04-081-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.
* 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
| | | | | | | | 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.
* 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