Commits · f416e84965a0ca4f43874b3c3768d6caac3f8731 · lvzhengyang / abc · GitLab

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 16 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
- Uploading pthread library for Windows. · 9cbe102b
  Alan Mishchenko committed Oct 09, 2012
  
  9cbe102b Browse Files
- Making explicit cast to 64-bit unsigned in a few places. · 4ed89d00
  Alan Mishchenko committed Oct 09, 2012
  
  4ed89d00 Browse Files
- Extending the default GIA writing buffer. · 7b9f4a27
  Alan Mishchenko committed Oct 09, 2012
  
  7b9f4a27 Browse Files
- Improvements to gate sizing. · dd25b90f
  Alan Mishchenko committed Oct 09, 2012
  
  dd25b90f Browse Files
- Bug fix in LMS code. · a5d07fa4
  Alan Mishchenko committed Oct 08, 2012
  
  a5d07fa4 Browse Files
- Improvements to gate sizing. · 9206e6ff
  Alan Mishchenko committed Oct 08, 2012
  
  9206e6ff Browse Files
08 Oct, 2012 1 commit
- Bug fix in reading AIGER with both signal names and extensions. · 2cb69e45
  Alan Mishchenko committed Oct 08, 2012
  
  2cb69e45 Browse Files
07 Oct, 2012 2 commits
- Updating readme. · c7e8ad24
  Alan Mishchenko committed Oct 06, 2012
  
  c7e8ad24 Browse Files
- Updating readme. · 89291329
  Alan Mishchenko committed Oct 06, 2012
  
  89291329 Browse Files