summaryrefslogtreecommitdiffstats
path: root/src/map/amap
Commit message (Expand)AuthorAgeFilesLines
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-093-3/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-076-7/+7
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-076-6/+8
* Bug fix in the mapper: using an object after it is deleted.Alan Mishchenko2012-03-241-2/+2
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-2/+2
* Making GENLIB parser skip LATCHes.Alan Mishchenko2012-03-021-0/+4
* Bug fix in a standard cell library generator.Alan Mishchenko2012-02-291-1/+15
* Bug fix in a standard cell library generator.Alan Mishchenko2012-02-291-0/+6
* Bug fix in stadard cell library representation.Alan Mishchenko2012-02-231-1/+3
* Bug fix in stadard cell library representation.Alan Mishchenko2012-02-231-1/+8
* Undoing a previuos change to not reset the status after &put.Alan Mishchenko2012-02-221-1/+3
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-165-8/+7
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-2/+4
* Major restructuring of the code.Alan Mishchenko2012-01-2113-113/+106
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-3/+5
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-272-2/+14
* Fix parsing tab symbol in Liberty files.Alan Mishchenko2011-03-171-1/+1
* Bug fix: unhandled & symbol in Liberty formula representationAlan Mishchenko2010-11-291-2/+4
* initial commit of public abcAlan Mishchenko2010-11-0115-83/+158
* Version abc90804Alan Mishchenko2015-06-223-8/+27
* Version abc90714Alan Mishchenko2015-06-221-1/+1
* Version abc90408Alan Mishchenko2009-04-082-8/+8
* Version abc90310Alan Mishchenko2009-03-102-15/+28
* Version abc90215Alan Mishchenko2009-02-1512-53/+1001
* Version abc90118Alan Mishchenko2009-01-1815-0/+4560