Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with permutations. | Alan Mishchenko | 2014-04-24 | 1 | -49/+92 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-24 | 1 | -1/+80 |
| | |||||
* | Performance improvement to 'amap'. | Alan Mishchenko | 2014-04-23 | 2 | -18/+107 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -12/+5 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -6/+17 |
| | |||||
* | Added command 'cubeenum'. | Alan Mishchenko | 2014-04-23 | 1 | -0/+53 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 2 | -0/+36 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -3/+3 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -22/+10 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -15/+13 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 1 | -3/+3 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-23 | 2 | -54/+115 |
| | |||||
* | Bug fix in if -g when choices are used. | Alan Mishchenko | 2014-04-22 | 2 | -2/+2 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-21 | 3 | -0/+146 |
| | |||||
* | Experiments with permutations. | Alan Mishchenko | 2014-04-20 | 2 | -0/+868 |
| | |||||
* | Adding color to sizing stats. | Alan Mishchenko | 2014-04-19 | 3 | -5/+22 |
| | |||||
* | Adding color to sizing stats. | Alan Mishchenko | 2014-04-19 | 1 | -0/+26 |
| | |||||
* | Added optimization for average rather than maximum delay. | Alan Mishchenko | 2014-04-19 | 5 | -274/+263 |
| | |||||
* | Added structural hashing by default after if -g and &if -g. | Alan Mishchenko | 2014-04-19 | 2 | -4/+10 |
| | |||||
* | Adding color to mapping stats. | Alan Mishchenko | 2014-04-19 | 2 | -3/+20 |
| | |||||
* | Adding color to mapping stats. | Alan Mishchenko | 2014-04-19 | 1 | -3/+27 |
| | |||||
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-04-19 | 3 | -3/+21 |
| | |||||
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-04-19 | 9 | -38/+174 |
| | |||||
* | Fix SOP balancing. | Alan Mishchenko | 2014-04-19 | 1 | -1/+1 |
| | |||||
* | Adding print-out of average level. | Alan Mishchenko | 2014-04-19 | 3 | -3/+19 |
| | |||||
* | Preserving outputs names in the &-space. | Alan Mishchenko | 2014-04-18 | 1 | -0/+12 |
| | |||||
* | Improvements in technology mapping. | Alan Mishchenko | 2014-04-17 | 3 | -20/+19 |
| | |||||
* | Changes in the LUT mapper data-structures. | Alan Mishchenko | 2014-04-14 | 9 | -78/+33 |
| | |||||
* | New feature to optimize delay during mapping. | Alan Mishchenko | 2014-04-13 | 2 | -10/+45 |
| | |||||
* | New feature to optimize delay during mapping. | Alan Mishchenko | 2014-04-11 | 3 | -12/+9 |
| | |||||
* | New feature to optimize delay during mapping. | Alan Mishchenko | 2014-04-11 | 3 | -6/+9 |
| | |||||
* | Improvements to DSD in technology mapping. | Alan Mishchenko | 2014-04-11 | 5 | -24/+15 |
| | |||||
* | New feature to optimize delay during mapping. | Alan Mishchenko | 2014-04-11 | 8 | -15/+124 |
| | |||||
* | Correcting internal check. | Alan Mishchenko | 2014-04-11 | 3 | -31/+41 |
| | |||||
* | Removed obsolete code for sequential mapping. | Alan Mishchenko | 2014-04-11 | 11 | -77/+16 |
| | |||||
* | Improvements to DSD in technology mapping. | Alan Mishchenko | 2014-04-11 | 6 | -26/+26 |
| | |||||
* | Improving K-map printout. | Alan Mishchenko | 2014-04-10 | 1 | -0/+30 |
| | |||||
* | Command to test console colors. | Alan Mishchenko | 2014-04-10 | 1 | -6/+5 |
| | |||||
* | Command to test console colors. | Alan Mishchenko | 2014-04-10 | 1 | -4/+4 |
| | |||||
* | Command to test console colors. | Alan Mishchenko | 2014-04-10 | 1 | -0/+2 |
| | |||||
* | Command to test console colors. | Alan Mishchenko | 2014-04-10 | 3 | -0/+144 |
| | |||||
* | Pass file name correctly. | Alan Mishchenko | 2014-04-10 | 1 | -3/+4 |
| | |||||
* | Adding new code to support barrier buffers. | Alan Mishchenko | 2014-04-09 | 3 | -3/+133 |
| | |||||
* | Updating cost function to be the number of edges in ps -b. | Alan Mishchenko | 2014-04-09 | 1 | -1/+4 |
| | |||||
* | Cleanup and bug fixing in hierarchy handling. | Alan Mishchenko | 2014-04-09 | 8 | -17/+57 |
| | |||||
* | Renamed Abc_Lib_t into Abc_Des_t and removed some dead code. | Alan Mishchenko | 2014-04-09 | 11 | -452/+105 |
| | |||||
* | Adding switch to control area/delay quality tradeoff in 'amap'. | Alan Mishchenko | 2014-04-08 | 1 | -1/+1 |
| | |||||
* | Adding switch to control area/delay quality tradeoff in 'amap'. | Alan Mishchenko | 2014-04-08 | 3 | -7/+92 |
| | |||||
* | Adding command to dump UNSAT core of BMC instance. | Alan Mishchenko | 2014-04-07 | 1 | -0/+1 |
| | |||||
* | Adding command to dump UNSAT core of BMC instance. | Alan Mishchenko | 2014-04-07 | 1 | -2/+2 |
| |