aboutsummaryrefslogtreecommitdiff
path: root/src/pruning.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* Moved a bunch of commented code to the bottom of the file. I still don't want...Sebastiano Tronto2021-12-031-121/+116
* 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). A...Sebastiano Tronto2021-11-171-9/+7
* Load all necessary pruning tables for a step before the actual solving processSebastiano Tronto2021-11-151-1/+6
* Fixed a problem with htr-drud coordinates. The corresponding pruning table al...Sebastiano Tronto2021-11-131-0/+1
* I tried to remove the dependence on antindex in order to get rid of themSebastiano Tronto2021-11-121-21/+136
* 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