Add change notes

This commit is contained in:
Tom Hvitved
2026-01-16 09:46:47 +01:00
parent 93dad867cd
commit 0f6bae0ae1
9 changed files with 36 additions and 0 deletions

View File

@@ -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.