On 05/18/2017 04:56 AM, David Miller wrote: [...]
Ok, applied, but we should continue trying to make the pruner more effective.
Yeah, agree, I was planning to look into states_equal() for the current alignment tracking we do and what we can optimize resp. what needs to be fixed there on pruning side for -net tree with regards to my prior mail on that. If you haven't started, I could look into this next Monday at latest. Thanks, Daniel