Commits · f5a8cf99c0f0b89297833018256f4efa4dac6cb0 · lvzhengyang / abc · GitLab

29 Oct, 2012 4 commits
- Improvements to LMS code. · f5a8cf99
  Alan Mishchenko committed Oct 28, 2012
  
  f5a8cf99 Browse Files
- Improvements to LMS code. · d8d82005
  Alan Mishchenko committed Oct 28, 2012
  
  d8d82005 Browse Files
- Improvements to LMS code. · 12dda470
  Alan Mishchenko committed Oct 28, 2012
  
  12dda470 Browse Files
- Improvements to LMS code. · 15895cd2
  Alan Mishchenko committed Oct 28, 2012
  
  15895cd2 Browse Files
28 Oct, 2012 4 commits
- Improvements to LMS code. · c73c37a9
  Alan Mishchenko committed Oct 28, 2012
  
  c73c37a9 Browse Files
- Improvements to LMS code. · 4e52703b
  Alan Mishchenko committed Oct 27, 2012
  
  4e52703b Browse Files
- Improvements to LMS code. · ab2dfec2
  Alan Mishchenko committed Oct 27, 2012
  
  ab2dfec2 Browse Files
- Improvements to LMS code. · 94d722c5
  Alan Mishchenko committed Oct 27, 2012
  
  94d722c5 Browse Files
27 Oct, 2012 1 commit
- Improvements to the truth table computation in 'if' package. · cb7bf6ae
  Alan Mishchenko committed Oct 26, 2012
  
  cb7bf6ae Browse Files
26 Oct, 2012 4 commits
- Enables printout of fanout count in critical path. · f416e849
  Alan Mishchenko committed Oct 26, 2012
  
  f416e849 Browse Files
- Integrating GIA with LUT mapping. · da0e1a30
  Alan Mishchenko committed Oct 25, 2012
  
  da0e1a30 Browse Files
- Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate constant. · b733b813
  Alan Mishchenko committed Oct 25, 2012
  
  b733b813 Browse Files
- Added new API to traverse the cut in the mapper. · 37107a3b
  Alan Mishchenko committed Oct 25, 2012
  
  37107a3b Browse Files
25 Oct, 2012 6 commits
- Adding binary file dumping for truth tables. · fac39766
  Alan Mishchenko committed Oct 25, 2012
  
  fac39766 Browse Files
- Adding binary file dumping for truth tables. · 059da574
  Alan Mishchenko committed Oct 25, 2012
  
  059da574 Browse Files
- Changing the defaults of command 'collapse'. · 785ae9e4
  Alan Mishchenko committed Oct 25, 2012
  
  785ae9e4 Browse Files
- Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). · 7ecea8d4
  Alan Mishchenko committed Oct 24, 2012
  
  7ecea8d4 Browse Files
- Integrating GIA with LUT mapping. · e9e8f179
  Alan Mishchenko committed Oct 24, 2012
  
  e9e8f179 Browse Files
- Integrating GIA with LUT mapping. · 6b96d9a8
  Alan Mishchenko committed Oct 24, 2012
  
  6b96d9a8 Browse Files
24 Oct, 2012 3 commits
- Creating dedicated choice representation for GIA. · 5cd1396b
  Alan Mishchenko committed Oct 24, 2012
  
  5cd1396b Browse Files
- Adding frontier comptuation based on reversed CO order in &ps. · bc21cb41
  Alan Mishchenko committed Oct 24, 2012
  
  bc21cb41 Browse Files
- Fixing frontier computation in &ps. · 2be812b4
  Alan Mishchenko committed Oct 24, 2012
  
  2be812b4 Browse Files
23 Oct, 2012 1 commit
- Disabling SAT sweeping in 'map' by default. · e9783622
  Alan Mishchenko committed Oct 23, 2012
  
  e9783622 Browse Files
21 Oct, 2012 1 commit
- Adding #ifdef to guard windows-specific debugging option. · 84b54597
  Alan Mishchenko committed Oct 20, 2012
  
  84b54597 Browse Files
12 Oct, 2012 1 commit
- Bug fix in hierarchical BLIF reader. · 7235d740
  Alan Mishchenko committed Oct 11, 2012
  
  7235d740 Browse Files
11 Oct, 2012 1 commit
- Commenting out printout. · 0294fc78
  Alan Mishchenko committed Oct 10, 2012
  
  0294fc78 Browse Files
10 Oct, 2012 4 commits
- Added procedure to check correctness of the topo order during AIG construction. · cc0e5d4f
  Alan Mishchenko committed Oct 10, 2012
  
  cc0e5d4f Browse Files
- Added command to transform GIA into the file with truth tables for each output. · d261e617
  Alan Mishchenko committed Oct 10, 2012
  
  d261e617 Browse Files
- Improvements to gate sizing. · c9fbac5f
  Alan Mishchenko committed Oct 09, 2012
  
  c9fbac5f Browse Files
- Improvements to gate sizing. · 1e7ea2ca
  Alan Mishchenko committed Oct 09, 2012
  
  1e7ea2ca Browse Files
09 Oct, 2012 10 commits
- Making report about the number of correcty covered frames consistent across the engines. · daeffe79
  Alan Mishchenko committed Oct 09, 2012
  
  daeffe79 Browse Files
- Improvements to gate-sizing. · fed18333
  Alan Mishchenko committed Oct 09, 2012
  
  fed18333 Browse Files
- Improvements to gate-sizing. · 513dc14a
  Alan Mishchenko committed Oct 09, 2012
  
  513dc14a Browse Files
- Improvements to gate sizing (bug fix). · d3595d23
  Alan Mishchenko committed Oct 09, 2012
  
  d3595d23 Browse Files
- Improvements to gate sizing (bug fix). · 7cf176c4
  Alan Mishchenko committed Oct 09, 2012
  
  7cf176c4 Browse Files
- Bug fix in &gla (incorrect reporting of proved timeframes). · da61616d
  Alan Mishchenko committed Oct 09, 2012
  
  da61616d Browse Files
- Bug fix in &gla (incorrect reporting of proved timeframes). · b882f64f
  Alan Mishchenko committed Oct 09, 2012
  
  b882f64f Browse Files
- Improvements to gate sizing. · 74cc0ad5
  Alan Mishchenko committed Oct 09, 2012
  
  74cc0ad5 Browse Files
- Improvements to gate sizing. · e3116600
  Alan Mishchenko committed Oct 09, 2012
  
  e3116600 Browse Files
- Improvements to gate sizing. · 8e753fc3
  Alan Mishchenko committed Oct 09, 2012
  
  8e753fc3 Browse Files