aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Faster ptable generation (but I can make it faster)Sebastiano Tronto2021-12-081-9/+45
|
* Expanded on previous comment: now it contains an idea of solutionSebastiano Tronto2021-12-071-0/+19
|
* Just added a commentSebastiano Tronto2021-12-071-0/+8
|
* Moved a bunch of commented code to the bottom of the file. I still don't ↵Sebastiano Tronto2021-12-031-121/+116
| | | | want to throw it away and it makes sense to keep it in this file for quick lookup.
* Multithreading seems to be working now, it was easier than expected!Sebastiano Tronto2021-11-201-2/+8
|
* Use inttypes.h macros to print uint64_t variables (this requires -std=c99). ↵Sebastiano Tronto2021-11-171-9/+7
| | | | Added a couple of TODOs
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-1/+6
| | | | | starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
* Fixed a problem with htr-drud coordinates. The corresponding pruning table ↵Sebastiano Tronto2021-11-131-0/+1
| | | | also changed, hopefully the new one is correct.
* I tried to remove the dependence on antindex in order to get rid of themSebastiano Tronto2021-11-121-21/+136
| | | | | | | once and for all. I successfully removed from the pruning table generation part by using an alternative (slower) method, but then I realized that I also use antindexes when generating symmetry data. So I reverted to the original pruning table computation method, but I left the alternative way there, commented.
* Unimportant fixedSebastiano Tronto2021-11-121-0/+3
|
* Rewritten from scratch. Welocme nissy 2.0!Sebastiano Tronto2021-11-111-0/+271

Generated with cgit - Back to sebastiano.tronto.net