summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcFx.c
Commit message (Expand)AuthorAgeFilesLines
* 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