diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 23:56:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 23:56:08 -0700 |
| commit | 2a83a97164c17e341dbe90aa3debd105eb736284 (patch) | |
| tree | 154c072e142692c521fe22e33779b9d88108cb98 /abc.rc | |
| parent | 797cb49584c8103d587afff82e5e7c50703c6a87 (diff) | |
| download | abc-2a83a97164c17e341dbe90aa3debd105eb736284.tar.gz abc-2a83a97164c17e341dbe90aa3debd105eb736284.tar.bz2 abc-2a83a97164c17e341dbe90aa3debd105eb736284.zip | |
Changing default values.
Diffstat (limited to 'abc.rc')
| -rw-r--r-- | abc.rc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -122,6 +122,7 @@ alias addinit "read_init; undc; strash; zero" alias blif2aig "undc; strash; zero" alias v2p "&vta_gla; &ps; &gla_derive; &put; w 1.aig; pdr -v" alias g2p "&ps; &gla_derive; &put; w 2.aig; pdr -v" +alias &fx_ "&put; sweep; sop; fx; st; &get" # resubstitution scripts for the IWLS paper alias src_rw "st; rw -l; rwz -l; rwz -l" |