aboutsummaryrefslogtreecommitdiff
path: root/tools/tool.h (unfollow)
Commit message (Collapse)AuthorFilesLines
2025-08-13More build.bat optionsSebastiano Tronto1-0/+36
2025-08-05Added DRFIN solverSebastiano Tronto1-1/+0
2025-07-31Fixed table name in toolsSebastiano Tronto1-1/+1
2025-05-19Refactored checkdataSebastiano Tronto1-86/+0
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-11/+13
Before this commit I was inconsistently using one of void *, char * and uint8_t *.
2025-04-17Restore logging to stderr for toolsSebastiano Tronto1-3/+3
2025-04-15Better logging functionSebastiano Tronto1-11/+4
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-19/+11
- 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-10/+16
2024-10-14Fix gendataSebastiano Tronto1-2/+2
2024-10-14Interface changes, progress with pythonSebastiano Tronto1-12/+13
2024-10-11Added buffer sizes in API argsSebastiano Tronto1-3/+4
2024-10-10Removed "options" from solver selectionSebastiano Tronto1-47/+41
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-0/+1
2024-10-04Clean up tool outputSebastiano Tronto1-9/+4
2024-09-27Made table derivation tool more flexibleSebastiano Tronto1-12/+21
So apparently my RAM is broken. That took me a while to figure out. While I get a replacement, I have to restrict myself to a weaker test for the intermediate tables: instead of deriving them from the huge table and checking that they are the same, I have to derive a small h0k2 table from the intermediate ones and check that it is correct. This is not a 100% proof of correctness, but it is good enough (and much faster).
2024-09-27Use constant instead of magic numberSebastiano Tronto1-1/+1
2024-09-27First try for derive tablesSebastiano Tronto1-0/+64
2024-09-26small fixSebastiano Tronto1-1/+1
2024-09-26Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto1-4/+16
2024-09-19Removed double importSebastiano Tronto1-1/+0
2024-09-18Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto1-1/+1
2024-09-12Cleanup gendata toolsSebastiano Tronto1-24/+93
2024-09-11Finished table refactorSebastiano Tronto1-0/+10
2024-08-29Refactor tools to remove duplicate codeSebastiano Tronto1-0/+106

Generated with cgit - Back to sebastiano.tronto.net