Adding new aliases.

375686ce · Alan Mishchenko · 1fb7ef81 · 375686ce
Commit 375686ce authored Sep 30, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

abc.rc
+2 -2

No files found.
--- a/abc.rc
+++ b/abc.rc
@@ -122,9 +122,9 @@ 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"
 alias &sw_        "&put; sweep; st; &get"
-alias &dc3        "&b; &jf -K 6 -g; &b; &jf -K 4 -g; &b"
+alias &fx_        "&put; sweep; sop; fx; st; &get"
+alias &dc3        "&b; &jf -K 6; &b; &jf -K 4; &b"
 alias &dc4        "&b; &jf -K 7; &fx; &b; &jf -K 5; &fx; &b"

 # resubstitution scripts for the IWLS paper