summaryrefslogtreecommitdiffstats
path: root/src/base/cba
Commit message (Expand)AuthorAgeFilesLines
* Small changes.Alan Mishchenko2017-03-161-18/+18
* Isolating CBA types into a separate header.Alan Mishchenko2016-11-081-0/+169
* Isolating CBA types into a separate header.Alan Mishchenko2016-11-071-110/+1
* Detecting properties of internal nodes.Alan Mishchenko2016-06-141-1/+1
* Silencing several messages.Alan Mishchenko2016-06-011-1/+2
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Allowing Cba manager to be derived from another Cba manager.Alan Mishchenko2016-04-022-3/+3
* silence clang errors when compiling as C++Baruch Sterin2015-11-053-8/+9
* Compiler warnings.Alan Mishchenko2015-10-211-1/+1
* Improving bit-blasting of full-adder.Alan Mishchenko2015-09-231-5/+19
* Cleaning up boolean operators; adding unique name support; minor changes.Alan Mishchenko2015-09-073-34/+101
* Improvements to Cba data-structure.Alan Mishchenko2015-09-032-7/+5
* Improvements to Cba data-structure.Alan Mishchenko2015-09-037-280/+1581
* Improvements to Cba data-structure.Alan Mishchenko2015-08-305-192/+763
* Bug fix in Vec_IntInsert() and a couple of new APIs.Alan Mishchenko2015-08-261-0/+18
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-232-12/+36
* Improvements to Cba data-structure.Alan Mishchenko2015-08-103-31/+30
* Improvements to Cba data-structure.Alan Mishchenko2015-08-093-59/+187
* Improvements to Cba data-structure.Alan Mishchenko2015-08-093-5/+7
* Improvements to Cba data-structure.Alan Mishchenko2015-08-096-201/+192
* Improvements to Cba data-structure.Alan Mishchenko2015-08-084-163/+420
* Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowedAlan Mishchenko2015-08-072-125/+197
* Compiler warnings.Alan Mishchenko2015-08-042-11/+3
* Improvements to Cba data-structure.Alan Mishchenko2015-08-047-161/+794
* Improvements to Cba data-structure.Alan Mishchenko2015-08-015-13/+18
* Improvements to Cba data-structure.Alan Mishchenko2015-07-3111-264/+813
* Improvements to Cba data-structure.Alan Mishchenko2015-07-293-461/+323
* Improvements to Cba data-structure.Alan Mishchenko2015-07-282-41/+239
* Updates to the Cba data-structure.Alan Mishchenko2015-07-253-17/+58
* Updates to Cba data-structure.Alan Mishchenko2015-07-242-18/+41
* Updates to Cba data-structure.Alan Mishchenko2015-07-233-177/+697
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-2110-2055/+2
* Renaming Cba into Bac.Alan Mishchenko2015-07-2112-2069/+695
* Adding new GIA duplication API.Alan Mishchenko2015-07-211-1/+1
* C++ compiler typecast problem.Alan Mishchenko2015-07-086-12/+12
* Suggested fixes to compile with 'gcc -x c++'.Alan Mishchenko2015-04-246-6/+8
* Compiler warnings.Alan Mishchenko2015-03-181-1/+2
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-4/+5
* Improvements to the CBA package.Alan Mishchenko2015-03-0410-70/+175
* Improvements to the CBA package.Alan Mishchenko2015-03-034-18/+29
* Improvements to the CBA package.Alan Mishchenko2015-03-022-2/+2
* Improvements to the CBA package.Alan Mishchenko2015-03-0111-422/+647
* Compiler warnings.Alan Mishchenko2015-02-211-9/+9
* Compiler warnings.Alan Mishchenko2015-02-191-2/+2
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-174-211/+300
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-162-0/+91
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-167-16/+552
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-151-1/+5
* Compiler warnings.Alan Mishchenko2015-02-152-2/+1