Commits · cfebcae1259295092e1083647f708993d129aef2 · lvzhengyang / abc · GitLab

21 Sep, 2013 2 commits
- Adding resource limit to stop &gla when the number of remaining objects is less… · cfebcae1
```
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
```
  Alan Mishchenko committed Sep 21, 2013
  cfebcae1 Browse Files
- Adding resource limit to stop &gla when the number of remaining objects is less… · 247dd95d
```
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
```
  Alan Mishchenko committed Sep 21, 2013
  247dd95d Browse Files
19 Sep, 2013 1 commit
- Buf fix in Liberty parser. · d32e5140
  Alan Mishchenko committed Sep 19, 2013
  
  d32e5140 Browse Files
18 Sep, 2013 4 commits
- Added bridge integration for multi-output 'bmc3 -a'. · 080a7420
  Alan Mishchenko committed Sep 17, 2013
  
  080a7420 Browse Files
- Added bridge integration for multi-output 'bmc3 -a'. · d4bd7846
  Alan Mishchenko committed Sep 17, 2013
  
  d4bd7846 Browse Files
- Integrating input driving cell constraint into buffering/sizing. · 3d8dc121
  Alan Mishchenko committed Sep 17, 2013
  
  3d8dc121 Browse Files
- Debugging and finetuning the flow. · efa6b54b
  Alan Mishchenko committed Sep 17, 2013
  
  efa6b54b Browse Files
17 Sep, 2013 8 commits
- Debugging and finetuning the flow. · c62f380e
  Alan Mishchenko committed Sep 17, 2013
  
  c62f380e Browse Files
- 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 1 commit
- Improvements to the new technology mapper. · 5d6f05a9
  Alan Mishchenko committed Sep 11, 2013
  
  5d6f05a9 Browse Files