Commits · 7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4 · lvzhengyang / abc · GitLab

19 Mar, 2019 1 commit
- Fixing several potential bugs. · 66d2201c
  Alan Mishchenko committed 5 years ago
  
  66d2201c 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
06 May, 2013 1 commit
- Integration of the liveness property prover developed by Sayak Ray. · 05f7cd9e
  Alan Mishchenko committed 11 years ago
  
  05f7cd9e Browse Directory
13 Jul, 2012 1 commit
- Fixing compiler warning. · 04d1c4e4
  Alan Mishchenko committed 12 years ago
  
  04d1c4e4 Browse Directory
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
10 Mar, 2012 5 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
- Silencing remaining gcc warnings. · 34078de8
  Alan Mishchenko committed 12 years ago
  
  34078de8 Browse Directory
- Silencing remaining gcc warnings. · 66eb3cf4
  Alan Mishchenko committed 12 years ago
  
  66eb3cf4 Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory