diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
| commit | 9895f30d95f326211a397c75a8964ad5cfd12ad5 (patch) | |
| tree | a710f9b3e82d584eaef0f3c887663b0f4ad66a81 /src/aig | |
| parent | a6db8bc1578c2c85326a560fd3d7737932043486 (diff) | |
| download | abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.gz abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.bz2 abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.zip | |
Extending command 'dump_equv' to match inputs by name.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions