Files
2026-02-02 12:09:09 +00:00

297 B

5.1.9

Minor Analysis Improvements

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