aboutsummaryrefslogtreecommitdiff
path: root/tools (follow)
Commit message (Collapse)AuthorAgeFilesLines
* More safety with pointers using VLA function parametersSebastiano Tronto2025-03-251-2/+2
|
* Big cleanup for appendsolution()Sebastiano Tronto2025-03-241-0/+1
| | | | | | | | | | With this PR the appendsolution routine is extracted from the h48 solver and the new coordinate solver and made generic. This has many advantages: - less repetition (even if the two versions are different enough that *for now* it was not a big deal) - smaller h48/solve.h file, which is already a big beast - easier to test the appendsolution() routine separately
* Added checkdata for coord EOSebastiano Tronto2025-03-141-8/+37
|
* Replaced datasize with solverinfoSebastiano Tronto2025-03-147-24/+30
|
* Revert "Temporary fix for tools"Sebastiano Tronto2025-03-124-5/+5
| | | | This reverts commit 4d0e55e9def2ba1eaca5b2289ca5b30e951f4d97.
* Temporary fix for toolsSebastiano Tronto2025-03-094-5/+5
|
* Added known distribution for larger tablesSebastiano Tronto2024-12-201-8/+24
|
* Added more scrambles, found bugSebastiano Tronto2024-12-152-31/+69
|
* Added tool to check for correctnes of H48 solver. TODO: add more scrambles.Sebastiano Tronto2024-12-151-6/+16
|
* Fixed constant that I rarely used until todaySebastiano Tronto2024-12-151-0/+133
|
* Allow choosing number of threads when calling solve()Sebastiano Tronto2024-12-143-3/+3
|
* Merge the "solver-experiments" branch that I have been working on forSebastiano Tronto2024-12-073-117/+137
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | a few weeks. This include mainly three things: 1. Various tweaks for a total performance gain of around 30%. 2. Take into account symmetries and avoid repeated work. This required a re-work of the splitting into tasks before the solve. 3. Add a second fallback table (eoesep). This gives huge performance gains for particular scrambles (e.g. superflip). After merging this commit, remove and re-generate all pruning tables. Squashed commit of the following: commit 60f0705d2d69050e6a30581a2810f686d6f69b80 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 16:06:48 2024 +0100 Fix indentation commit cc5d489a251812b6188c0ba264ac6cb2236f1afe Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 15:56:19 2024 +0100 Updated documentation commit a3f605dd628546e52564f82b139feb473b0725f3 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 14:01:11 2024 +0100 use eoesep table as second fallback commit c75e43c9116c64f97e92b0fe038be8a032925a72 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Dec 6 16:13:23 2024 +0100 First commit for gendata_eoesep commit fea7688ab8bdc5ae0c3480622e2510a3bcd39248 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:31:00 2024 +0100 Add scramble to tool commit 66866cb71dea4ca8278ecb9e90ff4295771feb42 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:22:59 2024 +0100 Added tool to check multiple solutions commit ef65611c772c3996bddca8d181da3538e0af1674 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:16:20 2024 +0100 Write all solutions for symmetric positions commit e3ded26db7d7d4ae7c0e2488151ed14f581f7b8e Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Nov 26 09:14:54 2024 +0100 Added symmetry filter (TODO: print excluded solutions) commit 864c437a9751c58d58562650ca9eba4a9e6ad3eb Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Nov 25 14:51:13 2024 +0100 Improved task split commit b88926d36d7ab0c64c5fe3bb954fd15d41267fba Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Nov 22 19:06:41 2024 +0100 Reworked tasks for multi-threading in view of symmetry filter commit 26fa653f97df8cd601aecb80eaf89f0a00e9ba9f Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 15:37:43 2024 +0100 Added transform move commit 19f655ef94d658eaa2fefb5cea3c167a3ec58db6 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 09:29:15 2024 +0100 Clarified doc commit 3b0fe1e5ef8b628854e30f0f0067300e2763c954 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 08:36:58 2024 +0100 Handle solved cube correctly commit 57705cbc4982e3abe97a36ed64871738d4f721c0 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 08:24:30 2024 +0100 Close file commit fc7d462b58bcf3d3a3fbf26c1f3bd04c640a4898 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 15:05:48 2024 +0100 Removed stats tool commit 359bf7cb49ef405ee76ed662207d47cb2abcc5a9 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 15:01:51 2024 +0100 Updated theory doc commit 39c315af562bc4ce896f41004388a4c34d475d37 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 14:51:40 2024 +0100 Remove unused constants commit 57a5d24538aa59a4df9221dad2f99e9f0286bd9d Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 10:20:38 2024 +0100 Add tool to solve scrambles from file commit 07e2918c216636891b1fa6adecc9756086a901e9 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Oct 28 17:00:00 2024 +0100 Add make table to tool commit f5e5266c654eb027a5a35c57cc618555246f5e5e Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Oct 28 09:35:49 2024 +0100 Remove old solver, other small things commit a1ec78025b7959dbb845213f7f4e6851ecebc204 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sun Oct 27 02:00:29 2024 +0200 Improvements commit 8eea23dbe888d923e662e24ae969130e2c67b999 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Oct 26 12:24:19 2024 +0200 Makefile fix commit 3fc3927beacc78971cefeb42da8d71fe6c015fc1 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Oct 25 18:25:09 2024 +0200 More performance gains commit 7b4efa1f9af9722de1ab9ccfc27899825a0d12c4 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Oct 25 15:53:20 2024 +0200 Alternative solver implementation, small performance gain
* Add node and fallback benchmarkingSebastiano Tronto2024-10-182-7/+15
|
* Fallback tablesSebastiano Tronto2024-10-141-2/+2
|
* Fix solvers for k = 2, and changes to solve toolSebastiano Tronto2024-10-141-4/+12
|
* 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).

Generated with cgit - Back to sebastiano.tronto.net