Commits · 1a39fb39462d34e40e4ed9da4615d18a463471e0 · lvzhengyang / abc · GitLab

13 Jan, 2017 2 commits
- Adding print-out of critical path for mapped AIGs to &show. · 1a39fb39
  Alan Mishchenko committed 8 years ago
  
  1a39fb39 Browse Directory
- Updates to arithmetic verification. · f5240276
  Alan Mishchenko committed 8 years ago
  
  f5240276 Browse Directory
12 Jan, 2017 1 commit
- Updates to arithmetic verification. · d52dafa6
  Alan Mishchenko committed 8 years ago
  
  d52dafa6 Browse Directory
11 Jan, 2017 1 commit
- Changing file naming in 'show' and '&show'. · 8b8b410a
  Alan Mishchenko committed 8 years ago
  
  8b8b410a Browse Directory
10 Jan, 2017 1 commit
- Updates to arithmetic verification. · 5fbc0cd7
  Alan Mishchenko committed 8 years ago
  
  5fbc0cd7 Browse Directory
09 Jan, 2017 3 commits
- Updated to arithmetic verification. · fbdf28e4
  Alan Mishchenko committed 8 years ago
  
  fbdf28e4 Browse Directory
- Delay-oriented performance improvement in &dch (make it conditional). · ab6a87a4
  Alan Mishchenko committed 8 years ago
  
  ab6a87a4 Browse Directory
- Delay-oriented performance improvement in &dch. · 902377a4
  Alan Mishchenko committed 8 years ago
  
  902377a4 Browse Directory
07 Jan, 2017 1 commit
- Compiler warnings. · 460167ec
  Alan Mishchenko committed 8 years ago
  
  460167ec Browse Directory
06 Jan, 2017 1 commit
- Dealing wit COs driven by inverters in MiniLUT. · 5c9983d0
  Alan Mishchenko committed 8 years ago
  
  5c9983d0 Browse Directory
05 Jan, 2017 1 commit
- Adding two external APIs. · 58622ed0
  Alan Mishchenko committed 8 years ago
  
  58622ed0 Browse Directory
02 Jan, 2017 1 commit
- Updates to delay optimization project. · 9be69dca
  Alan Mishchenko committed 8 years ago
  
  9be69dca Browse Directory
31 Dec, 2016 1 commit
- Updates to delay optimization project. · 01924ca1
  Alan Mishchenko committed 8 years ago
  
  01924ca1 Browse Directory
22 Dec, 2016 2 commits
- Correcting API names for inputing/outputing MiniLut. · 7d0648e2
  Alan Mishchenko committed 8 years ago
  
  7d0648e2 Browse Directory
- Several changes in arithmetic circuit manipulation. · b56a5326
  Alan Mishchenko committed 8 years ago
  
  b56a5326 Browse Directory
13 Dec, 2016 1 commit
- Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. · 81af996f
  Alan Mishchenko committed 8 years ago
  
  81af996f Browse Directory
08 Dec, 2016 2 commits
- Improvements to GIA visualization. · cd92b1fe
  Alan Mishchenko committed 8 years ago
  
  cd92b1fe Browse Directory
- Improvements to GIA visualization. · 211db8bf
  Alan Mishchenko committed 8 years ago
  
  211db8bf Browse Directory
06 Dec, 2016 3 commits
- Adding support for minimalistic representation of LUT mapping. · 77ef6109
  Alan Mishchenko committed 8 years ago
  
  77ef6109 Browse Directory
- Compiler warnings. · 3169bd96
  Alan Mishchenko committed 8 years ago
  
  3169bd96 Browse Directory
- Adding support for minimalistic representation of LUT mapping. · 6a351c4d
  Alan Mishchenko committed 8 years ago
  
  6a351c4d Browse Directory
05 Dec, 2016 1 commit
- New SAT-based optimization package. · 8ba6071a
  Alan Mishchenko committed 8 years ago
  
  8ba6071a Browse Directory
21 Nov, 2016 1 commit
- Minor bug fixes. · b483c97f
  Alan Mishchenko committed 8 years ago
  
  b483c97f Browse Directory
22 Oct, 2016 1 commit
- Code for profiling arithmetic circuits. · f5069d66
  Alan Mishchenko committed 8 years ago
  
  f5069d66 Browse Directory
16 Oct, 2016 1 commit
- Improving robustness of &b. · d22cb3f4
  Alan Mishchenko committed 8 years ago
  
  d22cb3f4 Browse Directory
08 Oct, 2016 1 commit
- Adding switch &mfs -b to preserve white boxes during optimization. · 50e324ce
  Alan Mishchenko committed 8 years ago
  
  50e324ce Browse Directory
07 Oct, 2016 1 commit
- Long standing bug fix in &mfs. · 80327537
  Alan Mishchenko committed 8 years ago
  
  80327537 Browse Directory
17 Aug, 2016 1 commit
- Changes to report quantum cost in Exorcism. · 118eea84
  Alan Mishchenko committed 8 years ago
  
  118eea84 Browse Directory
10 Aug, 2016 1 commit
- Bug fix in 'edge -m'. · 21435aa6
  Alan Mishchenko committed 8 years ago
  
  21435aa6 Browse Directory
05 Aug, 2016 1 commit
- Updates to arithmetic verification. · 27929795
  Alan Mishchenko committed 8 years ago
  
  27929795 Browse Directory
29 Jul, 2016 1 commit
- Infrastructure for using the results of exact SAT-based synthesis during mapping. · fb33d69d
  Alan Mishchenko committed 8 years ago
  
  fb33d69d Browse Directory
28 Jul, 2016 1 commit
- Serious bug fix in 'scorr -F <num>' with <num> > 1. · 1bb91816
  Alan Mishchenko committed 8 years ago
  
  1bb91816 Browse Directory
21 Jul, 2016 1 commit
- Adding new command 'dump_equiv'. · bfe7333f
  Alan Mishchenko committed 8 years ago
  
  bfe7333f Browse Directory
20 Jul, 2016 2 commits
- Fix in reading initial state for edge-detection. · aa3d8a65
  Alan Mishchenko committed 8 years ago
  
  aa3d8a65 Browse Directory
- Extension in the detection code. · 2ba46d52
  Alan Mishchenko committed 8 years ago
  
  2ba46d52 Browse Directory
19 Jul, 2016 2 commits
- Fix in reading initial state for edge-detection. · 190dc376
  Alan Mishchenko committed 8 years ago
  
  190dc376 Browse Directory
- Tuning &blut implementation. · 0f59f00c
  Alan Mishchenko committed 8 years ago
  
  0f59f00c Browse Directory
16 Jul, 2016 3 commits
- Several corner-case bugs in %read, &cec, and st. · abdf3971
  Alan Mishchenko committed 8 years ago
  
  abdf3971 Browse Directory
- Fixes and adjustments for the edge computation flow. · 1343b8a8
  Alan Mishchenko committed 8 years ago
  
  1343b8a8 Browse Directory
- Small fixes and improvements in reporting node counts. · 3f8b5cd8
  Alan Mishchenko committed 8 years ago
  
  3f8b5cd8 Browse Directory