Commits · e0630f83f5d69707c6345251cbebec0911a15fb3 · lvzhengyang / abc · GitLab

24 Jul, 2015 2 commits
- Updates to Cba data-structure. · e0630f83
  Alan Mishchenko committed Jul 24, 2015
  
  e0630f83 Browse Files
- Updates to Cba data-structure. · e9be6eca
  Alan Mishchenko committed Jul 23, 2015
  
  e9be6eca Browse Files
22 Jul, 2015 8 commits
- Renaming Cba into Bac. · 9bd16029
  Alan Mishchenko committed Jul 21, 2015
  
  9bd16029 Browse Files
- Renaming Cba into Bac. · ae46690b
  Alan Mishchenko committed Jul 21, 2015
  
  ae46690b Browse Files
- Renaming Cba into Bac. · 6f13e631
  Alan Mishchenko committed Jul 21, 2015
  
  6f13e631 Browse Files
- Renaming Cba into Bac. · 8b1d1dc8
  Alan Mishchenko committed Jul 21, 2015
  
  8b1d1dc8 Browse Files
- Renaming Cba into Bac. · e365a8e6
  Alan Mishchenko committed Jul 21, 2015
  
  e365a8e6 Browse Files
- Renaming Cba into Bac. · 08bff52a
  Alan Mishchenko committed Jul 21, 2015
  
  08bff52a Browse Files
- Renaming Cba into Bac. · 91b62b3b
  Alan Mishchenko committed Jul 21, 2015
  
  91b62b3b Browse Files
- Renaming Cba into Bac. · 477ecc17
  Alan Mishchenko committed Jul 21, 2015
  
  477ecc17 Browse Files
21 Jul, 2015 1 commit
- Adding new GIA duplication API. · ddda9320
  Alan Mishchenko committed Jul 21, 2015
  
  ddda9320 Browse Files
17 Jul, 2015 1 commit
- Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling… · d332e670
```
Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling printout of AND2 in '%ps -d'.
```
  Alan Mishchenko committed Jul 16, 2015
  d332e670 Browse Files
16 Jul, 2015 2 commits
- Do not add reset logic to un-initialized flops without fanout. · 0aab9356
  Alan Mishchenko committed Jul 16, 2015
  
  0aab9356 Browse Files
- Clarifying 'cec' and 'dsec' usage message. · 3a321133
  Alan Mishchenko committed Jul 16, 2015
  
  3a321133 Browse Files
15 Jul, 2015 2 commits
- Verilog benchmark generation code. · f54a139c
  Alan Mishchenko committed Jul 15, 2015
  
  f54a139c Browse Files
- Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator (@). · e37bd1fb
  Alan Mishchenko committed Jul 14, 2015
  
  e37bd1fb Browse Files
14 Jul, 2015 1 commit
- Improved bit-blasting of adders and multipliers in Wlc_Ntk_t. · 92b85b16
  Alan Mishchenko committed Jul 13, 2015
  
  92b85b16 Browse Files
13 Jul, 2015 2 commits
- Print-out for char arrays. · 6fa0784a
  Alan Mishchenko committed Jul 12, 2015
  
  6fa0784a Browse Files
- Print-out for char arrays. · 2cb6908f
  Alan Mishchenko committed Jul 12, 2015
  
  2cb6908f Browse Files
12 Jul, 2015 3 commits
- Assertion fail after 'print_supp -w'. · 772eaa63
  Alan Mishchenko committed Jul 11, 2015
  
  772eaa63 Browse Files
- Compiler warning. · 494ca715
  Alan Mishchenko committed Jul 11, 2015
  
  494ca715 Browse Files
- Adding new Python API 'is_func_iso2'. · 0d09071f
  Alan Mishchenko committed Jul 11, 2015
  
  0d09071f Browse Files
11 Jul, 2015 2 commits
- Adding new Python API 'is_func_iso'. · b949436f
  Alan Mishchenko committed Jul 11, 2015
  
  b949436f Browse Files
- New TFI/TFO profiling code. · 05ca4afb
  Alan Mishchenko committed Jul 10, 2015
  
  05ca4afb Browse Files
10 Jul, 2015 1 commit
- New TFI/TFO profiling code. · 3aece535
  Alan Mishchenko committed Jul 09, 2015
  
  3aece535 Browse Files
09 Jul, 2015 3 commits
- Small changes to enable collecting results using &ps -D file. · 10e0f3c5
  Alan Mishchenko committed Jul 09, 2015
  
  10e0f3c5 Browse Files
- Temp change in the AIG reader and minor tuning. · f4d72b2a
  Alan Mishchenko committed Jul 09, 2015
  
  f4d72b2a Browse Files
- Temp change in the AIG reader and minor tuning. · f6a3c28e
  Alan Mishchenko committed Jul 08, 2015
  
  f6a3c28e Browse Files
08 Jul, 2015 5 commits
- Bug fix in programmable cell parser and minor tuning. · fd5b7e8b
  Alan Mishchenko committed Jul 08, 2015
  
  fd5b7e8b Browse Files
- C++ compiler typecast problem. · 609be7a1
  Alan Mishchenko committed Jul 08, 2015
  
  609be7a1 Browse Files
- C++ compiler typecast problem. · 4f2d2e0e
  Alan Mishchenko committed Jul 08, 2015
  
  4f2d2e0e Browse Files
- C++ compiler typecast problem. · 095cf5e8
  Alan Mishchenko committed Jul 08, 2015
  
  095cf5e8 Browse Files
- Bug fixing in %blast when blasting MUX coming from always-statement. · 6bd77858
  Alan Mishchenko committed Jul 07, 2015
  
  6bd77858 Browse Files
07 Jul, 2015 3 commits
- Bug fixing in %blast when blasting mod operator (handling zero divisor). · 8efc9cb7
  Alan Mishchenko committed Jul 07, 2015
  
  8efc9cb7 Browse Files
- Adding new Python API 'co_supp'. · 43ad54b9
  Alan Mishchenko committed Jul 07, 2015
  
  43ad54b9 Browse Files
- Adding new Python API 'co_supp'. · 95af9797
  Alan Mishchenko committed Jul 06, 2015
  
  95af9797 Browse Files
06 Jul, 2015 1 commit
- Add fix to Liberty parser to skip extra semicolon. · 9894fc76
  Alan Mishchenko committed Jul 06, 2015
  
  9894fc76 Browse Files
30 Jun, 2015 1 commit
- Bug fix in SMT-LIB parser. · cc0954e0
  Alan Mishchenko committed Jun 30, 2015
  
  cc0954e0 Browse Files
29 Jun, 2015 2 commits
- Fixing assertion failure in Abc_NtkBddToSop. · 8c1e81a7
  Alan Mishchenko committed Jun 29, 2015
  
  8c1e81a7 Browse Files
- Making sure the CI/CO are not ordered by 'fraig_restore'. · 819c0cca
  Alan Mishchenko committed Jun 29, 2015
  
  819c0cca Browse Files