Commits · 2fd746ed94940f02e2ccdfbba5a81672ed6773ba · lvzhengyang / abc · GitLab

18 Jan, 2012 5 commits
- Removing debug print-outs from the SAT solver. · 2fd746ed
  Alan Mishchenko committed Jan 17, 2012
  
  2fd746ed Browse Files
- Changes to the lazy man's synthesis code. · 2a236864
  Alan Mishchenko committed Jan 17, 2012
  
  2a236864 Browse Files
- New hierarchy manager. · d8d705c7
  Alan Mishchenko committed Jan 17, 2012
  
  d8d705c7 Browse Files
- Small bug induced by changes in the SAT solver. · 67300e05
  Alan Mishchenko committed Jan 17, 2012
  
  67300e05 Browse Files
- Added notification about exceeding the number of nodes. · 25914e41
  Alan Mishchenko committed Jan 17, 2012
  
  25914e41 Browse Files
17 Jan, 2012 3 commits
- New hierarchy manager. · 6bff2986
  Alan Mishchenko committed Jan 17, 2012
  
  6bff2986 Browse Files
- Variable timeframe abstraction. · 940d5d66
  Alan Mishchenko committed Jan 16, 2012
  
  940d5d66 Browse Files
- New hierarchy manager. · be5256c9
  Alan Mishchenko committed Jan 16, 2012
  
  be5256c9 Browse Files
16 Jan, 2012 4 commits
- Removing additional printout in the GIA package. · 08f6d49f
  Alan Mishchenko committed Jan 16, 2012
  
  08f6d49f Browse Files
- New hierarchy manager plus additional printout in the GIA package. · 0695ec54
  Alan Mishchenko committed Jan 16, 2012
  
  0695ec54 Browse Files
- Variable timeframe abstraction. · ca28f77f
  Alan Mishchenko committed Jan 16, 2012
  
  ca28f77f Browse Files
- Variable timeframe abstraction. · 10478a9c
  Alan Mishchenko committed Jan 15, 2012
  
  10478a9c Browse Files
15 Jan, 2012 8 commits
- Changes to the lazy man's synthesis code. · bb4897ab
  Alan Mishchenko committed Jan 15, 2012
  
  bb4897ab Browse Files
- Several small bug fixes in the mapper. · 1f0e5533
  Alan Mishchenko committed Jan 15, 2012
  
  1f0e5533 Browse Files
- Changes to the lazy man's synthesis code. · 60a84f73
  Alan Mishchenko committed Jan 14, 2012
  
  60a84f73 Browse Files
- Changes to the lazy man's synthesis code. · 868ed194
  Alan Mishchenko committed Jan 14, 2012
  
  868ed194 Browse Files
- Bug fixes in the Verilog parser. · ac7e665b
  Alan Mishchenko committed Jan 14, 2012
  
  ac7e665b Browse Files
- New hierarchy manager. · c7e215ca
  Alan Mishchenko committed Jan 14, 2012
  
  c7e215ca Browse Files
- Support computation experiments with different network data-structures. · 9c409add
  Alan Mishchenko committed Jan 14, 2012
  
  9c409add Browse Files
- Small bug fix in printing DSD for Boolean functions. · 4748f698
  Alan Mishchenko committed Jan 14, 2012
  
  4748f698 Browse Files
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 3 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