Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -1/+1 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -1/+1 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -9/+10 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -2/+5 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -5/+6 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -1/+1 |
* | Improvements to technology mapping. | Alan Mishchenko | 2014-04-03 | 1 | -50/+22 |
* | Improving cut computation. | Alan Mishchenko | 2014-03-30 | 1 | -1/+1 |
* | Improving cut computation. | Alan Mishchenko | 2014-03-30 | 1 | -52/+17 |
* | Updating &if for new cut function representation. | Alan Mishchenko | 2014-03-29 | 1 | -1/+5 |
* | Experiments with cut caching. | Alan Mishchenko | 2014-03-20 | 1 | -0/+2 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-03-09 | 1 | -1/+1 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-03-04 | 1 | -1/+0 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-28 | 1 | -25/+32 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-28 | 1 | -0/+33 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-27 | 1 | -7/+19 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-25 | 1 | -2/+20 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-25 | 1 | -1/+1 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-17 | 1 | -32/+1 |
* | Changes to LUT mappers. | Alan Mishchenko | 2014-02-17 | 1 | -24/+24 |
* | Removing unused LMS code. | Alan Mishchenko | 2014-02-16 | 1 | -18/+3 |
* | Significant improvement to LUT mappers (if, &if). | Alan Mishchenko | 2014-02-16 | 1 | -41/+34 |
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -0/+6 |
* | Removing some old useless code. | Alan Mishchenko | 2013-09-02 | 1 | -39/+0 |
* | Buf fixes and minor changes to the &if mapper. | Alan Mishchenko | 2013-08-29 | 1 | -4/+4 |
* | Buf fixes and minor changes to the &if mapper. | Alan Mishchenko | 2013-08-29 | 1 | -1/+14 |
* | Adding code to count statistics about decomposable LUT5. | Alan Mishchenko | 2013-08-18 | 1 | -0/+10 |
* | Commenting out assertion related to choices in 'if'. | Alan Mishchenko | 2013-07-16 | 1 | -1/+1 |
* | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 1 | -4/+4 |
* | User-controlable SAT sweeper. | Alan Mishchenko | 2013-02-25 | 1 | -2/+2 |
* | Enabling command &append for combiming multiple AIGs. | Alan Mishchenko | 2012-12-01 | 1 | -1/+1 |
* | DSD manager. | Alan Mishchenko | 2012-11-20 | 1 | -24/+28 |
* | DSD manager. | Alan Mishchenko | 2012-11-19 | 1 | -0/+19 |
* | DSD manager. | Alan Mishchenko | 2012-11-13 | 1 | -1/+2 |
* | Improved DSD. | Alan Mishchenko | 2012-11-11 | 1 | -2/+2 |
* | Improved DSD. | Alan Mishchenko | 2012-11-10 | 1 | -1/+56 |
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 1 | -0/+2 |
* | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -10/+12 |
* | Improvements to the truth table computation in 'if' package. | Alan Mishchenko | 2012-10-26 | 1 | -1/+3 |
* | Added new API to traverse the cut in the mapper. | Alan Mishchenko | 2012-10-25 | 1 | -1/+3 |
* | Updated code for lazy man's synthesis. | Alan Mishchenko | 2012-07-15 | 1 | -2/+16 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -1/+1 |
* | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -1/+2 |
* | Bug fix in SOP balancing with structural choices. | Alan Mishchenko | 2012-04-12 | 1 | -0/+2 |
* | Enabling mapping into multi-input AND/OR gates. | Alan Mishchenko | 2012-03-27 | 1 | -10/+4 |
* | Alternative way of computing delay in SOP balancing. | Alan Mishchenko | 2012-03-16 | 1 | -0/+8 |
* | Changes to the lazy man's synthesis code. | Alan Mishchenko | 2012-01-17 | 1 | -5/+5 |
* | Several small bug fixes in the mapper. | Alan Mishchenko | 2012-01-15 | 1 | -1/+4 |
* | Changes to the lazy man's synthesis code. | Alan Mishchenko | 2012-01-11 | 1 | -1/+1 |
* | Delay optimization using precomputed library. | Alan Mishchenko | 2011-12-29 | 1 | -7/+15 |