Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Turns out the hugr priority queue never dropped the old circuits in `truncate`. Now the memory usage remains ~constant once the queue reaches its maximum size.
- Loading branch information