ReplacementContext (was PrintContext) is produced by the LHS parser
and printer, and consumed by the RHS parser and printer; it ensures
that the mapping between names and pointers is consistent across
multiple conversions between Souper's internal and serialized
representations

also, making print names for vars optional and off by default
Merge pull request #111 from regehr/printcontext

PrintContext is produced by the LHS parser and printer, and
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