Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Changes to the matching procedure. | Alan Mishchenko | 2011-10-02 | 1 | -1/+1 |
* | Changes to the matching procedure. | Alan Mishchenko | 2011-10-01 | 1 | -9/+14 |
* | Changes to Boolean matching. | Alan Mishchenko | 2011-09-24 | 1 | -2/+6 |
* | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-20 | 1 | -6/+15 |
* | Other changes to enable new features in the mapper (bug fix). | Alan Mishchenko | 2011-07-11 | 1 | -1/+1 |
* | Other changes to enable new features in the mapper. | Alan Mishchenko | 2011-07-10 | 1 | -5/+5 |
* | Initial changes to enable new features in the mapper | Alan Mishchenko | 2011-07-08 | 1 | -0/+60 |
* | Added new mapping feature. | Alan Mishchenko | 2011-06-20 | 1 | -1/+1 |
* | Updated technology mapping. | Alan Mishchenko | 2011-05-07 | 1 | -3/+5 |
* | Bug fixes having to do with the use of chars. | Alan Mishchenko | 2011-04-20 | 1 | -1/+1 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -12/+34 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -1/+3 |
* | Version abc90310 | Alan Mishchenko | 2009-03-10 | 1 | -2/+2 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -5/+5 |
* | Version abc90118 | Alan Mishchenko | 2009-01-18 | 1 | -2/+8 |
* | Version abc80610 | Alan Mishchenko | 2008-06-10 | 1 | -0/+1 |
* | Version abc80507 | Alan Mishchenko | 2008-05-07 | 1 | -1/+1 |
* | Version abc80429 | Alan Mishchenko | 2008-04-29 | 1 | -1/+4 |
* | Version abc80411 | Alan Mishchenko | 2008-04-11 | 1 | -1/+1 |
* | Version abc80404 | Alan Mishchenko | 2008-04-04 | 1 | -2/+2 |
* | Version abc80403_2 | Alan Mishchenko | 2008-04-03 | 1 | -1/+1 |
* | Version abc80327 | Alan Mishchenko | 2008-03-27 | 1 | -7/+0 |
* | Version abc80307_2 | Alan Mishchenko | 2008-03-07 | 1 | -0/+4 |
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 1 | -0/+350 |
* | Version abc80130 | Alan Mishchenko | 2008-01-30 | 1 | -350/+0 |
* | Version abc80123 | Alan Mishchenko | 2008-01-23 | 1 | -6/+50 |
* | Version abc71218 | Alan Mishchenko | 2007-12-18 | 1 | -7/+13 |
* | Version abc71001 | Alan Mishchenko | 2007-10-01 | 1 | -0/+300 |
* | Version abc70930 | Alan Mishchenko | 2007-09-30 | 1 | -300/+0 |