cleanup a few overlong lines and trailing ws, etc.
Merge remote-tracking branch 'origin/master' into cleanup
Merge pull request #104 from regehr/cleanup

cleanup a few overlong lines and trailing ws
hide Redis in a KVStore class

perform static profiling properly

take the port number of the Redis server from the command line

N.B. static profile counts for non-optimizations are off by 5x for the opt pass,
because the pass runs 5 times. I don't think we care since optimizations and
non-optimizations will always be ranked separately. profiling of
non-optimizations is a niche use case anyway.
Merge pull request #103 from regehr/redis-refactor

redis refactoring
change the serialized souper format a bit as suggested by Peter in email:
annotate each block with its number of predecessors; this simplifies parsing a
bit
bump LLVM in preparation for blog post
oops this slipped through my earlier patch to remove isTriviallyInvalid
Merge pull request #109 from regehr/blockpred

change the serialized souper format a bit as suggested by Peter in email
Merge pull request #113 from regehr/cleanup-triviallyinvalid

oops this slipped through my earlier patch to remove isTriviallyInvalid
Merge pull request #110 from regehr/bump-llvm

bump LLVM in preparation for blog post
Add integer synthesis

Remove third_party/klee and rerun update_deps.sh.
To enable iN synthesis, use z3 and add the -souper-iN-synthesis
cmd flag to the souper or set the SOUPER_INT_SYNTHESIS env variable
if you are using the sclang/sclang++ driver.

For some queries, z3 eats up the whole memory. Therefore, set the ulimits
and the SOUPER_IGNORE_SOLVER_ERRORS env var for the pass, e.g.,

ulimit -m 8000000
ulimit -v 8000000

export SOUPER_SOLVER="-z3-path=`which z3`"
export SOUPER_INT_SYNTHESIS=1
export SOUPER_IGNORE_SOLVER_ERRORS=1
Address @ppc comments