summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm
Commit message (Expand)AuthorAgeFilesLines
* New command 'phase_map'.Alan Mishchenko2016-06-171-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-191-2/+2
* New feature for area minimization in standard cell mapping.Alan Mishchenko2016-05-193-1/+387
* Small changes to sort for timing.Alan Mishchenko2016-01-241-3/+7
* Adding support for delay/area tradeoff.Alan Mishchenko2016-01-133-31/+53
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-075-26/+29
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-051-4/+4
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-051-1/+1
* Improvements to timing optimization.Alan Mishchenko2015-11-113-29/+63
* Extending and improving timing manager.Alan Mishchenko2015-11-081-1/+2
* Extending and improving timing manager.Alan Mishchenko2015-11-082-15/+43
* Extending and improving timing manager.Alan Mishchenko2015-11-083-432/+21
* Extending and improving timing manager.Alan Mishchenko2015-11-085-53/+575
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-21/+98
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-052-307/+78
* Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ...Alan Mishchenko2015-10-281-2/+2
* Improvements in delay optimization.Alan Mishchenko2015-10-281-20/+114
* Enabling reverse topo order in area minimization.Alan Mishchenko2015-10-282-43/+101
* Experiments with precomputation and matching.Alan Mishchenko2015-10-273-10/+94
* Changes for delay-oriented computation.Alan Mishchenko2015-10-264-130/+214
* Compiler warnings.Alan Mishchenko2015-10-251-0/+11
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-254-71/+116
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-39/+92
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-108/+114
* Changes for delay-oriented computation.Alan Mishchenko2015-10-234-118/+632
* Gate combination precomputation with delay profile.Alan Mishchenko2015-10-213-17/+137
* Experiments with precomputation and matching.Alan Mishchenko2015-10-162-38/+71
* Experiments with precomputation and matching.Alan Mishchenko2015-10-154-2/+285
* Experiments with precomputation and matching.Alan Mishchenko2015-10-152-103/+340
* Experiments with precomputation and matching.Alan Mishchenko2015-10-143-48/+148
* Experiments with precomputation and matching.Alan Mishchenko2015-10-134-83/+166
* Experiments with precomputation and matching.Alan Mishchenko2015-10-133-50/+222
* Experiments with precomputation and matching.Alan Mishchenko2015-10-123-64/+588
* Experiments with functional matching.Alan Mishchenko2015-10-091-55/+132
* Experiments with functional matching.Alan Mishchenko2015-10-082-180/+451
* Experiments with functional matching.Alan Mishchenko2015-10-053-190/+271
* Experiments with functional matching.Alan Mishchenko2015-10-032-0/+550
* Printout in mfs2.Alan Mishchenko2014-11-171-2/+7
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-2/+4
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-163-10/+31
* Adding switch to control the number of nodes tried in mfs2.Alan Mishchenko2013-11-143-1/+4
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-093-14/+19
* Enabling switch -a in 'mfs2'.Alan Mishchenko2013-07-161-0/+2
* Bug fix in 'mfs2'.Alan Mishchenko2013-07-081-2/+2
* New MFS package (bug fix).Alan Mishchenko2013-06-071-2/+1
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-043-1/+38
* New MFS package.Alan Mishchenko2013-05-315-8/+17
* New MFS package.Alan Mishchenko2013-05-315-12/+65
* New MFS package.Alan Mishchenko2013-05-304-57/+32
* New MFS package.Alan Mishchenko2013-05-306-65/+183