aboutsummaryrefslogtreecommitdiff
path: root/tools/tool.h (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-04-06Make the project build with Microsoft's broken C compiler.Sebastiano Tronto1-5/+4
MSVC is not fully C11-compliant, even when compiling with /std:c11. Some changes were needed to make the codebase compatible. Notably, the notation a[static N] and a[n] for function parameters of array type is not supported, so that had to be hidden behind a macro. Atomic types are also an experimental feature, apparently, but at least they work with the correct compiler flag. One thing that MSVC does well, however, is warning on integer conversions on /W4 level. I am not sure if Clang and GCC have something similar, so I took this chance to fix some of these.
2025-12-17Fix alignmentSebastiano Tronto1-2/+9
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