hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: Add change note for partial flow api change.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-10-27 09:46:46 +02:00
parent a5bfeb68a8
commit b106db6fda
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/change-notes/2023-10-27-partialflow-api.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: fix
---
* The API for debugging flow using partial flow has changed slightly. Instead of using `module Partial = FlowExploration<limit/0>` and choosing between `Partial::partialFlow` and `Partial::partialFlowRev`, you now choose between `module Partial = FlowExplorationFwd<limit/0>` and `module Partial = FlowExplorationRev<limit/0>`, and then always use `Partial::partialFlow`.