Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix compiler problems by #including the header from FXCH package. | Alan Mishchenko | 2016-08-16 | 1 | -0/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2016-07-29 | 1 | -3/+3 |
| | |||||
* | Make FX able to handle SCC and remove its SOP preprocessing. | Bruno Schmitt | 2016-07-27 | 1 | -10/+31 |
| | | | | Some other small changes. | ||||
* | Make fx able to handle degenerate divisors: | Bruno Schmitt | 2016-07-26 | 1 | -93/+59 |
| | | | | | | | - Constant-1 (a + !a) - Divisors "a + !ab" and "a!b + b" are equal to "a + b" Change the way divisors are printed. Removal of dead code from fx. | ||||
* | Switch 'fx -x' to use only canonical divisors in 'fx'. | Alan Mishchenko | 2016-06-06 | 1 | -4/+10 |
| | |||||
* | Cosmetic changes after incorporating new code of 'fxch'. | Alan Mishchenko | 2016-05-11 | 1 | -2/+2 |
| | |||||
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-23 | 1 | -2/+4 |
| | |||||
* | Preprocessing for multi-output PLA tables. | Alan Mishchenko | 2015-01-31 | 1 | -17/+17 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-10-02 | 1 | -6/+10 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -7/+8 |
| | |||||
* | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -3/+53 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 1 | -6/+6 |
| | |||||
* | Improving printouts in sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -7/+10 |
| | |||||
* | Small performance bug in new 'fx'. | Alan Mishchenko | 2013-09-11 | 1 | -1/+1 |
| | |||||
* | Moving one declaration to the header file. | Alan Mishchenko | 2013-05-27 | 1 | -1/+0 |
| | |||||
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -6/+6 |
| | |||||
* | Added switch -M to set max size of two-cube divisors to extract (often helps ↵ | Alan Mishchenko | 2013-05-27 | 1 | -5/+10 |
| | | | | both runtime and quality). | ||||
* | Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵ | Alan Mishchenko | 2013-05-11 | 1 | -3/+15 |
| | | | | case of non-prime SOPs. | ||||
* | Enabled switch 'fx -N <num>' to extract a fixed number of divisors. | Alan Mishchenko | 2013-05-09 | 1 | -6/+7 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-05-05 | 1 | -17/+71 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-05-05 | 1 | -259/+284 |
| | |||||
* | Changing the queue to work in the same the array of costs is realloced. | Alan Mishchenko | 2013-05-05 | 1 | -9/+1 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-05-05 | 1 | -1/+1 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-05-05 | 1 | -209/+541 |
| | |||||
* | C++ compiler errors. | Alan Mishchenko | 2013-05-04 | 1 | -2/+2 |
| | |||||
* | New fast extract. | Alan Mishchenko | 2013-04-27 | 1 | -0/+733 |