| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 3 | -5/+6 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 9 | -10/+12 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 43 | -144/+175 |
| * | Procedure to compute truth tables for POs of GIA. | Alan Mishchenko | 2012-07-07 | 1 | -2/+1 |
| * | Diabling compact AIGER writing by default. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
| * | Making 'pdr', &gla, &vta print correctly in batch mode. | Alan Mishchenko | 2012-07-07 | 3 | -2/+5 |
| * | Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr... | Alan Mishchenko | 2012-07-06 | 1 | -0/+106 |
| * | 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 | 1 | -4/+4 |
| * | 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 | 1 | -29/+91 |
| * | Other improvements to &vta and &gla. | Alan Mishchenko | 2012-07-04 | 1 | -5/+13 |
| * | Reducing memory usage in bmc2 and bmc3. | Alan Mishchenko | 2012-07-01 | 1 | -7/+19 |
| * | Bug fix in &vta. | Alan Mishchenko | 2012-06-29 | 1 | -2/+2 |
| * | Gate level abstraction (command &gla). | Alan Mishchenko | 2012-06-28 | 1 | -0/+1 |
| * | Gate level abstraction (command &gla). | Alan Mishchenko | 2012-06-28 | 1 | -10/+187 |
| * | Added min-cut-based refinement of gate-level abstraction (command &gla_refine). | Alan Mishchenko | 2012-06-24 | 1 | -0/+65 |
| * | Switch -A <file_name> to specify file name for dumping abstrated model with &... | Alan Mishchenko | 2012-06-21 | 1 | -15/+27 |
| * | Added warning when a command is missing | Alan Mishchenko | 2012-06-15 | 1 | -0/+2 |
| * | Changing 'if' to allow for delay optimization on sequential paths only. | Alan Mishchenko | 2012-05-20 | 3 | -4/+7 |
| * | Prevent network from being unmapped after equivalence checking. | Alan Mishchenko | 2012-05-15 | 1 | -2/+4 |
| * | Better resolution of CO drivers. Should impact the QoR after 'if'. | Alan Mishchenko | 2012-05-15 | 4 | -36/+211 |
| * | Added generation of multipliers in 'gen'. | Alan Mishchenko | 2012-05-15 | 2 | -105/+160 |
| * | Preventing 'show' from unmapping the network. | Alan Mishchenko | 2012-05-14 | 1 | -7/+12 |
| * | Included copyright statement into 'main.c'. | Alan Mishchenko | 2012-05-11 | 1 | -0/+27 |
| * | Changing the rules of assigning the names when AIG is converted into a logic ... | Alan Mishchenko | 2012-05-11 | 1 | -4/+9 |
| * | Making sure cec -n and dsec -n do not remove the I/O names in the current net... | Alan Mishchenko | 2012-05-08 | 1 | -0/+30 |
| * | Bug fix in fraig_restore. | Alan Mishchenko | 2012-05-06 | 1 | -3/+6 |
| * | Misc changes. | Alan Mishchenko | 2012-05-01 | 1 | -2/+2 |
| * | Compilation problem caused by multiple declarations. | Alan Mishchenko | 2012-04-28 | 1 | -0/+1 |
| * | Added supporting dual-output seq miters in &trim. | Alan Mishchenko | 2012-04-28 | 1 | -3/+8 |
| * | Added supporting dual-output seq miters in &iso. | Alan Mishchenko | 2012-04-28 | 1 | -4/+8 |
| * | Misc changes. | Alan Mishchenko | 2012-04-27 | 2 | -38/+44 |
| * | Set the failed output index if ORing of outputs was done in 'int'. | Alan Mishchenko | 2012-04-27 | 1 | -1/+7 |
| * | Updating the counter of finished frames when dumping intermediate abstraction... | Alan Mishchenko | 2012-04-27 | 2 | -4/+6 |
| * | Adding iterative refinement to 'addbuffs'. | Alan Mishchenko | 2012-04-14 | 1 | -0/+43 |
| * | Adding iterative refinement to 'addbuffs'. | Alan Mishchenko | 2012-04-13 | 2 | -10/+37 |
| * | Updated used message for 'back_reach'. | Alan Mishchenko | 2012-04-13 | 1 | -1/+1 |
| * | Adding iterative refinement to 'addbuffs'. | Alan Mishchenko | 2012-04-11 | 1 | -34/+2 |
| * | Adding iterative refinement to 'addbuffs'. | Alan Mishchenko | 2012-04-11 | 2 | -7/+161 |
| * | Adding reverse order to 'addbuffs'. | Alan Mishchenko | 2012-04-11 | 2 | -5/+26 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-09 | 1 | -1/+2 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-09 | 1 | -6/+3 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-09 | 2 | -5/+5 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-09 | 1 | -2/+4 |
| * | Added dumping abstracted model in &vta. | Alan Mishchenko | 2012-04-07 | 1 | -2/+6 |
| * | Better interface with the new code. | Alan Mishchenko | 2012-04-06 | 1 | -2/+7 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-06 | 1 | -3/+6 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-06 | 1 | -5/+5 |
| * | Improving printouts of critical path. | Alan Mishchenko | 2012-04-06 | 3 | -22/+56 |
