search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Limit Producer-Consumer Fusion #141

Open Aaron3154518 opened 2 years ago

Aaron3154518 commented 2 years ago

We don't want to perform a producer-consumer fusion when the data space being removed is inside a subgraph but one of its read and/or write statement is not.