diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-13 15:54:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-13 15:54:14 -0700 |
| commit | 813b0e585101978a83811a567883210e78aeb56e (patch) | |
| tree | 714cab5ff495ce7d7e2bea51eb7c8011361e2b1d /src/aig/gia/giaMan.c | |
| parent | b9e403b46e8beb7068191ca1910e72fae46b9d9e (diff) | |
| download | abc-813b0e585101978a83811a567883210e78aeb56e.tar.gz abc-813b0e585101978a83811a567883210e78aeb56e.tar.bz2 abc-813b0e585101978a83811a567883210e78aeb56e.zip | |
Experimental algorithm for edge optimization.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index b7434bff..27dff3ad 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -95,6 +95,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vCofVars ); Vec_IntFreeP( &p->vLutConfigs ); Vec_IntFreeP( &p->vEdgeDelay ); + Vec_IntFreeP( &p->vEdgeDelayR ); Vec_IntFreeP( &p->vEdge1 ); Vec_IntFreeP( &p->vEdge2 ); Vec_IntFreeP( &p->vUserPiIds ); @@ -117,6 +118,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_PtrFreeP( &p->vTtInputs ); Vec_IntFreeP( &p->vMapping ); Vec_WecFreeP( &p->vMapping2 ); + Vec_WecFreeP( &p->vFanouts2 ); Vec_IntFreeP( &p->vCellMapping ); Vec_IntFreeP( &p->vPacking ); Vec_IntFreeP( &p->vConfigs ); |