summaryrefslogtreecommitdiffstats
path: root/src/map/if
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Version abc80402Alan Mishchenko2008-04-022-0/+4
* Version abc80330Alan Mishchenko2008-03-302-0/+41
* Version abc80327Alan Mishchenko2008-03-275-9/+313
* Version abc80314Alan Mishchenko2008-03-142-2/+4
* Version abc80313Alan Mishchenko2008-03-131-0/+1
* Version abc80307_2Alan Mishchenko2008-03-075-3/+160
* Version abc80305Alan Mishchenko2008-03-052-2/+3
* Version abc80301Alan Mishchenko2008-03-013-4/+40
* Version abc80228Alan Mishchenko2008-02-283-1/+63
* Version abc80130_2Alan Mishchenko2008-01-3012-0/+4798
* Version abc80130Alan Mishchenko2008-01-3012-4798/+0
* Version abc80123Alan Mishchenko2008-01-237-63/+296
* Version abc80121Alan Mishchenko2008-01-215-105/+106
* Version abc71226Alan Mishchenko2007-12-262-0/+43
* Version abc71225Alan Mishchenko2007-12-251-0/+1
* Version abc71218Alan Mishchenko2007-12-186-56/+457