summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* New MFS package.Alan Mishchenko2013-05-261-1/+1
* New MFS package.Alan Mishchenko2013-05-241-4/+4
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-2/+2
* Compiler warnings.Alan Mishchenko2013-03-301-1/+2
* Compiler warnings.Alan Mishchenko2013-03-301-1/+1
* Modified SCL gate library to read/write gate formula.Alan Mishchenko2013-03-266-15/+159
* Integrating box library.Alan Mishchenko2013-03-082-0/+33
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-053-11/+135
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-056-15/+19
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-1/+0
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-2/+2
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-308-114/+114
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-0/+1
* Improvements to DSD manager.Alan Mishchenko2012-12-111-1/+1
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-103-46/+46
* Adding box library.Alan Mishchenko2012-12-105-6/+653
* Removed useless code from the sizing package.Alan Mishchenko2012-12-044-524/+2
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-1/+1
* DSD manager.Alan Mishchenko2012-11-205-26/+34
* DSD manager.Alan Mishchenko2012-11-194-6/+39
* DSD manager.Alan Mishchenko2012-11-134-30/+136
* Improved DSD.Alan Mishchenko2012-11-111-2/+2
* Improved DSD.Alan Mishchenko2012-11-111-2/+5
* Improved DSD.Alan Mishchenko2012-11-102-1/+20
* Improved DSD.Alan Mishchenko2012-11-103-2/+81
* Performance bug fix in choice generation.Alan Mishchenko2012-11-091-1/+1
* Slightly improved cut computation.Alan Mishchenko2012-11-061-1/+85
* Improvements to LMS code.Alan Mishchenko2012-11-011-0/+2
* Improvements to LMS code.Alan Mishchenko2012-11-012-2/+2
* Move truth table code into a separte file.Alan Mishchenko2012-10-282-261/+7
* Improvements to LMS code.Alan Mishchenko2012-10-282-11/+16
* Improvements to LMS code.Alan Mishchenko2012-10-272-0/+34
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-264-12/+454
* Enables printout of fanout count in critical path.Alan Mishchenko2012-10-261-0/+1
* Added new API to traverse the cut in the mapper.Alan Mishchenko2012-10-253-1/+55
* Integrating GIA with LUT mapping.Alan Mishchenko2012-10-242-1/+2
* Improvements to gate sizing.Alan Mishchenko2012-10-093-41/+46
* Improvements to gate sizing.Alan Mishchenko2012-10-096-162/+220
* Improvements to gate-sizing.Alan Mishchenko2012-10-091-2/+4
* Improvements to gate-sizing.Alan Mishchenko2012-10-093-9/+27
* Improvements to gate sizing (bug fix).Alan Mishchenko2012-10-091-4/+6
* Improvements to gate sizing (bug fix).Alan Mishchenko2012-10-091-1/+2
* Improvements to gate sizing.Alan Mishchenko2012-10-091-2/+2
* Improvements to gate sizing.Alan Mishchenko2012-10-094-14/+24
* Improvements to gate sizing.Alan Mishchenko2012-10-093-6/+35
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-094-14/+14
* Improvements to gate sizing.Alan Mishchenko2012-10-092-82/+79
* Improvements to gate sizing.Alan Mishchenko2012-10-0810-203/+542
* C++ portability changes.Alan Mishchenko2012-10-035-14/+14