summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-274-21/+21
|
* Several small changes to the MFS packages.Alan Mishchenko2013-05-271-0/+1
|
* New MFS package.Alan Mishchenko2013-05-271-1/+1
|
* New MFS package.Alan Mishchenko2013-05-272-6/+9
|
* New MFS package.Alan Mishchenko2013-05-263-10/+28
|
* New MFS package.Alan Mishchenko2013-05-266-60/+68
|
* New command 'putontop' to concatenate networks for don't-care-based ↵Alan Mishchenko2013-05-251-0/+1
| | | | optimization.
* New MFS package.Alan Mishchenko2013-05-256-96/+89
|
* New MFS package.Alan Mishchenko2013-05-255-83/+64
|
* New MFS package.Alan Mishchenko2013-05-253-10/+21
|
* New MFS package.Alan Mishchenko2013-05-256-25/+40
|
* New MFS package.Alan Mishchenko2013-05-247-63/+87
|
* New MFS package.Alan Mishchenko2013-05-247-169/+573
|
* New MFS package.Alan Mishchenko2013-05-235-124/+331
|
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
|
* New MFS package.Alan Mishchenko2013-05-129-215/+586
|
* Compiler warning.Alan Mishchenko2013-04-171-1/+0
|
* New MFS package.Alan Mishchenko2013-04-031-2/+2
|
* New MFS package.Alan Mishchenko2013-04-031-3/+3
|
* New MFS package.Alan Mishchenko2013-04-034-8/+145
|
* New MFS package.Alan Mishchenko2013-04-028-0/+509