summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcNpn.c
Commit message (Expand)AuthorAgeFilesLines
* Updated NPN classification code (compiler warnings).Alan Mishchenko2019-03-121-2/+2
* Updated NPN classification code.Alan Mishchenko2019-03-081-6/+6
* Updating canonical form computation procedures.Alan Mishchenko2019-03-051-10/+39
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* Expriments with functions (supporting symmetries).Alan Mishchenko2018-09-111-2/+0
* Expriments with functions.Alan Mishchenko2018-09-071-4/+0
* Adding new NPN code developed by XueGong Zhou at Fudan University.Alan Mishchenko2018-03-251-7/+28
* Return the class representative of each function.Ana Petkovska2016-06-181-3/+3
* Group based exact NPN classification.Ana Petkovska2016-06-181-2/+3
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-261-3/+25
* Improvements to the canonical form computation.Alan Mishchenko2013-10-101-3/+19
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* 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