summaryrefslogtreecommitdiffstats
path: root/src/misc/tim
Commit message (Expand)AuthorAgeFilesLines
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-044-7/+25
* 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-243-11/+47
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-6/+4
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-162-0/+88
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-9/+9
* Improvements to the timing manager.Alan Mishchenko2014-08-252-3/+8
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-202-2/+2
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-2/+2
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-052-0/+10
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-054-20/+78
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* Integrating sweeping information.Alan Mishchenko2013-02-231-1/+3
* Integrating sweeping information.Alan Mishchenko2013-02-232-3/+5
* 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 hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-202-0/+24
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+1
* Integrating sweeping information.Alan Mishchenko2013-02-191-27/+35
* Integrating sweeping information.Alan Mishchenko2013-02-182-6/+136
* 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-152-5/+51
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-132-10/+22
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-102-0/+62
* Unifification of custom extensions.Alan Mishchenko2012-12-102-4/+8
* Bug fix in loading the timing manager.Alan Mishchenko2012-10-051-0/+8
* Testing GIA with time manager.Alan Mishchenko2012-09-242-9/+54
* Testing GIA with time manager.Alan Mishchenko2012-09-235-18/+75
* Integrating time manager into choice computation.Alan Mishchenko2012-09-224-53/+76
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-219-989/+1372
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Misc changes.Alan Mishchenko2012-05-031-1/+1
* Misc changes.Alan Mishchenko2012-04-221-2/+3
* Major restructuring of the code.Alan Mishchenko2012-01-213-0/+1107