Skip to content

Various leak fixes in the simplifier

Matthew Pickering requested to merge wip/unfolding-leaks into master

See individual commits for details. The main benefit is from d04faaf3 which reduces the lifetime of Unfoldings so that it doesn't span over the code generation phase.

Merge request reports