COMMITS
September 1, 2026
T
Python: Add telemetry for Python analysis version
Taus committed
Y
Python: Restrict the set of throwing exceptions
yoff committed
J
Merge pull request #22482 from github/jketema/simpilfy-bazel
Jeroen Ketema committed
J
Unified: fix formatting
Jeroen Ketema committed
J
Unified: simplify Bazel build
Jeroen Ketema committed
J
Merge pull request #22478 from github/jketema/static-followup
Jeroen Ketema committed
T
Merge pull request #22481 from hvitved/unified/static-namebinding-extensions
Tom Hvitved committed
T
Unified: Move `extension` workaround into static name binding library
Tom Hvitved committed
K
Merge pull request #22480 from kaspersv/kaspersv/rtjo-disable-reordering
Kasper Svendsen committed
A
Merge pull request #22475 from aschackmull/unified/ast-binaryexpr
Anders Schack-Mulligen committed
A
Merge branch 'main' into unified/ast-binaryexpr
Anders Schack-Mulligen committed
A
Merge pull request #22474 from aschackmull/unified/debug-ast
Anders Schack-Mulligen committed
M
Merge pull request #22468 from michaelnebel/csharp/refactorfeedmanager
Michael Nebel committed
A
Merge pull request #22476 from aschackmull/cfg/tweaks
Anders Schack-Mulligen committed
A
Unified: Add qldoc.
Anders Schack-Mulligen committed
A
CFG: Exclude 'try's from post-order in case they're Exprs.
Anders Schack-Mulligen committed
A
Unified: Add more logical expressions to AstExtra.
Anders Schack-Mulligen committed
A
Unified: Add BinaryExpr.getAnOperand to FacadeAst.
Anders Schack-Mulligen committed
A
Unified: Add a debug query to view the AST as a graph.
Anders Schack-Mulligen committed
A
Merge pull request #22469 from aschackmull/unified/callable
Anders Schack-Mulligen committed
M
Merge pull request #22472 from github/workflow/coverage/update
Michael Nebel committed
J
Unified: Enable on Arm64
Jeroen Ketema committed
August 25, 2026
Y
Python: model throwing leaves as post-order
yoff committed
August 19, 2026
Y
Python: wire leaf exceptions to catch entries
yoff committed
Y
Python: test shared CFG exception reachability
yoff committed
August 28, 2026
A
Unified: Add control flow graph.
Anders Schack-Mulligen committed
August 27, 2026
P
Skip mono/nuget C# integration tests on Ubuntu 26.04
Paolo Tranquilli committed
T
Rust: Derive source/sink/barrier MaD implementation models from trait models
Tom Hvitved committed
T
FlowSummaryImpl: Align source/sink/barrier prioriterization with that for summaries
Tom Hvitved committed
T
Rust: Add source/sink/barrier MaD trait tests
Tom Hvitved committed