1 files changed, 0 insertions, 78 deletions
diff --git a/abc.rc b/abc.rc
deleted file mode 100644
index 8a334225..00000000
--- a/abc.rc
+++ /dev/null
@@ -1,78 +0,0 @@
-# global parameters
-#set check         # checks intermediate networks
-#set checkfio      # prints warnings when fanins/fanouts are duplicated
-set checkread     # checks new networks after reading from file
-set backup        # saves backup networks retrived by "undo" and "recall"
-set savesteps 1   # sets the maximum number of backup networks to save
-
-# program names for internal calls
-set dotwin dot.exe
-set dotunix dot
-set gsviewwin gsview32.exe
-set gsviewunix gv
-set siswin sis.exe
-set sisunix sis
-set mvsiswin mvsis.exe
-set mvsisunix mvsis
-
-# standard aliases
-alias b balance
-alias cl cleanup
-alias clp collapse
-alias esd ext_seq_dcs
-alias f fraig
-alias fs fraig_sweep
-alias fsto fraig_store
-alias fres fraig_restore
-alias ft fraig_trust
-alias mu renode -m
-alias pex print_exdc -d
-alias pf print_factor
-alias pfan print_fanio
-alias pl print_level
-alias pio print_io
-alias pk print_kmap
-alias ps print_stats 
-alias psu print_supp
-alias psy print_symm
-alias q quit
-alias r read
-alias ren renode
-alias rl read_blif
-alias rb read_bench
-alias ret retime
-alias rp read_pla
-alias rv read_verilog
-alias rsup read_super mcnc5_old.super
-alias rlib read_library
-alias rw rewrite
-alias rwz rewrite -z
-alias rf refactor
-alias rfz refactor -z
-alias sa set autoexec ps
-alias so source -x
-alias st strash
-alias sw sweep
-alias ssw ssweep
-alias scl scleanup
-alias u undo
-alias wb write_blif
-alias wl write_blif
-alias wp write_pla
-alias wv write_verilog
-
-# standard scripts
-alias cnf       "st; ren -c; write_cnf"
-alias prove     "st; ren -c; sat"
-alias opt       "b; ren; b"
-alias share     "b; ren; fx; b"
-alias sharem    "b; ren -m; fx; b"
-alias sharedsd  "b; ren; dsd -g; sw; fx; b"
-alias resyn     "b; rw; rwz; b; rwz; b"
-alias resyn2    "b; rw; rf; b; rw; rwz; b; rfz; rwz; b"
-alias compress  "b; rw -l; rwz -l; b; rwz -l; b"
-alias compress2 "b; rw -l; rf -l; b; rw -l; rwz -l; b; rfz -l; rwz -l; b"
-alias choice    "fraig_store; resyn; fraig_store; resyn2; fraig_store; fraig_restore"
-alias choice2   "fraig_store; balance; fraig_store; resyn; fraig_store; resyn2; fraig_store; resyn2; fraig_store; fraig_restore"
-alias try       "st; fpga; miter; fraig -rp"
-