Closed oflatt closed 6 months ago
This PR improves the context rules, with fine-grained control of how deep to copy. It also fixes our saturation issues by keeping track of a list of eclasses already visited, and subsuming rows that have encountered a cycle.
This PR improves the context rules, with fine-grained control of how deep to copy. It also fixes our saturation issues by keeping track of a list of eclasses already visited, and subsuming rows that have encountered a cycle.