aboutsummaryrefslogtreecommitdiff
path: root/tools (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-10-14Fallback tablesSebastiano Tronto1-2/+2
2024-10-14Fix solvers for k = 2, and changes to solve toolSebastiano Tronto1-4/+12
2024-10-14Fix gendataSebastiano Tronto1-2/+2
2024-10-14Interface changes, progress with pythonSebastiano Tronto5-24/+27
2024-10-13Removed nissy_explainerror and moved datainfo to toolsSebastiano Tronto1-0/+1
2024-10-12Make gendata and co safer by checking buffer sizeSebastiano Tronto2-6/+6
2024-10-11Added buffer sizes in API argsSebastiano Tronto6-27/+33
2024-10-10Improved error messages and add some comments in nissy.hSebastiano Tronto1-0/+1
2024-10-10Removed "options" from solver selectionSebastiano Tronto9-87/+101
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-06Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto1-1/+1
This is like 1% improvement to solver, but it is easy enough so I'll keep it
2024-10-05Added expected distributionsSebastiano Tronto1-1/+66
2024-10-05Added distribution check to toolSebastiano Tronto4-5/+97
2024-10-04Added documentation on how to run derivedataSebastiano Tronto1-0/+11
2024-10-04Clean up tool outputSebastiano Tronto7-29/+34
2024-10-03Do not run make clean automatically on every build and other Makefile changesSebastiano Tronto1-4/+1
2024-09-29minor changes for PRenricotenuti1-2/+0
2024-09-28No malloc, static tasks pollenricotenuti1-1/+1
2024-09-27Made table derivation tool more flexibleSebastiano Tronto4-33/+62
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 Tronto2-1/+1
2024-09-27First try for derive tablesSebastiano Tronto3-0/+91
2024-09-26small fixSebastiano Tronto1-1/+1
2024-09-26Added checkdata toolSebastiano Tronto3-27/+79
2024-09-26Added checkdata functionSebastiano Tronto1-0/+0
2024-09-26Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto19-287/+102
2024-09-26Fixed solutions vector, added constantsenricotenuti1-0/+2
2024-09-19Removed double importSebastiano Tronto1-1/+0
2024-09-18Added gendata for all table sizes (k=2)Sebastiano Tronto10-0/+210
2024-09-18Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto6-1/+22
2024-09-18Remove useless output from stats toolSebastiano Tronto1-1/+1
2024-09-18Some shellcheckSebastiano Tronto1-3/+3
2024-09-12Update build files to enable multithreadingSebastiano Tronto1-7/+6
2024-09-12Cleanup gendata toolsSebastiano Tronto3-97/+99
2024-09-11Finished table refactorSebastiano Tronto5-39/+32
2024-09-108 bit tablesSebastiano Tronto1-0/+4
2024-09-07Improved gendata_h48k2 performanceSebastiano Tronto1-1/+2
Performance for the "real coordinate" case (h0) is ok, but still around 3x slower than the gendata_h48k4 method. Performance for the intermediate tables is not good, but for now I'll keep it like this. This also shows that for h11 we should use the gendata_h48k4 method for h11. For intermediate table, h8, h9 and h10 might be too slow to compute in an acceptable time. We could restrict to h7 (largest with base = 9).
2024-08-30Added tool for checking new tables (and they are wrong)Sebastiano Tronto4-2/+64
2024-08-29Refactor tools to remove duplicate codeSebastiano Tronto5-153/+121
2024-08-27New tool for benchmarking small solverSebastiano Tronto2-0/+94
2024-08-25Refactor table generationSebastiano Tronto1-2/+2
2024-08-18Reorganized folder structureSebastiano Tronto2-2/+2
2024-08-05Updated README.md, added help command to shellSebastiano Tronto2-0/+0
2024-07-21Added some info and error-checking to gendata toolSebastiano Tronto1-3/+25
2024-07-21oops fixSebastiano Tronto1-8/+0
2024-07-21Tiny performance gainsSebastiano Tronto1-1/+1
2024-07-20Fixed gendata tool and cleaned up some stuffSebastiano Tronto3-8/+21
2024-07-20Finally fixed selfsim logicSebastiano Tronto2-0/+0
2024-07-11Cleanup makefile and toolsSebastiano Tronto2-14/+2
2024-07-09Made stats tool parallelSebastiano Tronto1-15/+49
2024-07-08Added average to stats toolSebastiano Tronto1-1/+7
2024-07-08Stats for h48 solver as toolSebastiano Tronto2-24/+75

Generated with cgit - Back to sebastiano.tronto.net