aboutsummaryrefslogtreecommitdiff
path: root/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fixed performance regressionSebastiano Tronto2024-10-182-22/+28
|
* Add node and fallback benchmarkingSebastiano Tronto2024-10-184-28/+68
|
* New interface function nissy_countmovesSebastiano Tronto2024-10-183-2/+28
|
* Removed redundant coordinate computationSebastiano Tronto2024-10-163-23/+11
|
* EOF fixenricotenuti2024-10-151-1/+1
|
* Neon uint8x8_t corners and minor fixesenricotenuti2024-10-154-58/+51
|
* Fallback tablesSebastiano Tronto2024-10-144-29/+100
|
* Fix solvers for k = 2, and changes to solve toolSebastiano Tronto2024-10-142-12/+19
|
* Interface changes, progress with pythonSebastiano Tronto2024-10-147-175/+110
|
* Removed nissy_explainerror and moved datainfo to toolsSebastiano Tronto2024-10-132-197/+89
|
* Trivial fixes to commentsSebastiano Tronto2024-10-121-4/+4
|
* Make writemoves (and solver) safer by checking buffer sizeSebastiano Tronto2024-10-125-20/+63
|
* Removed unused generic solverSebastiano Tronto2024-10-122-158/+0
|
* Make gendata and co safer by checking buffer sizeSebastiano Tronto2024-10-128-114/+156
|
* Make writecube saferSebastiano Tronto2024-10-123-95/+114
|
* Changed from size_t to uint64_tSebastiano Tronto2024-10-121-5/+5
|
* Added buffer sizes in API argsSebastiano Tronto2024-10-112-59/+139
|
* Improved commentSebastiano Tronto2024-10-111-1/+1
|
* Error codes, documentation, change nisstype from string to flagsSebastiano Tronto2024-10-112-83/+446
|
* Improved error messages and add some comments in nissy.hSebastiano Tronto2024-10-107-78/+212
|
* Removed "options" from solver selectionSebastiano Tronto2024-10-102-71/+48
| | | | | | | | 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.
* Small warning fixes to gendataSebastiano Tronto2024-10-101-3/+10
|
* Fixed tableinfo alignment issuesSebastiano Tronto2024-10-101-22/+50
|
* Removed un-common function from common.hSebastiano Tronto2024-10-101-1/+0
|
* Revert useless optimization (fix portable and neon)Sebastiano Tronto2024-10-071-12/+10
|
* Remove double returnSebastiano Tronto2024-10-071-1/+0
|
* Tiny optimization for moves (avoid unnecessary CO)Sebastiano Tronto2024-10-061-10/+12
| | | | This is like 1% improvement to solver, but it is easy enough so I'll keep it
* Removed some useless outputSebastiano Tronto2024-10-062-7/+7
|
* Fix concurrency issuesSebastiano Tronto2024-10-063-44/+73
| | | | | So I did not have any misconception about Atomics, I just could not apply it where I did because the logic doesn't allow for it.
* Remove unnecessary _AtomicsSebastiano Tronto2024-10-054-27/+34
|
* Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-10-051-0/+31
|\
| * Added expected distributionsSebastiano Tronto2024-10-051-0/+31
| |
* | Fix rare data raceSebastiano Tronto2024-10-055-30/+30
|/ | | | | | I had some misconception about how _Atomic and const worked. This means the previous commit (expected distribution) could be incorrect.
* Removed excessive LOG from gendata cocsepSebastiano Tronto2024-10-041-2/+0
|
* Avoid repeating typedefs in testsSebastiano Tronto2024-10-0410-155/+161
|
* Revert table-based transformationsSebastiano Tronto2024-10-0411-863/+600
| | | | Long live the giant switch!
* Table-based transformations (will revert immediately)Sebastiano Tronto2024-10-0410-383/+467
| | | | | | | | This commit changes transformations to being based on a lookup table intead of a big switch. This is something I had planned for a long time and the code is nicer with this change. But unfortunately the performance is noticeably worse, so I'll revert all these changes in the next commit. I wanted to push this anyway so we can keep track of this.
* Remove more locksSebastiano Tronto2024-10-031-23/+19
|
* Removed useless lockSebastiano Tronto2024-10-031-9/+1
|
* Improve gendata performance by replacing locks with atomic operationsSebastiano Tronto2024-10-035-62/+53
|
* Merge remote-tracking branch 'upstream/master'enricotenuti2024-09-295-34/+234
|\ | | | | | | Merge upstream
| * Solved alignment UB issueSebastiano Tronto2024-09-281-23/+27
| |
| * oopsieSebastiano Tronto2024-09-271-1/+1
| |
| * Made table derivation tool more flexibleSebastiano Tronto2024-09-271-8/+11
| | | | | | | | | | | | | | | | | | | | 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).
| * Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-271-1/+4
| |\
| | * Fixed checkdataSebastiano Tronto2024-09-271-1/+4
| | |
| * | Use constant instead of magic numberSebastiano Tronto2024-09-272-17/+13
| | |
| * | Merge branch 'master' of tronto.net:h48Sebastiano Tronto2024-09-274-3/+109
| |\|
| | * Added checkdata toolSebastiano Tronto2024-09-261-2/+5
| | |
| | * Added checkdata functionSebastiano Tronto2024-09-264-1/+104
| | |

Generated with cgit - Back to sebastiano.tronto.net