summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-277-4/+31
|
* Fix parsing tab symbol in Liberty files.Alan Mishchenko2011-03-171-1/+1
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-037-11/+15
|
* Performance bug fix in area-only mapping "map -a".Alan Mishchenko2010-11-291-1/+1
|
* Bug fix: unhandled & symbol in Liberty formula representationAlan Mishchenko2010-11-292-7/+12
|
* initial commit of public abcAlan Mishchenko2010-11-0189-340/+1249
|
* Version abc90807Alan Mishchenko2015-06-221-6/+6
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90804Alan Mishchenko2015-06-223-8/+27
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90714Alan Mishchenko2015-06-224-10/+37
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90408Alan Mishchenko2009-04-087-14/+14
|
* Version abc90329Alan Mishchenko2009-03-2911-0/+4249
|
* Version abc90310Alan Mishchenko2009-03-107-63/+65
|
* Version abc90215Alan Mishchenko2009-02-1547-339/+1369
|
* Version abc90118Alan Mishchenko2009-01-1831-108/+5152
|
* Version abc81029Alan Mishchenko2008-10-291-0/+2
|
* Version abc81027Alan Mishchenko2008-10-272-0/+0
|
* Version abc81025Alan Mishchenko2008-10-252-0/+0
|
* Version abc81014Alan Mishchenko2008-10-143-1/+1
|
* Version abc81013Alan Mishchenko2008-10-132-0/+0
|
* Version abc80927Alan Mishchenko2008-09-272-0/+0
|
* Version abc80922Alan Mishchenko2008-09-222-0/+0
|
* Version abc80921Alan Mishchenko2008-09-212-0/+0
|
* Version abc80919Alan Mishchenko2008-09-192-0/+0
|
* Version abc80910Alan Mishchenko2008-09-102-0/+0
|
* Version abc80909Alan Mishchenko2008-09-091-0/+3
|
* Version abc80901Alan Mishchenko2008-09-011-1/+1
|
* Version abc80830Alan Mishchenko2008-08-302-0/+0
|
* Version abc80725Alan Mishchenko2008-07-252-3/+833
|
* Version abc80719Alan Mishchenko2008-07-192-0/+0
|
* Version abc80718Alan Mishchenko2008-07-182-0/+0
|
* Version abc80717Alan Mishchenko2008-07-172-2/+0
|
* Version abc80702Alan Mishchenko2008-07-0230-89/+101
|