Commits on Nov 24, 2020

1. Fix non-determinism in diffing algorithm …

   A previous attempt to add non-determinism to the diffing algorithm
   unfortunately broke the algorithm for half the cases.
   
   This change modifies the algorithm to truly switch between starting
   with a forward search versus a reverse search.
   The main for-loop of Difference would switch repeatedly between
   performing a forward search, then a reverse search, and vice-versa.
   Since we can't jump into the middle of a for-loop to start with the
   reverse search first, we use a series of labels and goto statements
   to accomplish the same effect.
   
   Fixes #238

   

   dsnet committed Nov 24, 2020
   Copy the full SHA

   18c5d48 View commit details

   Browse the repository at this point in the history