diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:22:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-04 07:22:13 -0700 |
| commit | 21896ba6bc6b2e0db0493f37e62b405866e54a04 (patch) | |
| tree | eaf685e0bfae9c670b28e5a425ee5534c176219b /abcspace.dsw | |
| parent | 28cbb280b707f56858a3af2a813ac0bcd961e83e (diff) | |
| download | abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.tar.gz abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.tar.bz2 abc-21896ba6bc6b2e0db0493f37e62b405866e54a04.zip | |
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
Diffstat (limited to 'abcspace.dsw')
0 files changed, 0 insertions, 0 deletions