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