Commits · 4da6cc890433e8d782f8a1805fa9ec617955464d · lvzhengyang / abc · GitLab

17 Aug, 2021 1 commit
- Improving AIG to Verilog converter. · 4da6cc89
  Alan Mishchenko committed Aug 17, 2021
  
  4da6cc89 Browse Files
13 Aug, 2021 3 commits
- Suggested changes to collect and pass timing information (unused variable). · e9b48766
  Alan Mishchenko committed Aug 12, 2021
  
  e9b48766 Browse Files
- Suggested changes to collect and pass timing information (compiler issues). · 0deb8bf6
  Alan Mishchenko committed Aug 12, 2021
  
  0deb8bf6 Browse Files
- Suggested changes to collect and pass timing information. · e8ac4764
  Alan Mishchenko committed Aug 12, 2021
  
  e8ac4764 Browse Files
05 Aug, 2021 3 commits
- Making &cec support the miter circuit. · 99ab99bf
  Alan Mishchenko committed Aug 05, 2021
  
  99ab99bf Browse Files
- Supporting simple operators in NDR. · ddc574a9
  Alan Mishchenko committed Aug 05, 2021
  
  ddc574a9 Browse Files
- Adding node ordering options to command &dfs. · ab29dad7
  Alan Mishchenko committed Aug 05, 2021
  
  ab29dad7 Browse Files
03 Aug, 2021 1 commit
- Bug fix. · ae98e57c
  Alan Mishchenko committed Aug 03, 2021
  
  ae98e57c Browse Files
02 Aug, 2021 2 commits
- Experiments with LUT mapping for small functions. · dd87461a
  Alan Mishchenko committed Aug 02, 2021
  
  dd87461a Browse Files
- Experiments with LUT mapping for small functions. · 5f8d4e72
  Alan Mishchenko committed Aug 02, 2021
  
  5f8d4e72 Browse Files
01 Aug, 2021 3 commits
- Experiments with LUT mapping for small functions. · 03bb1e49
  Alan Mishchenko committed Aug 01, 2021
  
  03bb1e49 Browse Files
- Experiments with LUT mapping for small functions. · 4cf906d2
  Alan Mishchenko committed Aug 01, 2021
  
  4cf906d2 Browse Files
- Allow retiming to skip some logic. · e162a261
  Alan Mishchenko committed Jul 31, 2021
  
  e162a261 Browse Files
31 Jul, 2021 2 commits
- Upgrading choice computation. · 692dd763
  Alan Mishchenko committed Jul 31, 2021
  
  692dd763 Browse Files
- Experiments with cofactoring. · d925e480
  Alan Mishchenko committed Jul 31, 2021
  
  d925e480 Browse Files
25 Jul, 2021 1 commit
- Experimental simulation commands. · a162b1f4
  Alan Mishchenko committed Jul 25, 2021
  
  a162b1f4 Browse Files
16 Jul, 2021 3 commits
- Command to move CI/CO names. · 62180f35
  Alan Mishchenko committed Jul 16, 2021
  
  62180f35 Browse Files
- Command to move CI/CO names. · 6e5a797a
  Alan Mishchenko committed Jul 16, 2021
  
  6e5a797a Browse Files
- Several unrelated changes. · d9aeaade
  Alan Mishchenko committed Jul 15, 2021
  
  d9aeaade Browse Files
14 Jul, 2021 1 commit
- Experiments with LUT mapping for small functions. · 3e67d167
  Alan Mishchenko committed Jul 13, 2021
  
  3e67d167 Browse Files
11 Jul, 2021 1 commit
- Experiments with MUX decomposition. · be14c397
  Alan Mishchenko committed Jul 11, 2021
  
  be14c397 Browse Files
10 Jul, 2021 1 commit
- Experiments with CEC. · 9fac6c7a
  Alan Mishchenko committed Jul 10, 2021
  
  9fac6c7a Browse Files
09 Jul, 2021 4 commits
- Simple AIGER reader/writer. · fdc9e89d
  Alan Mishchenko committed Jul 09, 2021
  
  fdc9e89d Browse Files
- Experiments with MUX decomposition. · 4116e13b
  Alan Mishchenko committed Jul 08, 2021
  
  4116e13b Browse Files
- Experiments with MUX decomposition. · 96b9192c
  Alan Mishchenko committed Jul 08, 2021
  
  96b9192c Browse Files
- Experiments with MUX decomposition. · 5a135c87
  Alan Mishchenko committed Jul 08, 2021
  
  5a135c87 Browse Files
25 Jun, 2021 2 commits
- Potential upgrade to 'dsec'. · 4c90af0f
  Alan Mishchenko committed Jun 25, 2021
  
  4c90af0f Browse Files
- Adding place holder file for resub experiments. · 28ba2c52
  Alan Mishchenko committed Jun 24, 2021
  
  28ba2c52 Browse Files
20 Jun, 2021 1 commit
- Experiments with LUT mapping for small functions. · b4f099c5
  Alan Mishchenko committed Jun 19, 2021
  
  b4f099c5 Browse Files
08 Jun, 2021 1 commit
- Experiments with cut computation. · db3f5b6d
  Alan Mishchenko committed Jun 08, 2021
  
  db3f5b6d Browse Files
06 Jun, 2021 1 commit
- Experiments with cut computation. · 7d18d6b7
  Alan Mishchenko committed Jun 05, 2021
  
  7d18d6b7 Browse Files
03 Jun, 2021 2 commits
- Disabled special handling of 2-input LUTs. · 84ec53fb
  Alan Mishchenko committed Jun 03, 2021
  
  84ec53fb Browse Files
- Disabled special handling of 2-input LUTs. · 7fcbffd2
  Alan Mishchenko committed Jun 02, 2021
  
  7fcbffd2 Browse Files
27 May, 2021 1 commit
- Updating LUT synthesis code. · 8889ccb1
  Alan Mishchenko committed May 26, 2021
  
  8889ccb1 Browse Files
26 May, 2021 1 commit
- Updating LUT synthesis code. · 49078ffe
  Alan Mishchenko committed May 25, 2021
  
  49078ffe Browse Files
18 May, 2021 1 commit
- Adding command &extract. · d35b0585
  Alan Mishchenko committed May 18, 2021
  
  d35b0585 Browse Files
17 May, 2021 3 commits
- Fixing memory leak in the SAT sweeper. · 91a2eafc
  Alan Mishchenko committed May 16, 2021
  
  91a2eafc Browse Files
- Updating LUT synthesis code. · 93849685
  Alan Mishchenko committed May 16, 2021
  
  93849685 Browse Files
- Updating LUT synthesis code. · 0ce11851
  Alan Mishchenko committed May 16, 2021
  
  0ce11851 Browse Files
15 May, 2021 1 commit
- Adding switch muxes -a to create networks of ADDs. · 610a3d3f
  Alan Mishchenko committed May 15, 2021
  
  610a3d3f Browse Files