summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2013-01-308-114/+114
| | | | unsigned long long.
* 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
|
* Changes several defaults of 'super' to be infinite.Alan Mishchenko2012-10-015-52/+51
|
* Compiler warnings.Alan Mishchenko2012-09-291-1/+0
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-2912-40/+40
|