Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Better REUC generation when merging #3489
First, we optimize the way REUC insertion works to make it hundreds of times faster (from 17s to 200ms when inserting 39k entries).
Second, we add a merge trees flag that allows us to skip the REUC generation altogether (for users that don't need to display merge results).
Lastly, we plug a small memory leak that we introduced with the
Nice, clean code here.