Commits · 82c84387fa2a9ad90e356859e9c0306b8aa4da3e · lvzhengyang / abc · GitLab

13 May, 2023 1 commit
- Removing a global variable in resub. · bb437893
  Alan Mishchenko committed a year ago
  
  bb437893 Browse File
28 Feb, 2023 1 commit
- Compiler warnings. · b57b5464
  Alan Mishchenko committed 2 years ago
  
  b57b5464 Browse File
19 Dec, 2022 1 commit
- Adding printout of SOPs. · aefbac6b
  Alan Mishchenko committed 2 years ago
  
  aefbac6b Browse File
26 May, 2021 1 commit
- Updating LUT synthesis code. · 49078ffe
  Alan Mishchenko committed 3 years ago
  
  49078ffe Browse File
11 May, 2021 1 commit
- Disable cube-sort when deriving SOPs. · e6a47c3e
  Alan Mishchenko committed 3 years ago
  
  e6a47c3e Browse File
19 Nov, 2019 2 commits
- Corner case bug fix in print_stats (warning). · 10dd41be
  Alan Mishchenko committed 5 years ago
  
  10dd41be Browse File
- Corner case bug fix in print_stats. · f2702aee
  Alan Mishchenko committed 5 years ago
  
  f2702aee Browse File
08 Jan, 2019 1 commit
- Procedures to generate constant-argument multipliers. · c2c87aa6
  Alan Mishchenko committed 6 years ago
  
  c2c87aa6 Browse File
02 Mar, 2017 1 commit
- Adding command 'glitch' for glitch simulation. · d8505990
  Alan Mishchenko committed 8 years ago
  
  d8505990 Browse File
16 Jul, 2016 1 commit
- Small fixes and improvements in reporting node counts. · 3f8b5cd8
  Alan Mishchenko committed 8 years ago
  
  3f8b5cd8 Browse File
05 Jun, 2016 1 commit
- New profiling features for word-level optimizations. · 00242f2f
  Alan Mishchenko committed 8 years ago
  
  00242f2f Browse File
14 Dec, 2015 1 commit
- Adding code to support gate profiles. · 19586f10
  Alan Mishchenko committed 9 years ago
  
  19586f10 Browse File
07 Dec, 2015 1 commit
- Adding code to support gate profiles. · e9abb0f4
  Alan Mishchenko committed 9 years ago
  
  e9abb0f4 Browse File
28 Oct, 2015 1 commit
- Improvements to command print_fanio. · fe0487da
  Alan Mishchenko committed 9 years ago
  
  fe0487da Browse File
09 Oct, 2015 1 commit
- Experiments with functional matching. · 1ca82c87
  Alan Mishchenko committed 9 years ago
  
  1ca82c87 Browse File
09 Sep, 2015 1 commit
- New constraint manager and memory reporting 'ps'. · 97751e43
  Alan Mishchenko committed 9 years ago
  
  97751e43 Browse File
25 Aug, 2015 2 commits
- Changes to be able to compile ABC without CUDD. · 9ef96ae8
  Alan Mishchenko committed 9 years ago
  
  9ef96ae8 Browse File
- Changes to be able to compile ABC without CUDD. · 77d64787
  Alan Mishchenko committed 9 years ago
  
  77d64787 Browse File
12 Jul, 2015 1 commit
- Assertion fail after 'print_supp -w'. · 772eaa63
  Alan Mishchenko committed 9 years ago
  
  772eaa63 Browse File
07 Jul, 2015 1 commit
- Bug fixing in %blast when blasting mod operator (handling zero divisor). · 8efc9cb7
  Alan Mishchenko committed 9 years ago
  
  8efc9cb7 Browse File
15 Mar, 2015 1 commit
- Enable arrival/required times in &nf. · 8453afcf
  Alan Mishchenko committed 9 years ago
  
  8453afcf Browse File
19 Feb, 2015 1 commit
- Propagating changes after updating flag of 'sop'. · e3f87e18
  Alan Mishchenko committed 10 years ago
  
  e3f87e18 Browse File
11 Feb, 2015 1 commit
- Adding resource limit switch -C to 'sop'. · 8cabdcb5
  Alan Mishchenko committed 10 years ago
  
  8cabdcb5 Browse File
05 Feb, 2015 1 commit
- Improvements and tuning of CBA with buffering/sizing. · 8410daf3
  Alan Mishchenko committed 10 years ago
  
  8410daf3 Browse File
08 Dec, 2014 1 commit
- Integrating barrier buffers. · 1398de7c
  Alan Mishchenko committed 10 years ago
  
  1398de7c Browse File
24 Sep, 2014 1 commit
- Enables dumping stats into a file. · d9b5aa49
  Alan Mishchenko committed 10 years ago
  
  d9b5aa49 Browse File
28 Aug, 2014 1 commit
- Improvements BLIF parser. · 6db66071
  Alan Mishchenko committed 10 years ago
  
  6db66071 Browse File
30 Jul, 2014 1 commit
- Small changes. · 7fb19542
  Alan Mishchenko committed 10 years ago
  
  7fb19542 Browse File
28 Jul, 2014 1 commit
- Adding support for standard-cell mapping. · 6a69a913
  Alan Mishchenko committed 10 years ago
  
  6a69a913 Browse File
07 Jun, 2014 1 commit
- Adding print-out to &splitprove to see impact of cof variable on AIG size. · 2d38fc16
  Alan Mishchenko committed 10 years ago
  
  2d38fc16 Browse File
06 Jun, 2014 1 commit
- Correcting switching activity computation. · 78e09e91
  Alan Mishchenko committed 10 years ago
  
  78e09e91 Browse File
20 Apr, 2014 1 commit
- Adding color to sizing stats. · 76f2adb5
  Alan Mishchenko committed 10 years ago
  
  76f2adb5 Browse File
09 Apr, 2014 1 commit
- Updating cost function to be the number of edges in ps -b. · 91d80a63
  Alan Mishchenko committed 10 years ago
  
  91d80a63 Browse File
04 Apr, 2014 1 commit
- Tuning LUT mapping to work while saving the best network. · 6ab0d68d
  Alan Mishchenko committed 10 years ago
  
  6ab0d68d Browse File
18 Mar, 2014 1 commit
- Adding barrier buffers. · f3291054
  Alan Mishchenko committed 10 years ago
  
  f3291054 Browse File
30 Dec, 2013 1 commit
- Improving switching activity computation. · 68587eb4
  Alan Mishchenko committed 11 years ago
  
  68587eb4 Browse File
04 Dec, 2013 1 commit
- Upgrading command 'print_supp'. · 539f05c0
  Alan Mishchenko committed 11 years ago
  
  539f05c0 Browse File
21 Nov, 2013 1 commit
- Several changes to allow Liberty files without delay info. · 00efa680
  Alan Mishchenko committed 11 years ago
  
  00efa680 Browse File
17 Sep, 2013 1 commit
- Unifying standard cell library representations. · 7d3976a7
  Alan Mishchenko committed 11 years ago
  
  7d3976a7 Browse File
03 Sep, 2013 1 commit
- Adding switch 'ps -s' to skip counting buffers/inverters as nodes. · 30c2c48a
  Alan Mishchenko committed 11 years ago
  
  30c2c48a Browse File