From 0f6bae0ae15cc53b56d3eb5221330eb418f819e8 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Fri, 16 Jan 2026 09:46:47 +0100 Subject: [PATCH] Add change notes --- cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ go/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ java/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ .../ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ python/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ rust/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ swift/ql/lib/change-notes/2026-01-16-summarized-callable.md | 4 ++++ 9 files changed, 36 insertions(+) create mode 100644 cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 go/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 java/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 python/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 rust/ql/lib/change-notes/2026-01-16-summarized-callable.md create mode 100644 swift/ql/lib/change-notes/2026-01-16-summarized-callable.md diff --git a/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md b/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md b/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..02c453207d4 --- /dev/null +++ b/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. \ No newline at end of file diff --git a/go/ql/lib/change-notes/2026-01-16-summarized-callable.md b/go/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/go/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/java/ql/lib/change-notes/2026-01-16-summarized-callable.md b/java/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/java/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md b/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/python/ql/lib/change-notes/2026-01-16-summarized-callable.md b/python/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/python/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md b/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md b/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed. diff --git a/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md b/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md new file mode 100644 index 00000000000..b6e5101617e --- /dev/null +++ b/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md @@ -0,0 +1,4 @@ +--- +category: minorAnalysis +--- +* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.