summaryrefslogtreecommitdiffstats
path: root/src/opt/fxch
Commit message (Collapse)AuthorAgeFilesLines
* Other compiler changes.Alan Mishchenko2021-09-261-0/+4
|
* Fixed a memory leak in 'fxch'.Alan Mishchenko2017-09-031-0/+3
|
* Small fix for bins growth in sub-cube hashtable.Bruno Schmitt2017-05-261-1/+2
|
* Small FXCH bug fix.Bruno Schmitt2016-10-071-3/+9
|
* Compiler warnings.Alan Mishchenko2016-09-301-3/+3
|
* Small bug fix in FXCH.Bruno Schmitt2016-08-181-10/+10
|
* Compiler errors on Windows.Alan Mishchenko2016-08-014-39/+50
|
* Several updates to FXCH including:Bruno Schmitt2016-08-015-285/+537
| | | | | - Cube Grouping - New sub-cube hash table
* Complier fix.Alan Mishchenko2016-06-171-2/+2
|
* Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵Bruno Schmitt2016-06-174-128/+189
| | | | | | | (SCC) as by product of extraction. D1C: Whenever they appear a constant divisor (x! + x) will be created and handle as any other divisor. SCC: Will be taken care of as soon as they appear.
* Small changes to compile on Windows.Alan Mishchenko2016-06-031-5/+7
|
* Removing the memory saving mode, it is no longer necessary.Bruno Schmitt2016-06-025-178/+17
|
* Minimizing memory usage. The implementation was using twice as much memory ↵Bruno Schmitt2016-06-021-30/+30
| | | | as necessary.
* Merged alanmi/abc into defaultBruno Schmitt2016-05-191-1/+1
|\
| * fix end of line problem that prevents the cmake build system from workingBaruch Sterin2016-05-171-1/+1
| |
* | Fix the problem of not identifying divisors when its originating cubes had ↵Bruno Schmitt2016-05-191-2/+2
|/ | | | | | only 2 literals. With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table.
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-1/+1
|
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-2/+2
|
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-114-47/+78
|
* Add a new module which implements the fast extract with cube hashing (fxch) ↵Bruno Schmitt2016-05-116-0/+1945
algorithm. Removes old partial implementation of this algorithm from the "pla" module.