summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Experiment with 'pdr'.Alan Mishchenko2013-07-196-34/+189
|
* Small data-structure improvements in 'pdr'.Alan Mishchenko2013-07-193-25/+33
|
* Small changes to the printout in timing analysis.Alan Mishchenko2013-07-193-3/+5
|
* Temprary changes.Alan Mishchenko2013-07-181-1/+50
|
* New technology mapper.Alan Mishchenko2013-07-181-1/+1
|
* New technology mapper.Alan Mishchenko2013-07-183-53/+32
|
* Temprary changes.Alan Mishchenko2013-07-181-0/+49
|
* New technology mapper.Alan Mishchenko2013-07-185-86/+49
|
* New technology mapper.Alan Mishchenko2013-07-183-46/+93
|
* New technology mapper.Alan Mishchenko2013-07-175-24/+46
|
* New technology mapper.Alan Mishchenko2013-07-171-1/+1
|
* New technology mapper.Alan Mishchenko2013-07-171-1/+1
|
* New technology mapper.Alan Mishchenko2013-07-179-36/+404
|
* Commenting out assertion related to choices in 'if'.Alan Mishchenko2013-07-161-1/+1
|
* Enabling switch -a in 'mfs2'.Alan Mishchenko2013-07-161-0/+2
|
* Improved printout of XOR/MUX/AND in 'print_stats'.Alan Mishchenko2013-07-161-12/+18
|
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-165-11/+91
|
* Adding another network duplicator.Alan Mishchenko2013-07-161-2/+2
|
* Adding another network duplicator.Alan Mishchenko2013-07-161-0/+58
|
* New technology mapper.Alan Mishchenko2013-07-158-22/+32
|
* New technology mapper.Alan Mishchenko2013-07-143-4/+10
|
* New technology mapper.Alan Mishchenko2013-07-149-220/+234
|
* New technology mapper.Alan Mishchenko2013-07-1413-705/+980
|
* New technology mapper.Alan Mishchenko2013-07-1311-112/+1106
|
* New technology mapper.Alan Mishchenko2013-07-139-11/+88
|
* New technology mapper.Alan Mishchenko2013-07-131-1/+1
|
* New technology mapper.Alan Mishchenko2013-07-135-67/+72
|
* New technology mapper.Alan Mishchenko2013-07-131-0/+1
|
* New technology mapper.Alan Mishchenko2013-07-131-2/+2
|
* New technology mapper.Alan Mishchenko2013-07-136-235/+277
|
* New technology mapper.Alan Mishchenko2013-07-129-138/+334
|
* Compiler warnings.Alan Mishchenko2013-07-121-1/+1
|
* Compiler warnings.Alan Mishchenko2013-07-121-1/+1
|
* Compiler warnings.Alan Mishchenko2013-07-122-24/+24
|
* Compiler warnings.Alan Mishchenko2013-07-121-8/+7
|
* New technology mapper.Alan Mishchenko2013-07-1217-1869/+2581
|
* Precomputing DSD functions.Alan Mishchenko2013-07-112-10/+86
|
* Precomputing DSD functions.Alan Mishchenko2013-07-111-31/+423
|
* Fix to &era to skip synthesis and print verbose output more often.Alan Mishchenko2013-07-101-2/+3
|
* Bug fix in 'mfs2'.Alan Mishchenko2013-07-081-2/+2
|
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-081-2/+0
|
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-076-1/+51
|
* Compiler warning.Alan Mishchenko2013-07-011-4/+6
|
* Compiler problem.Alan Mishchenko2013-07-012-150/+150
|
* Compiler problem.Alan Mishchenko2013-07-011-20/+20
|
* Fixing a typo.Alan Mishchenko2013-07-011-1/+1
|
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵Alan Mishchenko2013-07-013-0/+3614
| | | | and Karem Sakallah at U Michigan.
* Bug fix in the timeout for 'int'.Alan Mishchenko2013-07-011-1/+1
|
* Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵Alan Mishchenko2013-07-011-0/+1
| | | | on some platforms.
* Updating new mapper.Alan Mishchenko2013-06-301-366/+379
|