summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcNpn.c
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-3/+15
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-2/+2
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+2
|
* Adding binary file dumping for truth tables.Alan Mishchenko2012-10-251-6/+9
|
* New AIG optimization package.Alan Mishchenko2012-10-061-4/+0
|
* New AIG optimization package.Alan Mishchenko2012-10-061-0/+4
|
* Allow for binary input file in 'testdec' and 'testnpn'.Alan Mishchenko2012-10-051-11/+14
|
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-1/+1
|
* Improvements to the NPN semi-canonical form computation package.Alan Mishchenko2012-09-251-48/+80
|
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-19/+55
|
* Several improvements to command 'testnpn'.Alan Mishchenko2012-08-251-31/+47
|
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-231-2/+21
|
* Compiler warnings.Alan Mishchenko2012-08-091-6/+6
|
* Compiler warnings.Alan Mishchenko2012-08-091-1/+1
|
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-0/+230