Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | | printout of AND2 in '%ps -d'. | ||||
* | 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 |
| | |||||
* | Small changes to enable collecting results using &ps -D file. | Alan Mishchenko | 2015-07-09 | 4 | -7/+18 |
| | |||||
* | Temp change in the AIG reader and minor tuning. | Alan Mishchenko | 2015-07-09 | 1 | -2/+2 |
| | |||||
* | Temp change in the AIG reader and minor tuning. | Alan Mishchenko | 2015-07-08 | 3 | -1/+8 |
| | |||||
* | Bug fix in programmable cell parser and minor tuning. | Alan Mishchenko | 2015-07-08 | 2 | -2/+4 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 20 | -46/+46 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| | |||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| | |||||
* | Bug fixing in %blast when blasting MUX coming from always-statement. | Alan Mishchenko | 2015-07-07 | 6 | -63/+93 |
| | |||||
* | Bug fixing in %blast when blasting mod operator (handling zero divisor). | Alan Mishchenko | 2015-07-07 | 7 | -11/+33 |
| | |||||
* | Adding new Python API 'co_supp'. | Alan Mishchenko | 2015-07-07 | 1 | -0/+1 |
| | |||||
* | Adding new Python API 'co_supp'. | Alan Mishchenko | 2015-07-06 | 3 | -0/+78 |
| | |||||
* | Add fix to Liberty parser to skip extra semicolon. | Alan Mishchenko | 2015-07-06 | 1 | -0/+5 |
| | |||||
* | Bug fix in SMT-LIB parser. | Alan Mishchenko | 2015-06-30 | 1 | -1/+1 |
| | |||||
* | Fixing assertion failure in Abc_NtkBddToSop. | Alan Mishchenko | 2015-06-29 | 1 | -0/+4 |
| | |||||
* | Making sure the CI/CO are not ordered by 'fraig_restore'. | Alan Mishchenko | 2015-06-29 | 4 | -25/+120 |
| | |||||
* | Undo recent assert. | Alan Mishchenko | 2015-06-27 | 1 | -2/+2 |
| | |||||
* | Potential performance bug in the mapper. | Alan Mishchenko | 2015-06-27 | 1 | -1/+1 |
| | |||||
* | Adding resource limits to 'fraig_restore'. | Alan Mishchenko | 2015-06-27 | 3 | -15/+48 |
| |