diff --git a/cpp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/cpp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/cpp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/csharp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/csharp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/csharp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/go/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/go/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/go/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/java/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/java/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/java/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/python/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/python/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/python/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/ruby/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/ruby/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/ruby/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. + diff --git a/swift/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/swift/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md new file mode 100644 index 00000000000..c9aba58603a --- /dev/null +++ b/swift/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. + Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed. +