diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 23:03:25 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 23:03:25 -0800 |
commit | 095bf1c91bba6323cf6aae960fc386dc50066f5d (patch) | |
tree | 1ffa6f111a128ae3a07a7a5de255c9d754f25f61 /src/aig/gia/giaMan.c | |
parent | 5e1c28338bdab9d941f7c06880e59213256ed812 (diff) | |
download | abc-095bf1c91bba6323cf6aae960fc386dc50066f5d.tar.gz abc-095bf1c91bba6323cf6aae960fc386dc50066f5d.tar.bz2 abc-095bf1c91bba6323cf6aae960fc386dc50066f5d.zip |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig/gia/giaMan.c')
0 files changed, 0 insertions, 0 deletions