| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Replacing printf() by Abc_Print(). | Alan Mishchenko | 2012-07-10 | 2 | -41/+41 |
| * | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 2 | -9/+27 |
| * | Improving print-outs of &vta and &gla. | Alan Mishchenko | 2012-07-10 | 2 | -8/+59 |
| * | Replacing Mb/Gb to be MB/GB. | Alan Mishchenko | 2012-07-09 | 22 | -38/+38 |
| * | Performance bug fix in &gla. | Alan Mishchenko | 2012-07-09 | 1 | -1/+3 |
| * | Adding several command-line arguments to 'dsat'. | Alan Mishchenko | 2012-07-09 | 2 | -3/+3 |
| * | Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat... | Alan Mishchenko | 2012-07-09 | 1 | -11/+11 |
| * | Added command &gla_purify. | Alan Mishchenko | 2012-07-08 | 5 | -181/+251 |
| * | Updating truth table computation for GIA to work for internal nodes as well. | Alan Mishchenko | 2012-07-08 | 2 | -16/+20 |
| * | Updating memory print-out of &vta and &gla. | Alan Mishchenko | 2012-07-08 | 2 | -5/+5 |
| * | Adding flushing stdout after printing verbose stats. | Alan Mishchenko | 2012-07-07 | 2 | -0/+3 |
| * | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 70 | -133/+133 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 2 | -2/+4 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 2 | -2/+3 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 9 | -9/+12 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 78 | -253/+280 |
| * | Changing the default value of &vta -t to reduce proof memory usage. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| * | Fixing time primtouts in &vta and &gla. | Alan Mishchenko | 2012-07-07 | 2 | -19/+22 |
| * | Adding memory report to print-outs produced by &vta and &gla. | Alan Mishchenko | 2012-07-07 | 2 | -0/+3 |
| * | Procedure to compute truth tables for POs of GIA. | Alan Mishchenko | 2012-07-07 | 3 | -0/+198 |
| * | Fixed &gla to work in the bridge mode. | Alan Mishchenko | 2012-07-07 | 2 | -29/+76 |
| * | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 3 | -2/+8 |
| * | Added warning for GIA reader when input AIG has dangling nodes. | Alan Mishchenko | 2012-07-07 | 1 | -10/+3 |
| * | Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr... | Alan Mishchenko | 2012-07-06 | 3 | -75/+157 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 2 | -15/+21 |
| * | Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit). | Alan Mishchenko | 2012-07-05 | 1 | -3/+3 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 4 | -159/+166 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-04 | 3 | -77/+180 |
| * | Various changes to enable sensitization-based refinement in &gla. | Alan Mishchenko | 2012-07-04 | 3 | -338/+173 |
| * | Added static fanout to GIA package. | Alan Mishchenko | 2012-07-04 | 3 | -0/+143 |
| * | Performance improvement in &gla. | Alan Mishchenko | 2012-07-04 | 2 | -7/+271 |
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 |
| * | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 4 | -237/+390 |
| * | Bug fix in Gia_ObjPrint() | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-01 | 3 | -80/+738 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -3/+4 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -4/+4 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -13/+1 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -73/+116 |
| * | Other improvements to bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 2 | -23/+45 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -2/+1 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -1/+1 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 2 | -1/+2 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -1/+2 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 4 | -172/+210 |
| * | Bug fix in &vta. | Alan Mishchenko | 2012-06-29 | 2 | -43/+67 |
| * | Bug fix in &gla. | Alan Mishchenko | 2012-06-29 | 1 | -0/+10 |
| * | Bug fix in &gla. | Alan Mishchenko | 2012-06-29 | 1 | -1/+1 |
| * | Bug fix when &vta returns empty absraction. | Alan Mishchenko | 2012-06-29 | 2 | -16/+22 |
| * | Bug fix in &gla -d. | Alan Mishchenko | 2012-06-29 | 2 | -14/+22 |
