diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-12 22:41:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-12 22:41:44 +0700 |
| commit | c4e859307580ea2bb18bf8b9f9e3c64a310f3bc9 (patch) | |
| tree | 025f9771a7ec20625c9da2d8003be377fed4919a /src/aig/ssw | |
| parent | af84c0d2056ecd11e057990c7d717c0a2e984941 (diff) | |
| download | abc-c4e859307580ea2bb18bf8b9f9e3c64a310f3bc9.tar.gz abc-c4e859307580ea2bb18bf8b9f9e3c64a310f3bc9.tar.bz2 abc-c4e859307580ea2bb18bf8b9f9e3c64a310f3bc9.zip | |
Modified the PDR print-out to be compatible with Niklas.
Diffstat (limited to 'src/aig/ssw')
0 files changed, 0 insertions, 0 deletions