summaryrefslogtreecommitdiffstats
path: root/src/misc/tim/timMan.c
Commit message (Expand)AuthorAgeFilesLines
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-1/+1
* Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to pri...Alan Mishchenko2019-09-191-1/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-3/+17
* Bug with in not property copying box info in &save/&load.Alan Mishchenko2015-03-251-0/+18
* Fix incorrect transfer of box copy ID.Alan Mishchenko2015-03-131-2/+2
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-3/+9
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-10/+12
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-6/+4
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-0/+87
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-9/+9
* Improvements to the timing manager.Alan Mishchenko2014-08-251-1/+4
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-1/+1
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-2/+2
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-0/+9
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-19/+56
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+3
* Integrating sweeping information.Alan Mishchenko2013-02-231-2/+4
* Integrating sweeping information.Alan Mishchenko2013-02-201-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-7/+8
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-191-27/+35
* Integrating sweeping information.Alan Mishchenko2013-02-181-6/+135
* Integration of timing manager.Alan Mishchenko2013-02-031-1/+1
* Integration of timing manager.Alan Mishchenko2013-02-011-0/+1
* Integration of timing manager.Alan Mishchenko2013-01-301-0/+2
* Integration of timing manager.Alan Mishchenko2013-01-251-3/+10
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-151-5/+50
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-9/+21
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-101-0/+61
* Testing GIA with time manager.Alan Mishchenko2012-09-231-2/+7
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-47/+60
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-211-0/+344