summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* 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
* Trying to fix a mysterious bug in reading the library files.Alan Mishchenko2011-05-061-15/+14
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+1
* Bug fixes having to do with the use of chars.Alan Mishchenko2011-04-202-13/+20
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-3017-144/+1521
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 15:42:22 +0000