summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* Experiment with technology mapping.Alan Mishchenko2012-02-221-0/+13
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-5/+5
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-166-63/+52
* Major restructuring of the code.Alan Mishchenko2012-01-216-15/+15
* 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
* 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
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+1