summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
* 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
* Bug fixes having to do with the use of chars.Alan Mishchenko2011-04-202-13/+20
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-0/+5
* initial commit of public abcAlan Mishchenko2010-11-0112-131/+649
* Version abc90714Alan Mishchenko2015-06-221-1/+3
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90310Alan Mishchenko2009-03-104-48/+37
* Version abc90215Alan Mishchenko2009-02-158-46/+46
* Version abc90118Alan Mishchenko2009-01-186-37/+288
* Version abc81029Alan Mishchenko2008-10-291-0/+2
* Version abc80901Alan Mishchenko2008-09-011-1/+1
* Version abc80702Alan Mishchenko2008-07-023-4/+4
* Version abc80610Alan Mishchenko2008-06-101-0/+1
* Version abc80507Alan Mishchenko2008-05-071-1/+1
* Version abc80429Alan Mishchenko2008-04-291-1/+4
* Version abc80411Alan Mishchenko2008-04-115-4/+96
* Version abc80404Alan Mishchenko2008-04-042-8/+8
* Version abc80403_2Alan Mishchenko2008-04-032-2/+2