glift: Add `-create-imprecise` command, rename other commands, and re-work the help...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 28 Apr 2020 06:13:12 +0000 (06:13 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Wed, 1 Jul 2020 19:51:46 +0000 (19:51 +0000)
commitddfb9f08e20557ab434017a053f14067992b0ea9
tree75dabcbf4130d791a3785f17137f33e5a50ecc08
parentca3844d44e07a86d22d6026861cd405f80b0d321
glift: Add `-create-imprecise` command, rename other commands, and re-work the help text.
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