summaryrefslogtreecommitdiffstats
path: root/src/misc/tim
Commit message (Collapse)AuthorAgeFilesLines
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-161-1/+1
|
* 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