aboutsummaryrefslogtreecommitdiff
path: root/tools (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Clean up tool outputSebastiano Tronto2024-10-047-29/+34
|
* Do not run make clean automatically on every build and other Makefile changesSebastiano Tronto2024-10-031-4/+1
|
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-2922-287/+271
|\ | | | | | | Merge upstream
| * Made table derivation tool more flexibleSebastiano Tronto2024-09-274-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).
| * Use constant instead of magic numberSebastiano Tronto2024-09-272-1/+1
| |
| * Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-2721-287/+151
| |\
| | * small fixSebastiano Tronto2024-09-261-1/+1
| | |
| | * Added checkdata toolSebastiano Tronto2024-09-263-27/+79
| | |
| | * Added checkdata functionSebastiano Tronto2024-09-261-0/+0
| | |
| | * Added TOOLARGS and simplified gendata tool(s)Sebastiano Tronto2024-09-2619-287/+102
| | |
| * | First try for derive tablesSebastiano Tronto2024-09-273-0/+91
| |/
* | minor changes for PRenricotenuti2024-09-291-2/+0
| |
* | No malloc, static tasks pollenricotenuti2024-09-281-1/+1
| |
* | Fixed solutions vector, added constantsenricotenuti2024-09-261-0/+2
|/
* Removed double importSebastiano Tronto2024-09-191-1/+0
|
* Added gendata for all table sizes (k=2)Sebastiano Tronto2024-09-1810-0/+210
|
* Renamed tools; fixed solve tool; added gendata_h48h1k2 toolSebastiano Tronto2024-09-186-1/+22
|
* Remove useless output from stats toolSebastiano Tronto2024-09-181-1/+1
|
* Some shellcheckSebastiano Tronto2024-09-181-3/+3
|
* Update build files to enable multithreadingSebastiano Tronto2024-09-121-7/+6
|
* Cleanup gendata toolsSebastiano Tronto2024-09-123-97/+99
|
* Finished table refactorSebastiano Tronto2024-09-115-39/+32
|
* 8 bit tablesSebastiano Tronto2024-09-101-0/+4
|
* Improved gendata_h48k2 performanceSebastiano Tronto2024-09-071-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).
* Added tool for checking new tables (and they are wrong)Sebastiano Tronto2024-08-304-2/+64
|
* Refactor tools to remove duplicate codeSebastiano Tronto2024-08-295-153/+121
|
* New tool for benchmarking small solverSebastiano Tronto2024-08-272-0/+94
|
* Refactor table generationSebastiano Tronto2024-08-251-2/+2
|
* Reorganized folder structureSebastiano Tronto2024-08-182-2/+2
|
* Updated README.md, added help command to shellSebastiano Tronto2024-08-052-0/+0
|
* Added some info and error-checking to gendata toolSebastiano Tronto2024-07-211-3/+25
|
* oops fixSebastiano Tronto2024-07-211-8/+0
|
* Tiny performance gainsSebastiano Tronto2024-07-211-1/+1
|
* Fixed gendata tool and cleaned up some stuffSebastiano Tronto2024-07-203-8/+21
|
* Finally fixed selfsim logicSebastiano Tronto2024-07-202-0/+0
|
* Cleanup makefile and toolsSebastiano Tronto2024-07-112-14/+2
|
* Made stats tool parallelSebastiano Tronto2024-07-091-15/+49
|
* Added average to stats toolSebastiano Tronto2024-07-081-1/+7
|
* Stats for h48 solver as toolSebastiano Tronto2024-07-082-24/+75
|
* (almost) added getcubeSebastiano Tronto2024-07-041-10/+10
|
* Preparing for table statsSebastiano Tronto2024-07-031-0/+69
|
* renamed benchmarks to toolsSebastiano Tronto2024-07-033-0/+113

Generated with cgit - Back to sebastiano.tronto.net