summaryrefslogtreecommitdiffstats
path: root/src/base/cba/cbaBlast.c
Commit message (Expand)AuthorAgeFilesLines
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Improving bit-blasting of full-adder.Alan Mishchenko2015-09-231-5/+19
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-5/+3
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-2/+979
* Improvements to Cba data-structure.Alan Mishchenko2015-07-311-4/+32
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-540/+5
* Suggested fixes to compile with 'gcc -x c++'.Alan Mishchenko2015-04-241-1/+1
* Improvements to the CBA package.Alan Mishchenko2015-03-041-6/+7
* Improvements to the CBA package.Alan Mishchenko2015-03-011-1/+1
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-161-3/+25
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-131-12/+3
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-111-3/+3
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-091-0/+12
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-091-17/+20
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-041-36/+32
* Improvements and tuning of CBA.Alan Mishchenko2015-02-011-4/+0
* Improvements and tuning of CBA.Alan Mishchenko2015-02-011-44/+18
* Major rehash of the CBA code.Alan Mishchenko2015-01-311-194/+182
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-201-6/+23
* Word-level extension of Cba_Ntk_t.Alan Mishchenko2015-01-181-6/+7
* Several small bug fixes.Alan Mishchenko2015-01-171-1/+1
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-171-21/+221
* Organizing commands for barbuf-aware flow.Alan Mishchenko2015-01-161-13/+35
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-151-18/+37
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-151-112/+193
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-131-0/+212
* New parser and framework.Alan Mishchenko2014-11-291-0/+52