Commits · 41314cea01d1b687ab70c5e9424aa7746a0c42b8 · lvzhengyang / abc · GitLab

28 Apr, 2017 1 commit
- Experiments with support minimization. · 1faab72a
  Alan Mishchenko committed 7 years ago
  
  1faab72a Browse File
06 Apr, 2017 1 commit
- Adding stand-alone cut computation to GIA. · 70b11df9
  Alan Mishchenko committed 7 years ago
  
  70b11df9 Browse File
18 Mar, 2017 1 commit
- Code for structural unateness checking. · 1e5d826c
  Alan Mishchenko committed 7 years ago
  
  1e5d826c Browse File
03 Mar, 2017 1 commit
- Clone of the main SAT solver to eneable independent work. · 4cf046c9
  Alan Mishchenko committed 8 years ago
  
  4cf046c9 Browse File
08 Feb, 2017 1 commit
- New command &satoko. · de4bf41c
  Alan Mishchenko committed 8 years ago
  
  de4bf41c Browse File
16 Jun, 2016 1 commit
- Experiments with edge-based mapping. · e1b51d18
  Alan Mishchenko committed 8 years ago
  
  e1b51d18 Browse File
08 May, 2016 1 commit
- Experiments with CEC for arithmetic circuits. · 236d4122
  Alan Mishchenko committed 8 years ago
  
  236d4122 Browse File
29 Apr, 2016 1 commit
- Experiments with arithmetic circuits. · 59f3389c
  Alan Mishchenko committed 8 years ago
  
  59f3389c Browse File
22 Apr, 2016 1 commit
- Improved algo for edge computation. · 1b550cb8
  Alan Mishchenko committed 8 years ago
  
  1b550cb8 Browse File
10 Apr, 2016 1 commit
- Command &esop to convert AIG into ESOP. · d0a0cf63
  Alan Mishchenko committed 8 years ago
  
  d0a0cf63 Browse File
06 Apr, 2016 1 commit
- Supporting edge information during mapping. · b31b6fec
  Alan Mishchenko committed 8 years ago
  
  b31b6fec Browse File
03 Apr, 2016 1 commit
- Enabling native Gia visualization in &show. · d53161a7
  Alan Mishchenko committed 8 years ago
  
  d53161a7 Browse File
30 Mar, 2016 1 commit
- Windowing for technology mapping. · 31430043
  Alan Mishchenko committed 8 years ago
  
  31430043 Browse File
13 Feb, 2016 1 commit
- Adding support for a different bit-blasting of a multiplier and squarer. · 390a145f
  Alan Mishchenko committed 9 years ago
  
  390a145f Browse File
08 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 67f4f1ad
  Alan Mishchenko committed 9 years ago
  
  67f4f1ad Browse File
01 Oct, 2015 1 commit
- Naive LUT packing algorithm (command &pack). · 0e0f2e64
  Alan Mishchenko committed 9 years ago
  
  0e0f2e64 Browse File
28 Sep, 2015 1 commit
- Experiments with LUT structure mapping. · 1ba16ff7
  Alan Mishchenko committed 9 years ago
  
  1ba16ff7 Browse File
23 Sep, 2015 1 commit
- Adding new command &rex2gia. · edf6c137
  Alan Mishchenko committed 9 years ago
  
  edf6c137 Browse File
09 Feb, 2015 1 commit
- Diabling pin-permutation in &nf mapper. · db6afbea
  Alan Mishchenko committed 10 years ago
  
  db6afbea Browse File
10 Nov, 2014 1 commit
- Detecting full-adder chains and putting them into white boxes. · 372a348c
  Alan Mishchenko committed 10 years ago
  
  372a348c Browse File
18 Oct, 2014 1 commit
- Improved QBF solver. · 23441c06
  Alan Mishchenko committed 10 years ago
  
  23441c06 Browse File
16 Sep, 2014 1 commit
- Code restructuring. · e033a622
  Alan Mishchenko committed 10 years ago
  
  e033a622 Browse File
17 Aug, 2014 1 commit
- Added DSD-based collapsing &dsd. · 18ed4d34
  Alan Mishchenko committed 10 years ago
  
  18ed4d34 Browse File
26 Jul, 2014 1 commit
- Generating abstraction of standard cell library. · 704b4bad
  Alan Mishchenko committed 10 years ago
  
  704b4bad Browse File
21 Jul, 2014 1 commit
- Adding new command &sopb for resource-aware SOP balancing. · c0aa9b6a
  Alan Mishchenko committed 10 years ago
  
  c0aa9b6a Browse File
28 Jun, 2014 1 commit
- Changes and improvements to different packages. · 933b7496
  Alan Mishchenko committed 10 years ago
  
  933b7496 Browse File
22 Jun, 2014 1 commit
- Experiments with balancing. · 13dd4eeb
  Alan Mishchenko committed 10 years ago
  
  13dd4eeb Browse File
20 Jun, 2014 1 commit
- Added quick GIG parser. · f04d3273
  Alan Mishchenko committed 10 years ago
  
  f04d3273 Browse File
18 Jun, 2014 1 commit
- Various changes to enable better CNF generation. · 85e23c84
  Alan Mishchenko committed 10 years ago
  
  85e23c84 Browse File
11 Jun, 2014 1 commit
- Various modifications. · 93d89eaa
  Alan Mishchenko committed 10 years ago
  
  93d89eaa Browse File
21 May, 2014 1 commit
- Experiment with new idea for ISO. · fe5b5ffe
  Alan Mishchenko committed 10 years ago
  
  fe5b5ffe Browse File
26 Apr, 2014 1 commit
- Exploration of MFFCs. · 8de7816d
  Alan Mishchenko committed 10 years ago
  
  8de7816d Browse File
22 Mar, 2014 1 commit
- Experiments with mapping. · ace34099
  Alan Mishchenko committed 10 years ago
  
  ace34099 Browse File
13 Nov, 2013 1 commit
- Structural mapper into structures. · 4e00ec61
  Alan Mishchenko committed 11 years ago
  
  4e00ec61 Browse File
31 Oct, 2013 1 commit
- False path detection. · 313caa45
  Alan Mishchenko committed 11 years ago
  
  313caa45 Browse File
06 Oct, 2013 1 commit
- Resubstitution code. · 8a03e530
  Alan Mishchenko committed 11 years ago
  
  8a03e530 Browse File
03 Oct, 2013 1 commit
- Experiment with the AIG package. · 6132d7cb
  Alan Mishchenko committed 11 years ago
  
  6132d7cb Browse File
30 Sep, 2013 1 commit
- New logic sharing extraction. · 62439be8
  Alan Mishchenko committed 11 years ago
  
  62439be8 Browse File
28 Sep, 2013 1 commit
- Performance balancing command &b. · a7fcdf20
  Alan Mishchenko committed 11 years ago
  
  a7fcdf20 Browse File
25 Sep, 2013 1 commit
- Improving DAG-aware unmapping. · 53165710
  Alan Mishchenko committed 11 years ago
  
  53165710 Browse File