summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc90804Alan Mishchenko2015-06-223-8/+27
* Version abc90714Alan Mishchenko2015-06-224-10/+37
* 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
* Version abc80610Alan Mishchenko2008-06-103-14/+24
* Version abc80518_2Alan Mishchenko2008-05-182-0/+0
* Version abc80518Alan Mishchenko2008-05-182-0/+0
* Version abc80512Alan Mishchenko2008-05-122-0/+0
* Version abc80511_2Alan Mishchenko2008-05-112-0/+0
* Version abc80511Alan Mishchenko2008-05-112-0/+0
* Version abc80510Alan Mishchenko2008-05-102-0/+0
* Version abc80507Alan Mishchenko2008-05-071-1/+1