Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed a typo in variable names. | Alan Mishchenko | 2015-02-07 | 1 | -2/+2 |
* | New assertions and bug fix in DSD balancing. | Alan Mishchenko | 2015-01-27 | 2 | -8/+11 |
* | Exprimental features in tech-mapping. | Alan Mishchenko | 2014-12-21 | 1 | -2/+3 |
* | Bug fix in reading box library. | Alan Mishchenko | 2014-12-20 | 1 | -1/+1 |
* | Adding new mapping feature. | Alan Mishchenko | 2014-12-11 | 4 | -18/+56 |
* | Bug fix in truth table computation. | Alan Mishchenko | 2014-10-15 | 1 | -11/+9 |
* | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-11 | 1 | -1/+0 |
* | Deriving network in terms of programmable cells. | Alan Mishchenko | 2014-10-11 | 1 | -1/+2 |
* | Small changes. | Alan Mishchenko | 2014-10-08 | 1 | -0/+2 |
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 2 | -1/+3 |
* | Detection of threshold functions. | Alan Mishchenko | 2014-10-08 | 2 | -0/+74 |
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 1 | -2/+9 |
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 3 | -15/+126 |
* | Deriving AIG after cell mapping. | Alan Mishchenko | 2014-10-03 | 2 | -0/+11 |
* | Synchronizing packages. | Alan Mishchenko | 2014-09-20 | 1 | -0/+2 |
* | Synchronizing packages. | Alan Mishchenko | 2014-09-20 | 2 | -3/+3 |
* | Synchronizing packages. | Alan Mishchenko | 2014-09-20 | 1 | -0/+2 |
* | Updating command 'dsd_clean'. | Alan Mishchenko | 2014-09-20 | 3 | -3/+16 |
* | Updating DSD balance to handle XOR gate as having the same delay as AND gate. | Alan Mishchenko | 2014-09-19 | 4 | -10/+11 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-19 | 2 | -33/+98 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-19 | 6 | -66/+474 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-18 | 2 | -6/+22 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-18 | 4 | -5/+29 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-18 | 1 | -14/+29 |
* | Improving DSD manager. | Alan Mishchenko | 2014-09-18 | 2 | -0/+69 |
* | Concurrency for Boolean matching. | Alan Mishchenko | 2014-09-18 | 4 | -47/+263 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-17 | 3 | -60/+191 |
* | New choice computation. | Alan Mishchenko | 2014-09-16 | 1 | -9/+9 |
* | Improvements to Boolean matching. | Alan Mishchenko | 2014-09-16 | 1 | -201/+554 |
* | Improvements to the timing manager. | Alan Mishchenko | 2014-08-25 | 1 | -2/+2 |
* | Correcting incorrect handling of timing in several &-commands. | Alan Mishchenko | 2014-08-25 | 1 | -1/+1 |
* | Adding specialized matching to 'if'. | Alan Mishchenko | 2014-08-16 | 1 | -1/+1 |
* | Adding specialized matching to 'if'. | Alan Mishchenko | 2014-08-16 | 4 | -0/+130 |
* | Profiling code for SOP/DSD/LMS balancing. | Alan Mishchenko | 2014-08-04 | 1 | -0/+69 |
* | Compiler warnings. | Alan Mishchenko | 2014-08-04 | 2 | -1/+2 |
* | Profiling code for SOP/DSD/LMS balancing. | Alan Mishchenko | 2014-08-02 | 2 | -0/+50 |
* | Fixing option 'if -G <num>' after changes. | Alan Mishchenko | 2014-07-25 | 3 | -10/+10 |
* | Undoing previous change to SOP balancing. | Alan Mishchenko | 2014-07-22 | 1 | -6/+6 |
* | Small improvement to SOP balancing. | Alan Mishchenko | 2014-07-22 | 1 | -4/+16 |
* | Adding new command &sopb for resource-aware SOP balancing. | Alan Mishchenko | 2014-07-21 | 2 | -0/+34 |
* | Specializing some truth-table functions to 6 inputs. | Alan Mishchenko | 2014-06-14 | 1 | -2/+2 |
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 2 | -5/+10 |
* | Correcting switching activity computation. | Alan Mishchenko | 2014-06-05 | 1 | -0/+1 |
* | Added optimization for average rather than maximum delay. | Alan Mishchenko | 2014-04-29 | 1 | -4/+20 |
* | Added optimization for average rather than maximum delay. | Alan Mishchenko | 2014-04-19 | 3 | -245/+254 |
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-04-19 | 2 | -2/+2 |
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-04-19 | 5 | -29/+147 |
* | Fix SOP balancing. | Alan Mishchenko | 2014-04-19 | 1 | -1/+1 |
* | Improvements in technology mapping. | Alan Mishchenko | 2014-04-17 | 3 | -20/+19 |
* | Changes in the LUT mapper data-structures. | Alan Mishchenko | 2014-04-14 | 7 | -59/+16 |