Skip to content

[FTD] Collect gamma tree predicates as control dependences - #1052

Draft
QinYuan2000 wants to merge 4 commits into
EPFL-LAP:mainfrom
QinYuan2000:fixgammasearch
Draft

QinYuan2000 wants to merge 4 commits into
EPFL-LAP:mainfrom
QinYuan2000:fixgammasearch

Conversation

@QinYuan2000

Copy link
Copy Markdown
Collaborator

When the consumer is an input of a gamma tree, the tree's predicates belong to the control dependences of the delivery.

The previous code only collected the predicates along the path from that input to the root. All of the tree's predicates are now collected, under the same filters as before.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant