Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -0/+4 |
| | |||||
* | Fixed a memory leak in 'fxch'. | Alan Mishchenko | 2017-09-03 | 1 | -0/+3 |
| | |||||
* | Small fix for bins growth in sub-cube hashtable. | Bruno Schmitt | 2017-05-26 | 1 | -1/+2 |
| | |||||
* | Small FXCH bug fix. | Bruno Schmitt | 2016-10-07 | 1 | -3/+9 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2016-09-30 | 1 | -3/+3 |
| | |||||
* | Small bug fix in FXCH. | Bruno Schmitt | 2016-08-18 | 1 | -10/+10 |
| | |||||
* | Compiler errors on Windows. | Alan Mishchenko | 2016-08-01 | 4 | -39/+50 |
| | |||||
* | Several updates to FXCH including: | Bruno Schmitt | 2016-08-01 | 5 | -285/+537 |
| | | | | | - Cube Grouping - New sub-cube hash table | ||||
* | Complier fix. | Alan Mishchenko | 2016-06-17 | 1 | -2/+2 |
| | |||||
* | Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵ | Bruno Schmitt | 2016-06-17 | 4 | -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 Mishchenko | 2016-06-03 | 1 | -5/+7 |
| | |||||
* | Removing the memory saving mode, it is no longer necessary. | Bruno Schmitt | 2016-06-02 | 5 | -178/+17 |
| | |||||
* | Minimizing memory usage. The implementation was using twice as much memory ↵ | Bruno Schmitt | 2016-06-02 | 1 | -30/+30 |
| | | | | as necessary. | ||||
* | Merged alanmi/abc into default | Bruno Schmitt | 2016-05-19 | 1 | -1/+1 |
|\ | |||||
| * | fix end of line problem that prevents the cmake build system from working | Baruch Sterin | 2016-05-17 | 1 | -1/+1 |
| | | |||||
* | | Fix the problem of not identifying divisors when its originating cubes had ↵ | Bruno Schmitt | 2016-05-19 | 1 | -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 Mishchenko | 2016-05-11 | 1 | -1/+1 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 1 | -2/+2 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 4 | -47/+78 |
| | |||||
* | Add a new module which implements the fast extract with cube hashing (fxch) ↵ | Bruno Schmitt | 2016-05-11 | 6 | -0/+1945 |
algorithm. Removes old partial implementation of this algorithm from the "pla" module. |