Commits · 1efdd3726daf36fbe5533347b710afbc958ac466 · lvzhengyang / abc · GitLab

18 Apr, 2014 1 commit
- Preserving outputs names in the &-space. · 1efdd372
  Alan Mishchenko committed Apr 18, 2014
  
  1efdd372 Browse Files
17 Apr, 2014 1 commit
- Improvements in technology mapping. · 6730e21e
  Alan Mishchenko committed Apr 17, 2014
  
  6730e21e Browse Files
14 Apr, 2014 1 commit
- Changes in the LUT mapper data-structures. · 02cf8693
  Alan Mishchenko committed Apr 14, 2014
  
  02cf8693 Browse Files
13 Apr, 2014 1 commit
- New feature to optimize delay during mapping. · 5cd91450
  Alan Mishchenko committed Apr 13, 2014
  
  5cd91450 Browse Files
11 Apr, 2014 12 commits
- New feature to optimize delay during mapping. · e7d0c9dc
  Alan Mishchenko committed Apr 11, 2014
  
  e7d0c9dc Browse Files
- New feature to optimize delay during mapping. · 865526f8
  Alan Mishchenko committed Apr 11, 2014
  
  865526f8 Browse Files
- Improvements to DSD in technology mapping. · e855eaa0
  Alan Mishchenko committed Apr 11, 2014
  
  e855eaa0 Browse Files
- New feature to optimize delay during mapping. · 80110cc3
  Alan Mishchenko committed Apr 11, 2014
  
  80110cc3 Browse Files
- Correcting internal check. · 24f63cf9
  Alan Mishchenko committed Apr 11, 2014
  
  24f63cf9 Browse Files
- Removed obsolete code for sequential mapping. · b50894ab
  Alan Mishchenko committed Apr 11, 2014
  
  b50894ab Browse Files
- Improvements to DSD in technology mapping. · b9274a07
  Alan Mishchenko committed Apr 11, 2014
  
  b9274a07 Browse Files
- Improving K-map printout. · 116c35a0
  Alan Mishchenko committed Apr 10, 2014
  
  116c35a0 Browse Files
- Command to test console colors. · 17c382c3
  Alan Mishchenko committed Apr 10, 2014
  
  17c382c3 Browse Files
- Command to test console colors. · a2050baf
  Alan Mishchenko committed Apr 10, 2014
  
  a2050baf Browse Files
- Command to test console colors. · 37fd2b93
  Alan Mishchenko committed Apr 10, 2014
  
  37fd2b93 Browse Files
- Command to test console colors. · 0fef5d60
  Alan Mishchenko committed Apr 10, 2014
  
  0fef5d60 Browse Files
10 Apr, 2014 1 commit
- Pass file name correctly. · 4bafc98a
  Alan Mishchenko committed Apr 10, 2014
  
  4bafc98a Browse Files
09 Apr, 2014 6 commits
- Adding new code to support barrier buffers. · 1c582413
  Alan Mishchenko committed Apr 09, 2014
  
  1c582413 Browse Files
- Updating cost function to be the number of edges in ps -b. · 91d80a63
  Alan Mishchenko committed Apr 09, 2014
  
  91d80a63 Browse Files
- Cleanup and bug fixing in hierarchy handling. · 46ab68ba
  Alan Mishchenko committed Apr 09, 2014
  
  46ab68ba Browse Files
- Renamed Abc_Lib_t into Abc_Des_t and removed some dead code. · b94b8102
  Alan Mishchenko committed Apr 09, 2014
  
  b94b8102 Browse Files
- Adding switch to control area/delay quality tradeoff in 'amap'. · 5374797b
  Alan Mishchenko committed Apr 08, 2014
  
  5374797b Browse Files
- Adding switch to control area/delay quality tradeoff in 'amap'. · 80d2eef7
  Alan Mishchenko committed Apr 08, 2014
  
  80d2eef7 Browse Files
07 Apr, 2014 4 commits
- Adding command to dump UNSAT core of BMC instance. · 22ada3b2
  Alan Mishchenko committed Apr 07, 2014
  
  22ada3b2 Browse Files
- Adding command to dump UNSAT core of BMC instance. · 7753e097
  Alan Mishchenko committed Apr 07, 2014
  
  7753e097 Browse Files
- Adding command to dump UNSAT core of BMC instance. · 42927d5e
  Alan Mishchenko committed Apr 07, 2014
  
  42927d5e Browse Files
- Implementation of DSD balancing. · af6705a8
  Alan Mishchenko committed Apr 06, 2014
  
  af6705a8 Browse Files
06 Apr, 2014 6 commits
- Improvement in SOP balancing. · f1f1cf3e
  Alan Mishchenko committed Apr 06, 2014
  
  f1f1cf3e Browse Files
- Improvement in SOP balancing. · a26d61f4
  Alan Mishchenko committed Apr 06, 2014
  
  a26d61f4 Browse Files
- Improvement in SOP balancing. · d05f83b2
  Alan Mishchenko committed Apr 06, 2014
  
  d05f83b2 Browse Files
- Improvement in SOP balancing. · 2a399042
  Alan Mishchenko committed Apr 06, 2014
  
  2a399042 Browse Files
- Improvement in SOP balancing. · faf3bf34
  Alan Mishchenko committed Apr 06, 2014
  
  faf3bf34 Browse Files
- Preparing new implementation of SOP/DSD balancing in 'if' mapper. · 9c502b70
  Alan Mishchenko committed Apr 05, 2014
  
  9c502b70 Browse Files
05 Apr, 2014 2 commits
- Preparing new implementation of SOP/DSD balancing in 'if' mapper. · 5608d947
  Alan Mishchenko committed Apr 05, 2014
  
  5608d947 Browse Files
- Performance bug fix in SOP balancing. · 424b86a5
  Alan Mishchenko committed Apr 05, 2014
  
  424b86a5 Browse Files
04 Apr, 2014 2 commits
- Tuning LUT mapping to work while saving the best network. · 6ab0d68d
  Alan Mishchenko committed Apr 04, 2014
  
  6ab0d68d Browse Files
- Better CEX minimization and renaming of write_counter into write_cex. · f6ae0e41
  Alan Mishchenko committed Apr 04, 2014
  
  f6ae0e41 Browse Files
03 Apr, 2014 3 commits
- Improvements to technology mapping. · 11bab8ca
  Alan Mishchenko committed Apr 03, 2014
  
  11bab8ca Browse Files
- Improvements to technology mapping. · d82be1fd
  Alan Mishchenko committed Apr 03, 2014
  
  d82be1fd Browse Files
- Improvements to technology mapping. · b0e04dc2
  Alan Mishchenko committed Apr 03, 2014
  
  b0e04dc2 Browse Files