Commits · 7a3c33e169ec6645589055fe7cd3e534e49d69e0 · lvzhengyang / abc · GitLab

14 Jan, 2012 9 commits
- New hierarchy manager. · 7a3c33e1
  Alan Mishchenko committed Jan 13, 2012
  
  7a3c33e1 Browse Files
- New hierarchy manager. · 5fff8354
  Alan Mishchenko committed Jan 13, 2012
  
  5fff8354 Browse Files
- New hierarchy manager. · b7ba9aa8
  Alan Mishchenko committed Jan 13, 2012
  
  b7ba9aa8 Browse Files
- Improving printout in the SAT solver. · 37b8a190
  Alan Mishchenko committed Jan 13, 2012
  
  37b8a190 Browse Files
- Commented out a printout line which cases a warning to be printed. · c48925df
  Alan Mishchenko committed Jan 13, 2012
  
  c48925df Browse Files
- Added bit vector. · 1aeaacc0
  Alan Mishchenko committed Jan 13, 2012
  
  1aeaacc0 Browse Files
- Added counting hits and misses during structural hashing. · 4bd7efa6
  Alan Mishchenko committed Jan 13, 2012
  
  4bd7efa6 Browse Files
- New hierarchy manager. · edbff75f
  Alan Mishchenko committed Jan 13, 2012
  
  edbff75f Browse Files
- New hierarchy manager. · eecbbea2
  Alan Mishchenko committed Jan 13, 2012
  
  eecbbea2 Browse Files
13 Jan, 2012 3 commits
- Added new name manager and modified hierarchy manager to use it. · 095345fc
  Alan Mishchenko committed Jan 13, 2012
  
  095345fc Browse Files
- New hierarchy manager. · cb2d12bb
  Alan Mishchenko committed Jan 13, 2012
  
  cb2d12bb Browse Files
- Added model ID inside the design. · 2e1dcdd2
  Alan Mishchenko committed Jan 12, 2012
  
  2e1dcdd2 Browse Files
12 Jan, 2012 2 commits
- Bug fix related to not properly resizing SAT solver's model array. · 56cc5734
  Alan Mishchenko committed Jan 12, 2012
  
  56cc5734 Browse Files
- Changes to the lazy man's synthesis code. · fadde52d
  Alan Mishchenko committed Jan 11, 2012
  
  fadde52d Browse Files
11 Jan, 2012 1 commit
- Gate level abstraction. · 22ae2e45
  Alan Mishchenko committed Jan 11, 2012
  
  22ae2e45 Browse Files
08 Jan, 2012 2 commits
- Gate level abstraction. · 564a3553
  Alan Mishchenko committed Jan 08, 2012
  
  564a3553 Browse Files
- Backward reachability using circuit cofactoring. · 03f772d5
  Alan Mishchenko committed Jan 08, 2012
  
  03f772d5 Browse Files
07 Jan, 2012 5 commits
- Backward reachability using circuit cofactoring. · d1450e77
  Alan Mishchenko committed Jan 07, 2012
  
  d1450e77 Browse Files
- Backward reachability using circuit cofactoring. · c3ab7843
  Alan Mishchenko committed Jan 07, 2012
  
  c3ab7843 Browse Files
- Crash fix in 'tempor' in case the leading length is 0. · 99cc6ae9
  Alan Mishchenko committed Jan 07, 2012
  
  99cc6ae9 Browse Files
- Gate level abstraction. · 36bc5703
  Alan Mishchenko committed Jan 07, 2012
  
  36bc5703 Browse Files
- Bug fix: changing output number to 0 in the CEX after ORing POs. · 376bf3a7
  Alan Mishchenko committed Jan 07, 2012
  
  376bf3a7 Browse Files
06 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 10ad8949
  Alan Mishchenko committed Jan 06, 2012
  
  10ad8949 Browse Files
05 Jan, 2012 5 commits
- Added warning when the network from file has no primary inputs. · 26b87c8c
  Alan Mishchenko committed Jan 06, 2012
  
  26b87c8c Browse Files
- APIs to represent simple gates in CNF. · 5a45a75d
  Alan Mishchenko committed Jan 05, 2012
  
  5a45a75d Browse Files
- Backward reachability using circuit cofactoring. · fd62957d
  Alan Mishchenko committed Jan 05, 2012
  
  fd62957d Browse Files
- APIs to represent simple gates in CNF. · 32e7b758
  Alan Mishchenko committed Jan 05, 2012
  
  32e7b758 Browse Files
- Configuration changes in the Boolean matching code. · 660779b5
  Alan Mishchenko committed Jan 05, 2012
  
  660779b5 Browse Files
01 Jan, 2012 2 commits
- Backward reachability using circuit cofactoring. · e3a412b2
  Alan Mishchenko committed Jan 01, 2012
  
  e3a412b2 Browse Files
- Backward reachability using circuit cofactoring. · aec5d338
  Alan Mishchenko committed Jan 01, 2012
  
  aec5d338 Browse Files
30 Dec, 2011 4 commits
- Delay optimization using precomputed library. · 1e20e2cc
  Alan Mishchenko committed Dec 30, 2011
  
  1e20e2cc Browse Files
- Delay optimization using precomputed library. · 655d452c
  Alan Mishchenko committed Dec 30, 2011
  
  655d452c Browse Files
- Delay optimization using precomputed library. · 6ed83402
  Alan Mishchenko committed Dec 30, 2011
  
  6ed83402 Browse Files
- Delay optimization using precomputed library. · 64b8aa51
  Alan Mishchenko committed Dec 30, 2011
  
  64b8aa51 Browse Files
29 Dec, 2011 3 commits
- Delay optimization using precomputed library. · 6c19c1df
  Alan Mishchenko committed Dec 29, 2011
  
  6c19c1df Browse Files
- Experiments with flattening hierarchy. · fce98abf
  Alan Mishchenko committed Dec 29, 2011
  
  fce98abf Browse Files
- New variable-time frame abstraction. · ed13bd16
  Alan Mishchenko committed Dec 29, 2011
  
  ed13bd16 Browse Files
28 Dec, 2011 2 commits
- Experiments with flattening hierarchy. · 21df8bf0
  Alan Mishchenko committed Dec 28, 2011
  
  21df8bf0 Browse Files
- Experiments with flattening hierarchy. · afc8553f
  Alan Mishchenko committed Dec 28, 2011
  
  afc8553f Browse Files
24 Dec, 2011 1 commit
- Transforming the solver to use different clause representation. · c59e2e9c
  Alan Mishchenko committed Dec 23, 2011
  
  c59e2e9c Browse Files