diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 18:07:10 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 18:07:10 -0700 |
commit | 1fffe8f6f3274e03289a67a0abf9c7aa4028f823 (patch) | |
tree | 8afe2676595e5664779db48f8c280d144dbabd1e /src/base/abci/abcProve.c | |
parent | 5bf0f864505d97ea7d6a349f100dd1849f74b7a6 (diff) | |
download | abc-1fffe8f6f3274e03289a67a0abf9c7aa4028f823.tar.gz abc-1fffe8f6f3274e03289a67a0abf9c7aa4028f823.tar.bz2 abc-1fffe8f6f3274e03289a67a0abf9c7aa4028f823.zip |
New switch in 'read_lib' to replace gate/pin names by short strings.
Diffstat (limited to 'src/base/abci/abcProve.c')
0 files changed, 0 insertions, 0 deletions