Commits · 84b54597b40256ba46bd3ead4015bdb493fdd5d3 · lvzhengyang / abc · GitLab

06 Oct, 2012 4 commits
- New AIG optimization package. · 3d23bc8c
  Alan Mishchenko committed 12 years ago
  
  3d23bc8c Browse File
- New AIG optimization package. · ad8a3f51
  Alan Mishchenko committed 12 years ago
  
  ad8a3f51 Browse File
- Allow for binary input file in 'testdec' and 'testnpn'. · 6de48109
  Alan Mishchenko committed 12 years ago
  
  6de48109 Browse File
- Allow for binary input file in 'testdec' and 'testnpn'. · b852db94
  Alan Mishchenko committed 12 years ago
  
  b852db94 Browse File
03 Oct, 2012 2 commits
- Structural reparametrization. · 49267fd3
  Alan Mishchenko committed 12 years ago
  
  49267fd3 Browse File
- Combined old reparametrization command with the new one. · aeb7f7ea
  Alan Mishchenko committed 12 years ago
  
  aeb7f7ea Browse File
02 Oct, 2012 1 commit
- Structural reparametrization. · 4aa33e7d
  Alan Mishchenko committed 12 years ago
  
  4aa33e7d Browse File
01 Oct, 2012 1 commit
- Structural reparametrization. · a595fa85
  Alan Mishchenko committed 12 years ago
  
  a595fa85 Browse File
25 Sep, 2012 1 commit
- Improvements to the NPN semi-canonical form computation package. · 0a9236ad
  Alan Mishchenko committed 12 years ago
  
  0a9236ad Browse File
24 Sep, 2012 1 commit
- Testing GIA with time manager. · 40d9b585
  Alan Mishchenko committed 12 years ago
  
  40d9b585 Browse File
23 Sep, 2012 1 commit
- Modified structural constraint extraction (unfold -s) to work for multi-output testcases. · f7caf84f
  Alan Mishchenko committed 12 years ago
  
  f7caf84f Browse File
21 Sep, 2012 1 commit
- Added simplification before the concurrent call to PDR. · b5306c15
  Alan Mishchenko committed 12 years ago
  
  b5306c15 Browse File
18 Sep, 2012 1 commit
- Fixing mismatch between declaration of the output value of Extra_CpuTime. · 508b6f1b
  Alan Mishchenko committed 12 years ago
  
  508b6f1b Browse File
17 Sep, 2012 1 commit
- Added delay multipliers to 'map'. · 6d05fde2
  Alan Mishchenko committed 12 years ago
  
  6d05fde2 Browse File
16 Sep, 2012 4 commits
- Changed a few things in the refinement package of &gla. · ee436f93
  Alan Mishchenko committed 12 years ago
  
  ee436f93 Browse File
- Restructured the code to post-process object used during refinement in &gla. · 5953beb2
  Alan Mishchenko committed 12 years ago
  
  5953beb2 Browse File
- Cleaned 'abc.c' by removing useless procedures. · fdf5ad34
  Alan Mishchenko committed 12 years ago
  
  fdf5ad34 Browse File
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
15 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 117bc0db
  Alan Mishchenko committed 12 years ago
  
  117bc0db Browse File
14 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 19c28cae
  Alan Mishchenko committed 12 years ago
  
  19c28cae Browse File
09 Sep, 2012 2 commits
- Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (for experiments). · 56117d56
  Alan Mishchenko committed 12 years ago
  
  56117d56 Browse File
- Started CEX minimization procedure. · 4333fd24
  Alan Mishchenko committed 12 years ago
  
  4333fd24 Browse File
08 Sep, 2012 2 commits
- Updating &gla_refine to perform suffic refinement. · 5ca4f3cf
  Alan Mishchenko committed 12 years ago
  
  5ca4f3cf Browse File
- Updating &gla_refine to perform suffic refinement. · 548e0419
  Alan Mishchenko committed 12 years ago
  
  548e0419 Browse File
06 Sep, 2012 3 commits
- Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. · 9c8be56c
  Alan Mishchenko committed 12 years ago
  
  9c8be56c Browse File
- Added switch 'dch -r' to skip choices with structural support redundancy. · cd2bd708
  Alan Mishchenko committed 12 years ago
  
  cd2bd708 Browse File
- Added error message when the user is trying 'dsat' for multi-output comb miters. · c1f4545e
  Alan Mishchenko committed 12 years ago
  
  c1f4545e Browse File
05 Sep, 2012 1 commit
- Added new command &gla_shrink. · f6b67d78
  Alan Mishchenko committed 12 years ago
  
  f6b67d78 Browse File
03 Sep, 2012 1 commit
- Added switch &srm -A <file> for dumping SRM into a user-specified file. · 9621ae94
  Alan Mishchenko committed 12 years ago
  
  9621ae94 Browse File
29 Aug, 2012 3 commits
- Added an API to convert a multi-output PLA into a shared AIG. · 6814c48b
  Alan Mishchenko committed 12 years ago
  
  6814c48b Browse File
- Ensured that SC mapped network is always in a topo order. · 5ff49be9
  Alan Mishchenko committed 12 years ago
  
  5ff49be9 Browse File
- Added buffering based on combinational merging. · 9b02fe59
  Alan Mishchenko committed 12 years ago
  
  9b02fe59 Browse File
27 Aug, 2012 1 commit
- Added features 'map -M <float>' to control the use of large gates. · da683846
  Alan Mishchenko committed 12 years ago
  
  da683846 Browse File
26 Aug, 2012 1 commit
- Added switch '&gla -m' to dump original miter with the abstraction map. · 137f0347
  Alan Mishchenko committed 12 years ago
  
  137f0347 Browse File
25 Aug, 2012 1 commit
- Several improvements to command 'testnpn'. · 49c57999
  Alan Mishchenko committed 12 years ago
  
  49c57999 Browse File
24 Aug, 2012 3 commits
- Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim'… · 4a9152d0
```
Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).
```
  Alan Mishchenko committed 12 years ago
  4a9152d0 Browse File
- Added simulation of comb circuits with user-specified patterns in command 'sim'. · 94260041
  Alan Mishchenko committed 12 years ago
  
  94260041 Browse File
- Added new algorithm for NPN semi-canonical form computation. · 12c776ed
  Alan Mishchenko committed 12 years ago
  
  12c776ed Browse File
08 Aug, 2012 1 commit
- New command 'testnpn' to compare semi-canonical forms. · 41fa9a10
  Alan Mishchenko committed 12 years ago
  
  41fa9a10 Browse File
06 Aug, 2012 1 commit
- Changing the default value '&gla -n' to the opposite. · 6a9eaec3
  Alan Mishchenko committed 12 years ago
  
  6a9eaec3 Browse File