| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 4 | -7/+25 |
| * | Bug with in not property copying box info in &save/&load. | Alan Mishchenko | 2015-03-25 | 1 | -0/+18 |
| * | Fix incorrect transfer of box copy ID. | Alan Mishchenko | 2015-03-13 | 1 | -2/+2 |
| * | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 1 | -3/+9 |
| * | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 3 | -11/+47 |
| * | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-17 | 1 | -6/+4 |
| * | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-16 | 2 | -0/+88 |
| * | Enabling AIGs with boxes for word-level and sequential designs. | Alan Mishchenko | 2014-11-13 | 1 | -9/+9 |
| * | Improvements to the timing manager. | Alan Mishchenko | 2014-08-25 | 2 | -3/+8 |
| * | Propagating timing support to the new synthesis/mapping commands. | Alan Mishchenko | 2014-08-20 | 2 | -2/+2 |
| * | Buf fixes and minor changes to the &if mapper. | Alan Mishchenko | 2013-08-29 | 1 | -2/+2 |
| * | Improvements to the hierarchy/timing manager. | Alan Mishchenko | 2013-03-05 | 2 | -0/+10 |
| * | Improvements to the hierarchy/timing manager. | Alan Mishchenko | 2013-03-05 | 4 | -20/+78 |
| * | User-controlable SAT sweeper and other small changes. | Alan Mishchenko | 2013-02-27 | 1 | -2/+1 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-23 | 1 | -1/+3 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-23 | 2 | -3/+5 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-20 | 1 | -0/+1 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-20 | 1 | -7/+8 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-20 | 1 | -1/+1 |
| * | Integrating hierarchy information (reporting incorrect topological order). | Alan Mishchenko | 2013-02-20 | 2 | -0/+24 |
| * | Adding STG generation (&era -d) and STG encoding (&read_stg <file>). | Alan Mishchenko | 2013-02-19 | 1 | -0/+1 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-19 | 1 | -27/+35 |
| * | Integrating sweeping information. | Alan Mishchenko | 2013-02-18 | 2 | -6/+136 |
| * | Integration of timing manager. | Alan Mishchenko | 2013-02-03 | 1 | -1/+1 |
| * | Integration of timing manager. | Alan Mishchenko | 2013-02-01 | 1 | -0/+1 |
| * | Integration of timing manager. | Alan Mishchenko | 2013-01-30 | 1 | -0/+2 |
| * | Integration of timing manager. | Alan Mishchenko | 2013-01-25 | 1 | -3/+10 |
| * | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-15 | 2 | -5/+51 |
| * | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-13 | 2 | -10/+22 |
| * | Assembling timing/hierarchy manager from input data. | Alan Mishchenko | 2012-12-10 | 2 | -0/+62 |
| * | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 2 | -4/+8 |
| * | Bug fix in loading the timing manager. | Alan Mishchenko | 2012-10-05 | 1 | -0/+8 |
| * | Testing GIA with time manager. | Alan Mishchenko | 2012-09-24 | 2 | -9/+54 |
| * | Testing GIA with time manager. | Alan Mishchenko | 2012-09-23 | 5 | -18/+75 |
| * | Integrating time manager into choice computation. | Alan Mishchenko | 2012-09-22 | 4 | -53/+76 |
| * | Upgrading hierarchy timing manager. | Alan Mishchenko | 2012-09-21 | 9 | -989/+1372 |
| * | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
| * | Fixing time primtouts throughout the code. | Alan Mishchenko | 2012-07-07 | 1 | -1/+0 |
| * | Misc changes. | Alan Mishchenko | 2012-05-03 | 1 | -1/+1 |
| * | Misc changes. | Alan Mishchenko | 2012-04-22 | 1 | -2/+3 |
| * | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 3 | -0/+1107 |
