aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Python path detection in WindowsthreadsSebastiano Tronto2026-03-011-1/+3
|
* Enable arch on windowsSebastiano Tronto2026-03-013-20/+22
|
* Better ifdefs yetSebastiano Tronto2026-03-011-10/+8
|
* Better macrosSebastiano Tronto2026-03-011-41/+42
|
* Fix fixSebastiano Tronto2026-03-011-0/+1
|
* fix ifdefsSebastiano Tronto2026-03-011-43/+55
|
* C11 threads!Sebastiano Tronto2026-03-015-14/+23
|
* C11 threads?Sebastiano Tronto2026-03-016-19/+38
|
* Merge branch 'master' of tronto.net:nissy-coreSebastiano Tronto2026-01-269-22/+28
|\
| * miniscule, minor corrections :) (#5)aashvik2026-01-231-17/+17
| | | | | | Fix various typos in README.md (thanks to aashvikt).
* | Improve multithreading benchmarks (compare speedup factor, not with vcube)Sebastiano Tronto2026-01-2621-218/+309
|/
* Automatically detect number of threads for unix systemsSebastiano Tronto2026-01-121-3/+16
|
* Improve performance of H48 solver with prefetchingSebastiano Tronto2026-01-1219-217/+361
| | | | | | | | | With this commit we re-structure how the node expansion in the H48 solution search works to allow prefetching of pruning values, showing performance improvements in the range of 30-45% on x86, depending on table size and solution length. A small bug fix related to appending solutions is included in this commit.
* Added cornersx solverSebastiano Tronto2025-12-239-4/+137
|
* Remove file checked in by accidentSebastiano Tronto2025-12-231-153/+0
|
* Added tests for copy_co, renamed some testsSebastiano Tronto2025-12-2243-0/+47
|
* Update benchmarks.md and plotsSebastiano Tronto2025-12-1914-48/+201
|
* Merge branch 'h48-corner-estimate'Sebastiano Tronto2025-12-192-26/+31
|\
| * Minor improvementSebastiano Tronto2025-12-192-26/+31
| | | | | | | | | | | | | | | | | | Add a trivial check to H48 solver. The benchmarks show, surprisingly, a more noticeable improvement for larger solvers (h10, h11). I was expecting it to be more noticeable for smaller solvers. It is likely that this change is irrelevant to performance and all changes in the benchmark results are just random chance.
* | Merge branch 'h48-corner-estimate'Sebastiano Tronto2025-12-1913-2/+144
|\|
| * Add coordinate solvers for cornersh48-corner-estimateSebastiano Tronto2025-12-1913-2/+144
| |
* | Fix typo in benchmarksSebastiano Tronto2025-12-192-79/+79
|/
* Improve performance of H48 by 10-30% using interleaved fallback tables.Sebastiano Tronto2025-12-170-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (See the last 12 commits or so) H48 now uses interleaved fallback tables, similarly to nxopt / vcube. This allowed us to simplify the code (we don't use k != 2 anymore for H48) and gives some nice performance improvement, although repeated measurements show inconsistent results. The actual speed up depends on the table, and it is more pronounced on larger versions of the solver. The nasty part about using interleaved tables is that they are the most efficient when they are aligned in memory to 512 bits, but the core library defers memory management to the implementor, so there is no way to ensure this. For example, any application that wants to save the tables to a file and then re-load them on a subsequent run (such as our shell and tools) should make sure to load the data in a 512-bit aligned memory buffer. The best we can do on the library side having our main lookup table be 512-bit alinged within the whole solver data (which includes e.g. cocsepdata and a preamble). I have also moved some conditionals around in the various checks in the search dfs hoping to improve the performance further, but the results have been barely noticeable. The benchmarks have been updated. Moreover, there is now a way to re-run them with a single script (see the updates in the benchmarks folder for details). Further attempts at optimizing the code via known techniques (such as prefetching) have failed, but I'll come back to this.
* Clarified that results are in a <details>intertwined-fallback-tableSebastiano Tronto2025-12-171-1/+1
|
* Fix alignmentSebastiano Tronto2025-12-176-7/+53
|
* Improve pruning value fetching and re-do benchmarksSebastiano Tronto2025-12-1716-92/+110
|
* Cleanup mdSebastiano Tronto2025-12-172-19/+21
|
* Remove TODO section in docSebastiano Tronto2025-12-171-17/+0
|
* Update benchmarksSebastiano Tronto2025-12-1721-196/+450
|
* CleanupSebastiano Tronto2025-12-174-8/+8
|
* Move some checks around, small improvementSebastiano Tronto2025-12-171-11/+9
|
* Swap bit pairs in pval_minSebastiano Tronto2025-12-161-5/+4
|
* Update commentsSebastiano Tronto2025-12-142-5/+7
|
* Cleanup, update documentation, fix examplesSebastiano Tronto2025-12-1413-334/+231
|
* Bye bye h0k4Sebastiano Tronto2025-12-145-310/+27
|
* Intertwined table seems to workSebastiano Tronto2025-12-149-34/+178
|
* Updated h48 doc with recent improvementsSebastiano Tronto2025-11-251-5/+22
|
* Merge branch 'master' of tronto.net:nissy-coreSebastiano Tronto2025-11-2524-160/+309
|\
| * Fix duplicate solutions, overflow in maxsols and improve symmetry reduction ↵Sebastiano Tronto2025-11-2424-160/+309
| | | | | | | | | | | | | | | | | | | | | | | | for H48. This commit fixes two bugs: - A bug that caused duplicates solutions for symmetric scrambles. - An overflow in the maxsols parameter for the H48 solver, which caused it to find much fewer solutions than existed. Moreover, the H48 solvers has been improved by reducing by symmetry not only from the starting position, but also up to the first 4 moves.
| * Recovered comment that appeared only in removed fileSebastiano Tronto2025-09-251-1/+6
| |
* | Recovered comment that appeared only in removed fileSebastiano Tronto2025-11-231-1/+6
|/
* Updates to container runner and removed simd from wasm buildSebastiano Tronto2025-08-152-23/+42
|
* Added warning about build pythonSebastiano Tronto2025-08-131-0/+4
|
* More build.bat optionsSebastiano Tronto2025-08-133-4/+108
|
* Improvements to build.bat (unit tests on Windows)Sebastiano Tronto2025-08-134-20/+160
|
* Merge branch 'master' of tronto.net:nissy-coreSebastiano Tronto2025-08-132-20/+29
|\
| * Fix build help messageSebastiano Tronto2025-08-131-18/+19
| |
| * Added installation instructions for clang on windowsSebastiano Tronto2025-08-121-2/+10
| |
* | Correct OS detection for sleep functionSebastiano Tronto2025-08-131-1/+3
|/
* Renamed UNIX build script to build.sh, added info to README.md related to ↵Sebastiano Tronto2025-08-126-34/+46
| | | | windows build

Generated with cgit - Back to sebastiano.tronto.net