aboutsummaryrefslogtreecommitdiff
path: root/tools/tool.h (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix alignmentSebastiano Tronto2025-12-171-2/+9
|
* More build.bat optionsSebastiano Tronto2025-08-131-0/+36
|
* Added DRFIN solverSebastiano Tronto2025-08-051-1/+0
|
* Fixed table name in toolsSebastiano Tronto2025-07-311-1/+1
|
* Refactored checkdataSebastiano Tronto2025-05-191-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.
* Refactor solver dispatch and checkdataSebastiano Tronto2025-05-181-1/+1
|
* Always use unsigned char * for data buffersSebastiano Tronto2025-04-211-11/+13
| | | | | Before this commit I was inconsistently using one of void *, char * and uint8_t *.
* Restore logging to stderr for toolsSebastiano Tronto2025-04-171-3/+3
|
* Better logging functionSebastiano Tronto2025-04-151-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.
* Some minor changes to the interface.Sebastiano Tronto2025-04-081-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.
* Replaced datasize with solverinfoSebastiano Tronto2025-03-141-10/+16
|
* Fix gendataSebastiano Tronto2024-10-141-2/+2
|
* Interface changes, progress with pythonSebastiano Tronto2024-10-141-12/+13
|
* Added buffer sizes in API argsSebastiano Tronto2024-10-111-3/+4
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-101-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.
* Added distribution check to toolSebastiano Tronto2024-10-051-0/+1
|
* Clean up tool outputSebastiano Tronto2024-10-041-9/+4
|
* Made table derivation tool more flexibleSebastiano Tronto2024-09-271-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).
* Use constant instead of magic numberSebastiano Tronto2024-09-271-1/+1
|
* Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-271-4/+15
|\
| * small fixSebastiano Tronto2024-09-261-1/+1
| |
| * Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-261-4/+16
| |
* | First try for derive tablesSebastiano Tronto2024-09-271-0/+64
|/
* Removed double importSebastiano Tronto2024-09-191-1/+0
|
* Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto2024-09-181-1/+1
|
* Cleanup gendata toolsSebastiano Tronto2024-09-121-24/+93
|
* Finished table refactorSebastiano Tronto2024-09-111-0/+10
|
* Refactor tools to remove duplicate codeSebastiano Tronto2024-08-291-0/+106

Generated with cgit - Back to sebastiano.tronto.net