summaryrefslogtreecommitdiffstats
path: root/src/base/cba
Commit message (Collapse)AuthorAgeFilesLines
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-1/+1
|
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
|
* Compilation problem with pow().Alan Mishchenko2018-02-191-1/+1
|
* Compiler warning.Alan Mishchenko2017-09-061-1/+1
|
* 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
|