google/souper — pull request #132 by regehr (2014-12-07 20:23:20+00:00)
Title: script improvements

- support a user-defined tag for cache entries so that cache-infer
can remember what it has accomplished if it gets killed or dies

- don't parse all LHSs by default, this was slow and wasn't turning
up problems

- be verbose, if asked