aboutsummaryrefslogtreecommitdiff
path: root/tools (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix gendataSebastiano Tronto2024-10-141-2/+2
|
* Interface changes, progress with pythonSebastiano Tronto2024-10-145-24/+27
|
* Removed nissy_explainerror and moved datainfo to toolsSebastiano Tronto2024-10-131-0/+1
|
* Make gendata and co safer by checking buffer sizeSebastiano Tronto2024-10-122-6/+6
|
* Added buffer sizes in API argsSebastiano Tronto2024-10-116-27/+33
|
* Improved error messages and add some comments in nissy.hSebastiano Tronto2024-10-101-0/+1
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-109-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.
* Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto2024-10-061-1/+1
| | | | This is like 1% improvement to solver, but it is easy enough so I'll keep it
* Added expected distributionsSebastiano Tronto2024-10-051-1/+66
|
* Added distribution check to toolSebastiano Tronto2024-10-054-5/+97
|
* Added documentation on how to run derivedataSebastiano Tronto2024-10-041-0/+11
|
* 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
|

Generated with cgit - Back to sebastiano.tronto.net