| Commit message (Expand) | Author | Age | Files | Lines |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 445 | -873/+873 |
* | 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 | 10 | -12/+14 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 44 | -58/+79 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 331 | -1091/+1277 |
* | 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 |
* | Bug fix in &gla_refine. | Alan Mishchenko | 2012-07-07 | 1 | -0/+3 |
* | Procedure to compute truth tables for POs of GIA. | Alan Mishchenko | 2012-07-07 | 4 | -2/+199 |
* | Diabling compact AIGER writing by default. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
* | 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 | 10 | -11/+35 |
* | Added warning for GIA reader when input AIG has dangling nodes. | Alan Mishchenko | 2012-07-07 | 1 | -10/+3 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -2/+2 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 6 | -22/+21 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
* | Fixing time printouts in 'pdr'. | Alan Mishchenko | 2012-07-07 | 2 | -13/+13 |
* | Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr... | Alan Mishchenko | 2012-07-06 | 4 | -75/+263 |
* | Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba. | Alan Mishchenko | 2012-07-06 | 1 | -10/+10 |
* | Setting infinite default conflict limits in 'bmc', 'int', 'pdr'. | Alan Mishchenko | 2012-07-06 | 3 | -8/+8 |
* | 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 | 2 | -6/+6 |
* | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-05 | 5 | -188/+257 |
* | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-04 | 4 | -82/+193 |
* | Various changes to enable sensitization-based refinement in &gla. | Alan Mishchenko | 2012-07-04 | 11 | -356/+191 |
* | Added static fanout to GIA package. | Alan Mishchenko | 2012-07-04 | 3 | -0/+143 |
* | Performance improvement in &gla. | Alan Mishchenko | 2012-07-04 | 5 | -7/+274 |
* | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 1 | -2/+2 |
* | Performance improvement in &gla_refine. | Alan Mishchenko | 2012-07-03 | 5 | -238/+391 |
* | 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 | 2 | -73/+201 |
* | 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 | 5 | -179/+229 |
* | Bug fix in &vta. | Alan Mishchenko | 2012-06-29 | 3 | -45/+69 |
* | 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 in &gla_refine. | Alan Mishchenko | 2012-06-29 | 1 | -8/+4 |
* | 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 |
* | Improving printouts in &vta and &gla. | Alan Mishchenko | 2012-06-28 | 2 | -9/+14 |