diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:05:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:05:43 -0700 |
| commit | 28cbb280b707f56858a3af2a813ac0bcd961e83e (patch) | |
| tree | 6d9ecb1bfcb7213468bd38f5f12f5b186732b90f /src/misc/vec | |
| parent | 11f1a249ae9dc3fab0a24eab02ee605fd58c2471 (diff) | |
| download | abc-28cbb280b707f56858a3af2a813ac0bcd961e83e.tar.gz abc-28cbb280b707f56858a3af2a813ac0bcd961e83e.tar.bz2 abc-28cbb280b707f56858a3af2a813ac0bcd961e83e.zip | |
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
Diffstat (limited to 'src/misc/vec')
0 files changed, 0 insertions, 0 deletions