summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcFx.c
Commit message (Expand)AuthorAgeFilesLines
* Fix compiler problems by #including the header from FXCH package.Alan Mishchenko2016-08-161-0/+1
* Compiler warnings.Alan Mishchenko2016-07-291-3/+3
* Make FX able to handle SCC and remove its SOP preprocessing.Bruno Schmitt2016-07-271-10/+31
* Make fx able to handle degenerate divisors:Bruno Schmitt2016-07-261-93/+59
* Switch 'fx -x' to use only canonical divisors in 'fx'.Alan Mishchenko2016-06-061-4/+10
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-2/+2
* Scalable SOP manipulation package.Alan Mishchenko2015-03-231-2/+4
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-311-17/+17
* Changing default values.Alan Mishchenko2013-10-021-6/+10
* Changing default values.Alan Mishchenko2013-09-301-7/+8
* Changing default values.Alan Mishchenko2013-09-301-3/+53
* New logic sharing extraction.Alan Mishchenko2013-09-291-6/+6
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-281-7/+10
* Small performance bug in new 'fx'.Alan Mishchenko2013-09-111-1/+1
* Moving one declaration to the header file.Alan Mishchenko2013-05-271-1/+0
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-6/+6
* Added switch -M to set max size of two-cube divisors to extract (often helps ...Alan Mishchenko2013-05-271-5/+10
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-111-3/+15
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-091-6/+7
* New fast extract.Alan Mishchenko2013-05-051-17/+71
* New fast extract.Alan Mishchenko2013-05-051-259/+284
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-9/+1
* New fast extract.Alan Mishchenko2013-05-051-1/+1
* New fast extract.Alan Mishchenko2013-05-051-209/+541
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* New fast extract.Alan Mishchenko2013-04-271-0/+733