Check in current state of scripts.
Merge branch 'master' of github.com:sos22/SLI
Fix the build when the optimisation recorder is turned off.
Merge branch 'master' of github.com:sos22/SLI
Fix thinko in realias analysis.
If avail analysis can derive a contradiction in its assumption then we
should replace the relevant side effect with just <unreached>, rather
than trying to do normal avail analysis.
Update run_minimal_direct_locally.sh a bit.
Add another missing case in the BDD quick simplifier.
Fix another silly mistake in the BDD quick simplifier.
Add a timeout check to BDD sanity checks.
We sometimes end up with pointers to frames which we know nothing
about.  Pick a conservative default rather than crashing.
More missing cases for BDD quickSimplify.
Better phi elimination: when the predecessor node is a bifurcate, add
the branch condition to the selection condition rather than to the
assumption.
Make sure that ImportRegister side effects correctly set the value of
the register in the symbolic executor state.
Another tweak to avail analysis to make it turn states into
<unreached> when there's a contradiction in the path assumption.
Whoops: fix silly mistake in the weak references stuff.
Correct implementation of runGc method for BDD const scopes.
Avoid exponential blowup in avail analysis by correctly respecting the
BDD structure.
Get rid of a bad assertion, and add a timeout check to bdd::zip.
Make sure that survivalConstraintIfExecutedAtomically doesn't crash if
enumEvalPaths times out.