Commits · b902b00779be6ed036356c3fbca303e69d7f4d04 · lvzhengyang / abc · GitLab

02 Apr, 2013 5 commits
- Small changes to LMS code. · b902b007
  Alan Mishchenko committed Apr 01, 2013
  
  b902b007 Browse Files
- Shrink for 6-LUTs. · f99e5cd9
  Alan Mishchenko committed Apr 01, 2013
  
  f99e5cd9 Browse Files
- Shrink for 6-LUTs. · 28f12c5f
  Alan Mishchenko committed Apr 01, 2013
  
  28f12c5f Browse Files
- Updating 'sim3' to move the design into the last rare state. · 5ec77b66
  Alan Mishchenko committed Apr 01, 2013
  
  5ec77b66 Browse Files
- Updating 'sim3' to move the design into the last rare state. · 48fce794
  Alan Mishchenko committed Apr 01, 2013
  
  48fce794 Browse Files
01 Apr, 2013 2 commits
- Compiler warnings. · 2c275b8c
  Alan Mishchenko committed Mar 31, 2013
  
  2c275b8c Browse Files
- Shrink for 6-LUTs. · 2650f945
  Alan Mishchenko committed Mar 31, 2013
  
  2650f945 Browse Files
31 Mar, 2013 2 commits
- Updating bmc3 printout to show the number of failed outputs. · 017c35ba
  Alan Mishchenko committed Mar 30, 2013
  
  017c35ba Browse Files
- Bug fix in the printout of &popart. · 900bdfac
  Alan Mishchenko committed Mar 30, 2013
  
  900bdfac Browse Files
30 Mar, 2013 10 commits
- Bug fix in the printout of &popart. · 4cb042f8
  Alan Mishchenko committed Mar 30, 2013
  
  4cb042f8 Browse Files
- Improving verbose printout of 'sim3' when solving multiple outputs. · ca7c8011
  Alan Mishchenko committed Mar 30, 2013
  
  ca7c8011 Browse Files
- Updating 'pdr' to report the number of failed POs. · be8125f3
  Alan Mishchenko committed Mar 30, 2013
  
  be8125f3 Browse Files
- Compiler warnings. · 05ea1809
  Alan Mishchenko committed Mar 30, 2013
  
  05ea1809 Browse Files
- Compiler warnings. · 1d4674e5
  Alan Mishchenko committed Mar 30, 2013
  
  1d4674e5 Browse Files
- Improved 'trim' and added 'dropsat' to replace sat POs by constant 0. · 270d36ac
  Alan Mishchenko committed Mar 30, 2013
  
  270d36ac Browse Files
- Updating bmc3 printout to show the number of failed outputs. · 5ace6838
  Alan Mishchenko committed Mar 30, 2013
  
  5ace6838 Browse Files
- Compiler warnings. · 851c8551
  Alan Mishchenko committed Mar 30, 2013
  
  851c8551 Browse Files
- Compiler warnings. · 7f112787
  Alan Mishchenko committed Mar 30, 2013
  
  7f112787 Browse Files
- Updating bmc3 printout to show the number of failed outputs. · d3a4dce1
  Alan Mishchenko committed Mar 30, 2013
  
  d3a4dce1 Browse Files
29 Mar, 2013 2 commits
- Added dumping QDIMACS files in command 'qbf'. · cc7d3e37
  Alan Mishchenko committed Mar 28, 2013
  
  cc7d3e37 Browse Files
- Changed to 'print_level' to be less verbose by default. · b7cd2278
  Alan Mishchenko committed Mar 28, 2013
  
  b7cd2278 Browse Files
28 Mar, 2013 2 commits
- Adding command &miter2 to derive a specified sequential miter. · fdb8d83f
  Alan Mishchenko committed Mar 28, 2013
  
  fdb8d83f Browse Files
- Added dumping QDIMACS files in command 'qbf'. · 7a2132b2
  Alan Mishchenko committed Mar 27, 2013
  
  7a2132b2 Browse Files
27 Mar, 2013 5 commits
- Removing hard-coded limit on the number of solving iterations in command 'qbf'. · 27208922
  Alan Mishchenko committed Mar 27, 2013
  
  27208922 Browse Files
- Adding command &miter2 to derive a specified sequential miter. · e64cad10
  Alan Mishchenko committed Mar 27, 2013
  
  e64cad10 Browse Files
- Modified SCL gate library to read/write gate formula. · 4c008299
  Alan Mishchenko committed Mar 26, 2013
  
  4c008299 Browse Files
- Fixing the dump of SAT solver into a CNF file. · dfb065fa
  Alan Mishchenko committed Mar 26, 2013
  
  dfb065fa Browse Files
- The result of merging. · d0102310
  Alan Mishchenko committed Mar 26, 2013
  
  d0102310 Browse Files
26 Mar, 2013 3 commits
- Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining outputs to be UNSAT. · e5054fa7
  Alan Mishchenko committed Mar 26, 2013
  
  e5054fa7 Browse Files
- Fixing a bug in &cycle, which could generate an unreachable state. · d80071be
  Alan Mishchenko committed Mar 26, 2013
  
  d80071be Browse Files
- Commenting out undesirable warnings/assertions. · 17af4542
  Alan Mishchenko committed Mar 26, 2013
  
  17af4542 Browse Files
19 Mar, 2013 1 commit
- Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax(). · 93b10316
  Alan Mishchenko committed Mar 19, 2013
  
  93b10316 Browse Files
14 Mar, 2013 1 commit
- Commenting out assertion that fails in 'dch', not sure why. · a96436e8
  Alan Mishchenko committed Mar 14, 2013
  
  a96436e8 Browse Files
13 Mar, 2013 2 commits
- Fixing gap timeout in 'bmc3'. · a3b8b0a5
  Alan Mishchenko committed Mar 13, 2013
  
  a3b8b0a5 Browse Files
- Handling special case in 'fold' when the network is combinational. · bf795e57
  Alan Mishchenko committed Mar 13, 2013
  
  bf795e57 Browse Files
09 Mar, 2013 5 commits
- PO partitioning algorithm. · ec297394
  Alan Mishchenko committed Mar 09, 2013
  
  ec297394 Browse Files
- PO partitioning algorithm. · 1eb4059f
  Alan Mishchenko committed Mar 09, 2013
  
  1eb4059f Browse Files
- PO partitioning algorithm. · b30d55b7
  Alan Mishchenko committed Mar 09, 2013
  
  b30d55b7 Browse Files
- Modified Python API iso_eq_classes to be eq_classes. · 10729d50
  Alan Mishchenko committed Mar 09, 2013
  
  10729d50 Browse Files
- PO partitioning algorithm. · eee8ceb0
  Alan Mishchenko committed Mar 09, 2013
  
  eee8ceb0 Browse Files