Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Small data-structure improvements in 'pdr'. | Alan Mishchenko | 2013-07-19 | 3 | -25/+33 | |
* | Small changes to the printout in timing analysis. | Alan Mishchenko | 2013-07-19 | 3 | -3/+5 | |
* | Temprary changes. | Alan Mishchenko | 2013-07-18 | 1 | -1/+50 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 1 | -1/+1 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 3 | -53/+32 | |
* | Temprary changes. | Alan Mishchenko | 2013-07-18 | 1 | -0/+49 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 5 | -86/+49 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-18 | 3 | -46/+93 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 5 | -24/+46 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 1 | -1/+1 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 1 | -1/+1 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-17 | 9 | -36/+404 | |
* | Commenting out assertion related to choices in 'if'. | Alan Mishchenko | 2013-07-16 | 1 | -1/+1 | |
* | Enabling switch -a in 'mfs2'. | Alan Mishchenko | 2013-07-16 | 1 | -0/+2 | |
* | Improved printout of XOR/MUX/AND in 'print_stats'. | Alan Mishchenko | 2013-07-16 | 1 | -12/+18 | |
* | Imporvements to 'eliminate'. | Alan Mishchenko | 2013-07-16 | 5 | -11/+91 | |
* | Adding another network duplicator. | Alan Mishchenko | 2013-07-16 | 1 | -2/+2 | |
* | Adding another network duplicator. | Alan Mishchenko | 2013-07-16 | 1 | -0/+58 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-15 | 8 | -22/+32 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 3 | -4/+10 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 9 | -220/+234 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-14 | 13 | -705/+980 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 11 | -112/+1106 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 9 | -11/+88 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -1/+1 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 5 | -67/+72 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -0/+1 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 1 | -2/+2 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-13 | 6 | -235/+277 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 9 | -138/+334 | |
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 1 | -1/+1 | |
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 1 | -1/+1 | |
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 2 | -24/+24 | |
* | Compiler warnings. | Alan Mishchenko | 2013-07-12 | 1 | -8/+7 | |
* | New technology mapper. | Alan Mishchenko | 2013-07-12 | 17 | -1869/+2581 | |
* | Precomputing DSD functions. | Alan Mishchenko | 2013-07-11 | 2 | -10/+86 | |
* | Precomputing DSD functions. | Alan Mishchenko | 2013-07-11 | 1 | -31/+423 | |
* | Fix to &era to skip synthesis and print verbose output more often. | Alan Mishchenko | 2013-07-10 | 1 | -2/+3 | |
* | Bug fix in 'mfs2'. | Alan Mishchenko | 2013-07-08 | 1 | -2/+2 | |
* | Adding timeout to AIG rewriting inside 'int'. | Alan Mishchenko | 2013-07-08 | 1 | -2/+0 | |
* | Adding timeout to AIG rewriting inside 'int'. | Alan Mishchenko | 2013-07-07 | 6 | -1/+51 | |
* | Compiler warning. | Alan Mishchenko | 2013-07-01 | 1 | -4/+6 | |
* | Compiler problem. | Alan Mishchenko | 2013-07-01 | 2 | -150/+150 | |
* | Compiler problem. | Alan Mishchenko | 2013-07-01 | 1 | -20/+20 | |
* | Fixing a typo. | Alan Mishchenko | 2013-07-01 | 1 | -1/+1 | |
* | Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and... | Alan Mishchenko | 2013-07-01 | 3 | -0/+3614 | |
* | Bug fix in the timeout for 'int'. | Alan Mishchenko | 2013-07-01 | 1 | -1/+1 | |
* | Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o... | Alan Mishchenko | 2013-07-01 | 1 | -0/+1 | |
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -366/+379 | |
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -76/+139 |