summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-175-9/+9
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-1614-78/+68
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-163-3/+6
|
* Major restructuring of the code.Alan Mishchenko2012-01-2144-194/+182
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-173-7/+7
|
* Several small bug fixes in the mapper.Alan Mishchenko2012-01-152-3/+6
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-112-1/+2
|
* Configuration changes in the Boolean matching code.Alan Mishchenko2012-01-051-1/+1
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-292-7/+19
|
* Added new switch to the LUT matching code.Alan Mishchenko2011-12-061-13/+5
|
* Performance bug fix in SOP balancing.Alan Mishchenko2011-12-063-31/+38
|
* Fixed performance bug in matching code.Alan Mishchenko2011-12-051-3/+18
|
* Modifications to the matching procedureAlan Mishchenko2011-11-221-6/+126
|
* Temporary debugging change.Alan Mishchenko2011-11-121-28/+6
|
* Temporary debugging change.Alan Mishchenko2011-11-121-1/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+2
|
* Temporary debugging change.Alan Mishchenko2011-11-121-2/+4
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-3/+18
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* Temporary debugging change.Alan Mishchenko2011-11-121-0/+1
|
* Removing restruction on the number of LUT inputs.Alan Mishchenko2011-11-101-2/+2
|
* C++ portability changes.Alan Mishchenko2011-10-272-2/+9
|
* Changes to the matching procedure.Alan Mishchenko2011-10-121-41/+217
|
* Changes to the matching procedure.Alan Mishchenko2011-10-101-9/+9
|
* Changes to the matching procedure.Alan Mishchenko2011-10-103-66/+311
|
* Changes to the matching procedure.Alan Mishchenko2011-10-061-73/+231
|
* Modified write_blif to output LUT structures.Alan Mishchenko2011-10-042-20/+87
|
* Changes to the matching procedure.Alan Mishchenko2011-10-032-10/+214
|
* Changes to the matching procedure.Alan Mishchenko2011-10-027-22/+90
|
* Changes to the matching procedure.Alan Mishchenko2011-10-018-208/+655
|
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-272-151/+248
|
* Changes to Boolean matching.Alan Mishchenko2011-09-243-123/+351
|
* Added new feature to bmc3.Alan Mishchenko2011-09-231-15/+22
|
* 64-bit portability changes.Alan Mishchenko2011-09-173-3/+6
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-202-7/+17
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-131-1/+1
|
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-111-1/+1
|
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-107-28/+440
|
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-084-4/+67
|
* Added another specialized check to the mapper.Alan Mishchenko2011-06-275-8/+516
|
* Fixed the problem in mapping with the new check.Alan Mishchenko2011-06-261-17/+28
|
* Added new mapping feature.Alan Mishchenko2011-06-205-2/+501
|
* Special BLIF writing (bug fixes).Alan Mishchenko2011-05-181-26/+9
|
* Special BLIF writing.Alan Mishchenko2011-05-181-5/+201
|
* Improvements to timeout.Alan Mishchenko2011-05-111-44/+169
|
* Updated technology mapping.Alan Mishchenko2011-05-081-0/+409
|
* Updated technology mapping.Alan Mishchenko2011-05-082-0/+3
|
* Updated technology mapping.Alan Mishchenko2011-05-074-8/+12
|