Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Spines drop batches when their
I'm not aware of settings in which a trace has its frontier advanced to the empty frontier, but is not itself dropped. We could plausibly just remove the eager dropping of batches, and try and reconstruct which mode of execution holds on to more memory than it is supposed to, and track down whichever villains are holding on to traces the cannot read out of.