summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcRec3.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* Various usability changes.Alan Mishchenko2018-11-181-1/+1
* Changes to make GIA structural hashing use a dedicated array instead of pObj-...Alan Mishchenko2017-11-131-2/+2
* Compiler warnings.Alan Mishchenko2017-07-221-2/+2
* Compiler warnings.Alan Mishchenko2014-10-281-1/+1
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-021-0/+20
* Updates and changes to several packages.Alan Mishchenko2014-07-201-1/+1
* Changes in the LUT mapper data-structures.Alan Mishchenko2014-04-141-4/+5
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-22/+10
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-1/+9
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-45/+45
* Small changes to LMS code.Alan Mishchenko2013-04-011-1/+1
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-0/+2
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-1/+1
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-10/+11
* Enabling additional stat printouts.Alan Mishchenko2012-12-011-2/+114
* Performance bug fix in choice generation.Alan Mishchenko2012-11-091-2/+2
* Improvements to LMS code.Alan Mishchenko2012-11-061-245/+228
* Adding dumping truth tables from LMS manager.Alan Mishchenko2012-11-021-12/+87
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-021-0/+5
* Improvements to LMS code.Alan Mishchenko2012-11-021-7/+82
* Improvements to LMS code.Alan Mishchenko2012-11-021-13/+28
* Improvements to LMS code.Alan Mishchenko2012-11-011-28/+10
* Improvements to LMS code.Alan Mishchenko2012-11-011-16/+74
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-4/+15
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-42/+1
* Improvements to LMS code.Alan Mishchenko2012-10-281-4/+2
* Improvements to LMS code.Alan Mishchenko2012-10-281-5/+5
* Improvements to LMS code.Alan Mishchenko2012-10-281-14/+159
* Improvements to LMS code.Alan Mishchenko2012-10-281-141/+700
* Improvements to LMS code.Alan Mishchenko2012-10-271-18/+4
* Improvements to LMS code.Alan Mishchenko2012-10-271-0/+450