Dataflow: Add change notes.

aschackmull · aschackmull · commit e72a0b2f8cbc · 2023-07-19T11:41:15.000+02:00
diff --git a/cpp/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/cpp/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/csharp/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/csharp/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/go/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/go/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/java/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/java/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/python/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/python/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/ruby/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/ruby/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
diff --git a/swift/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md b/swift/ql/lib/change-notes/2023-07-19-neverskip-additionalstep.md
@@ -0,0 +1,8 @@
+---
+category: minorAnalysis
+---
+* Data flow configurations can now include a predicate `neverSkip(Node node)`
+  in order to ensure inclusion of certain nodes in the path explanations. The
+  predicate defaults to the end-points of the additional flow steps provided in
+  the configuration, which means that such steps now always are visible by
+  default in path explanations.
