Commits

History for

Commits on Jun 22, 2026

Python: deprecate AstNode.getAFlowNode() and rewrite internal callers

Copilot
authored and
yoff
committed
717ff62

Commits on Nov 26, 2025

Python: Fix queries and tests
tausbn
committed
cd1619b
Python: Get rid of points-to from `Definitions.qll`
tausbn
committed
e098404
Python: Remove points-to references from `python.qll`
tausbn
committed
78c33ab

Commits on Oct 30, 2025

Python: Remove points-to from `Expr`
tausbn
committed
b93ce98

Commits on Jan 20, 2022

simplify expressions that could be type-casts
erik-krogh
committed
4e8e3a7

Commits on Jul 7, 2020

Python: Autoformat everything using `qlformat`.
tausbn
committed
f07a7bf

Commits on Dec 20, 2019

Commits on Feb 20, 2019

Python move various theXXX() predicates into the appropriate module.
markshannon
committed
35fa5d8

Commits on Nov 19, 2018

Initial commit of Python queries and QL libraries.

Mark Shannon
authored and
markshannon
committed
5f58824

Loading