| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | Bug fix in 'addbuffs'. | Alan Mishchenko | 2012-03-29 | 1 | -2/+2 |
| * | Logic sharing for multi-input gates (silencing a warning). | Alan Mishchenko | 2012-03-27 | 1 | -4/+0 |
| * | Enabling mapping into multi-input AND/OR gates. | Alan Mishchenko | 2012-03-27 | 3 | -9/+176 |
| * | Logic sharing for multi-input gates (bug fix). | Alan Mishchenko | 2012-03-26 | 1 | -1/+8 |
| * | Making demiter dump files in the current directory. | Alan Mishchenko | 2012-03-26 | 1 | -5/+13 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-26 | 1 | -5/+10 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 1 | -4/+4 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 3 | -116/+305 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 1 | -1/+0 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 5 | -458/+606 |
| * | Logic sharing for multi-input gates. | Alan Mishchenko | 2012-03-25 | 4 | -0/+456 |
| * | Improving printouts of gates and support. | Alan Mishchenko | 2012-03-24 | 2 | -10/+50 |
| * | Silencing a gcc warning. | Alan Mishchenko | 2012-03-23 | 1 | -1/+1 |
| * | Enabled demitering dual-output miters. | Alan Mishchenko | 2012-03-23 | 3 | -47/+29 |
| * | Added command 'addbuffs' to create balanced CI/CO paths. | Alan Mishchenko | 2012-03-23 | 2 | -0/+123 |
| * | Additional features for delay optimization | Alan Mishchenko | 2012-03-21 | 12 | -31/+488 |
| * | Switching to a variable-page-size memory manager for clauses and proofs. | Alan Mishchenko | 2012-03-21 | 1 | -57/+0 |
| * | Bug fix to prevent crashing when Abc_Print() is called while ABC is not initi... | Alan Mishchenko | 2012-03-20 | 1 | -2/+2 |
| * | Alternative way of computing delay in SOP balancing. | Alan Mishchenko | 2012-03-16 | 1 | -0/+2 |
| * | Exploration of ISO and minor changes. | Alan Mishchenko | 2012-03-13 | 1 | -0/+4 |
| * | Added command 'nodedup' to duplicate nodes with high fanout. | Alan Mishchenko | 2012-03-11 | 2 | -0/+125 |
| * | Renamed Aig_ObjPioNum to be Aig_ObjCioId. | Alan Mishchenko | 2012-03-09 | 1 | -2/+2 |
| * | Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... | Alan Mishchenko | 2012-03-09 | 3 | -21/+21 |
| * | Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci... | Alan Mishchenko | 2012-03-09 | 3 | -22/+22 |
| * | Adding switch '-n' to 'permute' to derive random topological ordering of inte... | Alan Mishchenko | 2012-03-06 | 2 | -4/+93 |
| * | Enabling user-specified required times in 'map'. | Alan Mishchenko | 2012-03-02 | 6 | -20/+175 |
| * | Redirecting printf messages. | Alan Mishchenko | 2012-03-02 | 2 | -182/+182 |
| * | Adding features related to the communication bridge. | Alan Mishchenko | 2012-03-02 | 6 | -5/+27 |
| * | Added skipping &iso when there is only one PO. | Alan Mishchenko | 2012-02-29 | 1 | -0/+5 |
| * | Added skipping &iso when there is only one PO. | Alan Mishchenko | 2012-02-29 | 1 | -0/+5 |
| * | Added switch -z to command 'removepo' to enable removing const1 outputs. | Alan Mishchenko | 2012-02-27 | 2 | -6/+11 |
| * | Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default (bug f... | Alan Mishchenko | 2012-02-25 | 1 | -1/+1 |
| * | Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default. | Alan Mishchenko | 2012-02-24 | 2 | -22/+32 |
| * | Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default. | Alan Mishchenko | 2012-02-24 | 1 | -1/+8 |
| * | Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default. | Alan Mishchenko | 2012-02-24 | 2 | -154/+206 |
| * | Added a way to disable support for dynamic linking. | Alan Mishchenko | 2012-02-24 | 1 | -0/+3 |
