- User Since
- Aug 11 2015, 3:08 PM (242 w, 11 h)
Jan 20 2016
I felt lonely and made another round of trials. Turns out it's the map reuse (or the lack of thereof) was the reason for the regression.
Jan 19 2016
Since it's a pretty basic fix that does not change the logic (except of reusing GlobalValueVisited, which was already reviewed), I will go ahead and submit this revision.
Jan 15 2016