Commits · abdf39711f8c175840da90fd8531183c61691f68 · lvzhengyang / abc · GitLab

18 Sep, 2015 1 commit
- Tuning SAT solver for QBF instances. · 3b838b95
  Alan Mishchenko committed 9 years ago
  
  3b838b95 Browse Directory
25 Aug, 2015 1 commit
- Changes to be able to compile ABC without CUDD. · 9ef96ae8
  Alan Mishchenko committed 9 years ago
  
  9ef96ae8 Browse Directory
23 Jun, 2014 1 commit
- Improvements to CNF generation. · 44d9c7e5
  Alan Mishchenko committed 10 years ago
  
  44d9c7e5 Browse Directory
25 Jun, 2013 2 commits
- Improving CEC (command 'dcec') by integrating XOR balancing. · 02559348
  Alan Mishchenko committed 11 years ago
  
  02559348 Browse Directory
- Improving CEC (command 'dcec') by integrating XOR balancing. · 94b26fe5
  Alan Mishchenko committed 11 years ago
  
  94b26fe5 Browse Directory
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse Directory
09 Dec, 2012 1 commit
- Enabling multi-output solving in 'pdr'. · 58d4012a
  Alan Mishchenko committed 12 years ago
  
  58d4012a Browse Directory
23 Sep, 2012 1 commit
- Cleaing AIG manager by removing pointers to HAIG. · 6e774ef5
  Alan Mishchenko committed 12 years ago
  
  6e774ef5 Browse Directory
26 Aug, 2012 1 commit
- Compiler warnings. · 889ed19c
  Alan Mishchenko committed 12 years ago
  
  889ed19c Browse Directory
25 Aug, 2012 1 commit
- Compiler warnings. · f85db9dd
  Alan Mishchenko committed 12 years ago
  
  f85db9dd Browse Directory
24 Aug, 2012 1 commit
- Added simulation of comb circuits with user-specified patterns in command 'sim'. · 94260041
  Alan Mishchenko committed 12 years ago
  
  94260041 Browse Directory
11 Jul, 2012 1 commit
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed 12 years ago
  
  b9ee5d85 Browse Directory
10 Jul, 2012 2 commits
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse Directory
- Adding several command-line arguments to 'dsat'. · 63773682
  Alan Mishchenko committed 12 years ago
  
  63773682 Browse Directory
08 Jul, 2012 3 commits
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
- Fixing time primtouts throughout the code. · 4760983a
  Alan Mishchenko committed 12 years ago
  
  4760983a Browse Directory
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
04 Jul, 2012 1 commit
- Various changes to enable sensitization-based refinement in &gla. · 9ebcd9ec
  Alan Mishchenko committed 12 years ago
  
  9ebcd9ec Browse Directory
10 Mar, 2012 3 commits
- Renamed Aig_ObjPioNum to be Aig_ObjCioId. · fec988f6
  Alan Mishchenko committed 12 years ago
  
  fec988f6 Browse Directory
- Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... · c46c957a
  Alan Mishchenko committed 12 years ago
  
  c46c957a Browse Directory
- Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci/Co. · 2c8f1a67
  Alan Mishchenko committed 12 years ago
  
  2c8f1a67 Browse Directory
26 Feb, 2012 1 commit
- Disabled verbose print-out in the SAT solvers. · c17a22ef
  Alan Mishchenko committed 13 years ago
  
  c17a22ef Browse Directory
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse Directory
16 Feb, 2012 1 commit
- Improved memory management of proof-logging and propagated changes. · f1dba69c
  Alan Mishchenko committed 13 years ago
  
  f1dba69c Browse Directory
15 Feb, 2012 1 commit
- Isomorphism checking code. · a9980135
  Alan Mishchenko committed 13 years ago
  
  a9980135 Browse Directory
23 Jan, 2012 1 commit
- Bug fix for incorrect memory allocation in main SAT solver, leading to crashes in 'dsec'. · 3906e37c
  Alan Mishchenko committed 13 years ago
  
  3906e37c Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory