Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Exploring other ways of CEX writing. | Alan Mishchenko | 2019-01-21 | 1 | -1/+1 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 1 | -1/+1 |
| | |||||
* | Compilation problem with pow(). | Alan Mishchenko | 2018-02-19 | 1 | -1/+1 |
| | |||||
* | Compiler warning. | Alan Mishchenko | 2017-09-06 | 1 | -1/+1 |
| | |||||
* | Small changes. | Alan Mishchenko | 2017-03-16 | 1 | -18/+18 |
| | |||||
* | Isolating CBA types into a separate header. | Alan Mishchenko | 2016-11-08 | 1 | -0/+169 |
| | |||||
* | Isolating CBA types into a separate header. | Alan Mishchenko | 2016-11-07 | 1 | -110/+1 |
| | |||||
* | Detecting properties of internal nodes. | Alan Mishchenko | 2016-06-14 | 1 | -1/+1 |
| | |||||
* | Silencing several messages. | Alan Mishchenko | 2016-06-01 | 1 | -1/+2 |
| | |||||
* | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 1 | -1/+1 |
| | |||||
* | Allowing Cba manager to be derived from another Cba manager. | Alan Mishchenko | 2016-04-02 | 2 | -3/+3 |
| | |||||
* | silence clang errors when compiling as C++ | Baruch Sterin | 2015-11-05 | 3 | -8/+9 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 1 | -1/+1 |
| | |||||
* | Improving bit-blasting of full-adder. | Alan Mishchenko | 2015-09-23 | 1 | -5/+19 |
| | |||||
* | Cleaning up boolean operators; adding unique name support; minor changes. | Alan Mishchenko | 2015-09-07 | 3 | -34/+101 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 2 | -7/+5 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 7 | -280/+1581 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-30 | 5 | -192/+763 |
| | |||||
* | Bug fix in Vec_IntInsert() and a couple of new APIs. | Alan Mishchenko | 2015-08-26 | 1 | -0/+18 |
| | |||||
* | Experiments with mapping plus small changes. | Alan Mishchenko | 2015-08-23 | 2 | -12/+36 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-10 | 3 | -31/+30 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -59/+187 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -5/+7 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 6 | -201/+192 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 4 | -163/+420 |
| | |||||
* | Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed | Alan Mishchenko | 2015-08-07 | 2 | -125/+197 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-08-04 | 2 | -11/+3 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-04 | 7 | -161/+794 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-01 | 5 | -13/+18 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-31 | 11 | -264/+813 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-29 | 3 | -461/+323 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-28 | 2 | -41/+239 |
| | |||||
* | Updates to the Cba data-structure. | Alan Mishchenko | 2015-07-25 | 3 | -17/+58 |
| | |||||
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-24 | 2 | -18/+41 |
| | |||||
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-23 | 3 | -177/+697 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 10 | -2055/+2 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 12 | -2069/+695 |
| | |||||
* | Adding new GIA duplication API. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 6 | -12/+12 |
| | |||||
* | Suggested fixes to compile with 'gcc -x c++'. | Alan Mishchenko | 2015-04-24 | 6 | -6/+8 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-03-18 | 1 | -1/+2 |
| | |||||
* | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -4/+5 |
| | |||||
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-04 | 10 | -70/+175 |
| | |||||
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-03 | 4 | -18/+29 |
| | |||||
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-02 | 2 | -2/+2 |
| | |||||
* | Improvements to the CBA package. | Alan Mishchenko | 2015-03-01 | 11 | -422/+647 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-02-21 | 1 | -9/+9 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-02-19 | 1 | -2/+2 |
| | |||||
* | Several improvements to CBA data-structure. | Alan Mishchenko | 2015-02-17 | 4 | -211/+300 |
| |