Python: Do pruning in QL.#1292

Merged

taus-semmle merged 11 commits into

github:masterfrom

markshannon:python-prune-in-ql

Jun 19, 2019

Commits on May 9, 2019

Python: do pruning in QL.
markshannon
committed

Commits on May 10, 2019

Python QL: Clean up pruning code, renaming and adding comments for clarity.
markshannon
committed

Commits on May 15, 2019

Python: Fix CP in pruner and cache to avoid re-evaluation.
markshannon
committed

Commits on May 17, 2019

Python: Avoid bad magic.
markshannon
committed

Commits on Jun 13, 2019

Commits on Jun 14, 2019

Commits on Jun 19, 2019