Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 53 | -262/+248 | |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 5 | -1/+43 | |
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 50 | -190/+589 | |
* | New switch in 'read_lib' to replace gate/pin names by short strings. | Alan Mishchenko | 2015-08-24 | 1 | -5/+44 | |
* | New switch in 'read_lib' to replace gate/pin names by short strings. | Alan Mishchenko | 2015-08-24 | 3 | -2/+105 | |
* | Compiler warning. | Alan Mishchenko | 2015-08-23 | 1 | -1/+1 | |
* | Merging recent changes. | Alan Mishchenko | 2015-08-23 | 2 | -0/+194 | |
|\ | ||||||
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 2 | -13/+77 | |
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 2 | -0/+130 | |
* | | Experiments with mapping plus small changes. | Alan Mishchenko | 2015-08-23 | 7 | -17/+124 | |
|/ | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-10 | 3 | -31/+30 | |
* | Commenting out an assertion. | Alan Mishchenko | 2015-08-10 | 1 | -1/+1 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 4 | -64/+205 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -5/+7 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 8 | -209/+210 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 8 | -200/+539 | |
* | 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 | |
* | Making ABC error out instead of crashing when non-standard range is given. | Alan Mishchenko | 2015-08-03 | 1 | -3/+8 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-01 | 5 | -13/+18 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-31 | 13 | -267/+817 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-29 | 4 | -465/+327 | |
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-28 | 4 | -43/+242 | |
* | Updates to the Cba data-structure. | Alan Mishchenko | 2015-07-25 | 4 | -18/+59 | |
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-24 | 2 | -18/+41 | |
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-23 | 5 | -178/+702 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 2 | -4/+4 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+0 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+0 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 23 | -610/+6522 | |
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 15 | -2098/+801 | |
* | Adding new GIA duplication API. | Alan Mishchenko | 2015-07-21 | 3 | -1/+38 | |
* | Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling ... | Alan Mishchenko | 2015-07-16 | 3 | -12/+113 | |
* | Do not add reset logic to un-initialized flops without fanout. | Alan Mishchenko | 2015-07-16 | 1 | -1/+6 | |
* | Clarifying 'cec' and 'dsec' usage message. | Alan Mishchenko | 2015-07-16 | 1 | -2/+2 | |
* | Verilog benchmark generation code. | Alan Mishchenko | 2015-07-15 | 1 | -0/+84 | |
* | Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator ... | Alan Mishchenko | 2015-07-14 | 5 | -54/+140 | |
* | Improved bit-blasting of adders and multipliers in Wlc_Ntk_t. | Alan Mishchenko | 2015-07-13 | 1 | -3/+46 | |
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -2/+2 | |
* | Print-out for char arrays. | Alan Mishchenko | 2015-07-12 | 1 | -0/+20 | |
* | Assertion fail after 'print_supp -w'. | Alan Mishchenko | 2015-07-11 | 1 | -1/+4 | |
* | Compiler warning. | Alan Mishchenko | 2015-07-11 | 1 | -1/+1 | |
* | Adding new Python API 'is_func_iso2'. | Alan Mishchenko | 2015-07-11 | 6 | -13/+37 | |
* | Adding new Python API 'is_func_iso'. | Alan Mishchenko | 2015-07-11 | 5 | -0/+129 | |
* | New TFI/TFO profiling code. | Alan Mishchenko | 2015-07-10 | 2 | -22/+50 | |
* | New TFI/TFO profiling code. | Alan Mishchenko | 2015-07-09 | 4 | -9/+328 |