diff options
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -3,8 +3,10 @@ alias clp collapse alias esd ext_seq_dcs alias f fraig alias fs fraig_sweep +alias mu renode -m alias pf print_factor alias pfan print_fanio +alias pl print_level alias pio print_io alias ps print_stats alias psu print_supp @@ -21,10 +23,11 @@ alias so source -x alias st strash alias u undo alias wb write_blif -alias wg write_gate alias wl write_blif alias wp write_pla alias cnf "st; renode -c; write_cnf" alias prove "st; renode -c; sat" alias opt "st; b; renode; sop; ps" alias opts "st; b; renode; sop; st; b; ps" +alias share "st; b; renode -m; fx; st; b; ps" + |