summaryrefslogtreecommitdiffstats
path: root/src/base/cba/cbaBlast.c
Commit message (Collapse)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