Commits · a2d97cf2b66c040fa6c1b31763e7bebe717c7098 · lvzhengyang / abc · GitLab

17 Sep, 2013 7 commits
- Debugging and finetuning the flow. · a2d97cf2
  Alan Mishchenko committed Sep 17, 2013
  
  a2d97cf2 Browse Files
- Adding commands to set and print timing constraints. · 73a997a8
  Alan Mishchenko committed Sep 17, 2013
  
  73a997a8 Browse Files
- Compiler warning about unused variable. · ca39b892
  Alan Mishchenko committed Sep 17, 2013
  
  ca39b892 Browse Files
- Unifying standard cell library representations. · 7d3976a7
  Alan Mishchenko committed Sep 17, 2013
  
  7d3976a7 Browse Files
- Changing dynamic CNF loading code to perform loading before propagate() as… · 5df166fc
```
Changing dynamic CNF loading code to perform loading before propagate() as opposed to when the literal first implied in enqueue().
```
  Alan Mishchenko committed Sep 16, 2013
  5df166fc Browse Files
- Adding switch to enable reuse of proof-obligations in the last timeframe. · 105648bf
  Alan Mishchenko committed Sep 16, 2013
  
  105648bf Browse Files
- Adding new switch to &if to relax the delay. · 2ba12a76
  Alan Mishchenko committed Sep 16, 2013
  
  2ba12a76 Browse Files
16 Sep, 2013 8 commits
- Added bridge integration for multi-output 'pdr -a'. · e446cfca
  Alan Mishchenko committed Sep 16, 2013
  
  e446cfca Browse Files
- Added bridge integration for multi-output 'pdr -a'. · 653dc8cf
  Alan Mishchenko committed Sep 16, 2013
  
  653dc8cf Browse Files
- Added bridge integration for multi-output 'pdr -a'. · 3b1cf097
  Alan Mishchenko committed Sep 16, 2013
  
  3b1cf097 Browse Files
- Bug fix in PDR. · e87f0dd6
  Alan Mishchenko committed Sep 16, 2013
  
  e87f0dd6 Browse Files
- Bug fix in XOR balancing. · 5d2dc041
  Alan Mishchenko committed Sep 15, 2013
  
  5d2dc041 Browse Files
- Infrastructure to support full Liberty format and unitification of library representations. · 549fd2ed
  Alan Mishchenko committed Sep 15, 2013
  
  549fd2ed Browse Files
- Infrastructure to support full Liberty format and unitification of library representations. · 931e5882
  Alan Mishchenko committed Sep 15, 2013
  
  931e5882 Browse Files
- Infrastructure to support full Liberty format and unitification of library representations. · ff5d3591
  Alan Mishchenko committed Sep 15, 2013
  
  ff5d3591 Browse Files
15 Sep, 2013 1 commit
- Fixing return value of 'pdr -a'. · d1fed2dd
  Alan Mishchenko committed Sep 15, 2013
  
  d1fed2dd Browse Files
14 Sep, 2013 4 commits
- Handling the case when all outputs are undecided in 'pdr -a' with per-output timeout. · ab5c1692
  Alan Mishchenko committed Sep 14, 2013
  
  ab5c1692 Browse Files
- Fixing several bugs, which led to unsound results produced by 'pdr -a' with per-output timeout. · 60fae35d
  Alan Mishchenko committed Sep 13, 2013
  
  60fae35d Browse Files
- Enabling additional printouts in 'pdr'. · a4087e45
  Alan Mishchenko committed Sep 13, 2013
  
  a4087e45 Browse Files
- Added command &struct for profiling non-dec structures. · 27be3d01
  Alan Mishchenko committed Sep 13, 2013
  
  27be3d01 Browse Files
13 Sep, 2013 6 commits
- Fix a bug in 'zeropo'. · dfb43b2f
  Alan Mishchenko committed Sep 13, 2013
  
  dfb43b2f Browse Files
- Removing duplicated typedef line. · 5b6b7c5b
  Alan Mishchenko committed Sep 13, 2013
  
  5b6b7c5b Browse Files
- Improvements to the new technology mapper. · bee10744
  Alan Mishchenko committed Sep 12, 2013
  
  bee10744 Browse Files
- Improvements to the new technology mapper. · 7312ff3c
  Alan Mishchenko committed Sep 12, 2013
  
  7312ff3c Browse Files
- Improvements to the new technology mapper. · 75fee107
  Alan Mishchenko committed Sep 12, 2013
  
  75fee107 Browse Files
- Improvements to the new technology mapper. · 14606c47
  Alan Mishchenko committed Sep 12, 2013
  
  14606c47 Browse Files
12 Sep, 2013 5 commits
- Improvements to the new technology mapper. · 0a346a36
  Alan Mishchenko committed Sep 12, 2013
  
  0a346a36 Browse Files
- Improvements to the new technology mapper. · 9b02a26a
  Alan Mishchenko committed Sep 12, 2013
  
  9b02a26a Browse Files
- Improvements to the new technology mapper. · 68df9f0f
  Alan Mishchenko committed Sep 12, 2013
  
  68df9f0f Browse Files
- Improvements to the new technology mapper. · 61abba95
  Alan Mishchenko committed Sep 11, 2013
  
  61abba95 Browse Files
- Improvements to the new technology mapper. · 211ac730
  Alan Mishchenko committed Sep 11, 2013
  
  211ac730 Browse Files
11 Sep, 2013 7 commits
- Improvements to the new technology mapper. · 5d6f05a9
  Alan Mishchenko committed Sep 11, 2013
  
  5d6f05a9 Browse Files
- Command '&slice' to cut out the bottom part of the AIG. · b1b0202c
  Alan Mishchenko committed Sep 11, 2013
  
  b1b0202c Browse Files
- Corrected variable naming in clause2_proofid(). · deb7b6ac
  Alan Mishchenko committed Sep 11, 2013
  
  deb7b6ac Browse Files
- Small performance bug in new 'fx'. · 66b1d4de
  Alan Mishchenko committed Sep 11, 2013
  
  66b1d4de Browse Files
- Updates for the new BMC engine. · 299099a4
  Alan Mishchenko committed Sep 10, 2013
  
  299099a4 Browse Files
- Updates for the new BMC engine. · 26c0e937
  Alan Mishchenko committed Sep 10, 2013
  
  26c0e937 Browse Files
- Updates for the new BMC engine. · 0e256dc2
  Alan Mishchenko committed Sep 10, 2013
  
  0e256dc2 Browse Files
10 Sep, 2013 2 commits
- New API to return the set of all reachable states as an AIG. · 8430b6da
  Alan Mishchenko committed Sep 10, 2013
  
  8430b6da Browse Files
- Added sorting equiv classes by the index of their representatives. · 9d01c98e
  Alan Mishchenko committed Sep 10, 2013
  
  9d01c98e Browse Files