Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 7 | -235/+285 |
| | |||||
* | 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 | 19 | -1878/+2634 |
| | |||||
* | 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, ↵ | Alan Mishchenko | 2013-07-01 | 4 | -0/+3618 |
| | | | | and Karem Sakallah at U Michigan. | ||||
* | 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 ↵ | Alan Mishchenko | 2013-07-01 | 1 | -0/+1 |
| | | | | on some platforms. | ||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -366/+379 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -76/+139 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -150/+114 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -207/+237 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -8/+29 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-30 | 1 | -13/+64 |
| | |||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-29 | 3 | -118/+406 |
| | |||||
* | Improvemesnts to the mapper. | Alan Mishchenko | 2013-06-29 | 1 | -1/+4 |
| | |||||
* | Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed. | Niklas Een | 2013-06-29 | 1 | -2/+2 |
| | |||||
* | Fixed a problem in BridgeMode; it will now correctly detect if the pipe has ↵ | Niklas Een | 2013-06-28 | 1 | -4/+22 |
| | | | | been closed and exit ABC. | ||||
* | Updating new mapper. | Alan Mishchenko | 2013-06-28 | 2 | -281/+356 |
| | |||||
* | Adding timeout to command 'ind'. | Alan Mishchenko | 2013-06-28 | 4 | -13/+33 |
| | |||||
* | Adding timeout to the interpolant computation procedure. | Alan Mishchenko | 2013-06-28 | 4 | -4/+23 |
| | |||||
* | Data-structure experiment. | Alan Mishchenko | 2013-06-27 | 2 | -89/+86 |
| | |||||
* | Saving delay information after mapping. | Alan Mishchenko | 2013-06-26 | 2 | -0/+2 |
| | |||||
* | Minor compilation problem. | Alan Mishchenko | 2013-06-26 | 1 | -1/+1 |
| | |||||
* | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 1 | -1/+1 |
| |