summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcDec.c
Commit message (Expand)AuthorAgeFilesLines
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-081-1/+21
* Bug fix in truth table reading for funcs with less than 6 vars.Alan Mishchenko2016-03-281-1/+1
* Improvements to ISOP.Alan Mishchenko2014-10-101-5/+5
* Improvements to ISOP.Alan Mishchenko2014-10-101-4/+6
* Detection of threshold functions.Alan Mishchenko2014-10-081-0/+3
* Changes to LUT mappers.Alan Mishchenko2014-02-251-3/+6
* Towards better Boolean matching.Alan Mishchenko2013-10-091-1/+14
* New technology mapper.Alan Mishchenko2013-07-141-1/+6
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* DSD manager.Alan Mishchenko2012-11-201-1/+1
* Improved DSD.Alan Mishchenko2012-11-111-10/+6
* Improved DSD.Alan Mishchenko2012-11-101-2/+2
* Tentatively integrated new DSD.Alan Mishchenko2012-10-291-1/+21
* Adding binary file dumping for truth tables.Alan Mishchenko2012-10-251-5/+7
* Allow for binary input file in 'testdec' and 'testnpn'.Alan Mishchenko2012-10-051-1/+2
* Allow for binary input file in 'testdec' and 'testnpn'.Alan Mishchenko2012-10-051-2/+4
* Allow for binary input file in 'testdec' and 'testnpn'.Alan Mishchenko2012-10-051-34/+85
* Several improvements to command 'testnpn'.Alan Mishchenko2012-08-251-9/+7
* Compiler warnings.Alan Mishchenko2012-08-091-7/+7
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-12/+35
* Fixed compiler warnings.Alan Mishchenko2012-07-291-2/+2
* Adding command 'testdec'.Alan Mishchenko2012-07-281-4/+465
* Started implementing command 'testdec'.Alan Mishchenko2012-07-281-0/+66