Commits · aae3a399148d7283510472ab2b2a10fe0419acd3 · lvzhengyang / abc · GitLab

12 Aug, 2023 1 commit
- Fixed performance bug in Feb 28 commit (0d0063f7 ). · 42683a73
  Alan Mishchenko committed a year ago
  
  42683a73 Browse Directory
28 Feb, 2023 1 commit
- Experiment with cost functions. · 0d0063f7
  Alan Mishchenko committed 2 years ago
  
  0d0063f7 Browse Directory
16 Feb, 2023 1 commit
- Experiment with choice computation. · 581c58b9
  Alan Mishchenko committed 2 years ago
  
  581c58b9 Browse Directory
26 Sep, 2021 1 commit
- Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. · ba64e786
  Alan Mishchenko committed 3 years ago
  
  ba64e786 Browse Directory
03 Aug, 2021 1 commit
- Bug fix. · ae98e57c
  Alan Mishchenko committed 3 years ago
  
  ae98e57c Browse Directory
31 Jul, 2021 1 commit
- Upgrading choice computation. · 692dd763
  Alan Mishchenko committed 3 years ago
  
  692dd763 Browse Directory
20 Nov, 2020 1 commit
- Integration with several commands. · 48f71ada
  Alan Mishchenko committed 4 years ago
  
  48f71ada Browse Directory
08 Sep, 2014 1 commit
- Corner-case bug fix in balancing. · a5e93ff0
  Alan Mishchenko committed 10 years ago
  
  a5e93ff0 Browse Directory
08 Aug, 2014 1 commit
- Adding delay optimization to synthesis script &syn2. · 68ce0bc1
  Alan Mishchenko committed 10 years ago
  
  68ce0bc1 Browse Directory
01 Jul, 2014 1 commit
- Improvements to representation of choices. · afcec52a
  Alan Mishchenko committed 10 years ago
  
  afcec52a Browse Directory
19 Mar, 2014 1 commit
- Updating code to support barrier buffers. · a1cdcb0b
  Alan Mishchenko committed 10 years ago
  
  a1cdcb0b Browse Directory
16 Sep, 2013 1 commit
- Bug fix in XOR balancing. · 5d2dc041
  Alan Mishchenko committed 11 years ago
  
  5d2dc041 Browse Directory
08 Jul, 2013 1 commit
- Adding timeout to AIG rewriting inside 'int'. · 07d3351c
  Alan Mishchenko committed 11 years ago
  
  07d3351c 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
27 Feb, 2013 1 commit
- User-controlable SAT sweeper and other small changes. · a27a7bc8
  Alan Mishchenko committed 12 years ago
  
  a27a7bc8 Browse Directory
08 Jan, 2013 1 commit
- Fixing C++ compilation issues. · 08a9f58a
  Alan Mishchenko committed 12 years ago
  
  08a9f58a Browse Directory
05 Oct, 2012 1 commit
- Bug fix in XOR balancing (command 'balance -x'). · 8f504907
  Alan Mishchenko committed 12 years ago
  
  8f504907 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
10 Jul, 2012 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 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
01 Jul, 2012 1 commit
- Other improvements to bmc2 and bmc3. · 8765502e
  Alan Mishchenko committed 12 years ago
  
  8765502e Browse Directory
26 Mar, 2012 2 commits
- Important bug fix in XOR balancing (balance -x). · c2ab4426
  Alan Mishchenko committed 12 years ago
  
  c2ab4426 Browse Directory
- Logic sharing for multi-input gates. · 16cf6bf1
  Alan Mishchenko committed 12 years ago
  
  16cf6bf1 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
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory