glift: Change command names to better represent their functions.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 9 Jun 2020 22:56:57 +0000 (22:56 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Wed, 1 Jul 2020 19:51:46 +0000 (19:51 +0000)
commitbc207d5426c5c41e103ca54dbb31cab573d66df2
treeff484f4e3f418b35edab64ee6a0b23c8a4c9cc71
parentddfb9f08e20557ab434017a053f14067992b0ea9
glift: Change command names to better represent their functions.
examples/smtbmc/glift/C7552.ys
examples/smtbmc/glift/C880.ys
examples/smtbmc/glift/alu2.ys
examples/smtbmc/glift/alu4.ys
examples/smtbmc/glift/mux2.ys
examples/smtbmc/glift/t481.ys
examples/smtbmc/glift/too_large.ys
examples/smtbmc/glift/ttt2.ys
examples/smtbmc/glift/x1.ys
passes/cmds/glift.cc