1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Commit Graph

11112 Commits

Author SHA1 Message Date
Rob Rix
9c8401037e Revert "Rename the Myers SES/LCS to indicate their linear space performance."
This reverts commit 77a1791a6831c788197a8c2e3993c51798754ed3.
2017-03-15 11:17:52 -04:00
Rob Rix
b42c7e3d05 Rename the Myers SES/LCS to indicate their linear space performance. 2017-03-15 10:33:27 -04:00
Rob Rix
41427333d4 Run SES using Myers’ algorithm. 2017-03-14 23:07:01 -04:00
Rob Rix
217b0821a7 Run Myers’ algorithm without constructing the intermediate steps. 2017-03-14 23:04:20 -04:00
Rob Rix
5399c9cfae Consolidate more of the derived state. 2017-03-14 22:43:35 -04:00
Rob Rix
3cf5deb5f4 Use a list comprehension to tighten up SES. 2017-03-14 22:38:34 -04:00
Rob Rix
1c731b2e79 Consolidate the division & conquest of LCS/SES. 2017-03-14 22:36:15 -04:00
Rob Rix
de1c596d0f Use an irrefutable pattern to eliminate the error call. 2017-03-14 22:27:41 -04:00
Rob Rix
a63ab09f0b Extract showsTernaryWith/showsQuaternaryWith to the top level. 2017-03-14 22:24:32 -04:00
Rob Rix
dfad93cfc1 Use multiple type parameters to help enforce correctness. 2017-03-14 22:18:02 -04:00
Rob Rix
dceff54c31 EditGraph has two type parameters. 2017-03-14 22:02:21 -04:00
Rob Rix
51cd572b3b Simplify the individual insertion/deletion code. 2017-03-14 21:53:06 -04:00
Rob Rix
f01cf5f84c SES constructs individual insertions. 2017-03-14 21:49:30 -04:00
Rob Rix
c2f76be95f Index the vector instead of slicing. 2017-03-14 21:48:37 -04:00
Rob Rix
0f76dd2898 SES constructs individual deletions. 2017-03-14 21:47:04 -04:00
Rob Rix
44c4312632 Don’t re-fetch the lengths. 2017-03-14 21:36:43 -04:00
Rob Rix
6bbbb962ea Invert the reverse endpoint. 2017-03-14 21:23:14 -04:00
Rob Rix
0f897b791e 🔥 nth. 2017-03-14 16:24:04 -04:00
Rob Rix
aaf7f8ac35 🔥 an unused binding. 2017-03-14 16:14:30 -04:00
Rob Rix
2395c95ffd Simplify how we select the nth element from the edit graph. 2017-03-14 15:58:58 -04:00
Rob Rix
70968be726 🔥 getOppositeEndpoint. 2017-03-14 15:55:08 -04:00
Rob Rix
ef3748d45f 🔥 done; we don’t need to invert the reverse endpoint apparently. 2017-03-14 15:53:30 -04:00
Rob Rix
456b617807 Correct the overlaps test. 2017-03-14 15:42:02 -04:00
Rob Rix
72a836cd8e Simplify the feasibility test. 2017-03-14 15:40:02 -04:00
Rob Rix
7db9354965 Unpack k on the left hand side. 2017-03-14 15:35:29 -04:00
Rob Rix
85cee25598 Be consistent in the use of k. 2017-03-14 15:30:41 -04:00
Rob Rix
258f1de677 Check for overlap in the correct diagonal. 2017-03-14 15:29:27 -04:00
Rob Rix
78a13970d2 Get the opposite endpoint correctly. 2017-03-14 15:28:37 -04:00
Rob Rix
f8c8bf1d07 Wrap indices around the state vector. 2017-03-14 15:23:10 -04:00
Rob Rix
d33216f1b5 Parenthesize for precedence. 2017-03-14 15:01:21 -04:00
Rob Rix
9e3b440a18 🔥 the local binding of !. 2017-03-14 15:01:11 -04:00
Rob Rix
270187c050 Don’t hard-code the direction. 2017-03-14 14:37:15 -04:00
Rob Rix
6f5c52345b Define a sliding operation. 2017-03-14 14:30:45 -04:00
Rob Rix
5c878d0b63 Consolidate showing the graph. 2017-03-14 14:24:24 -04:00
Rob Rix
bdcee42716 Simplify the packing/unpacking of the diagonal. 2017-03-14 14:16:50 -04:00
Rob Rix
4cb9889dc9 Simplify how the endpoint is selected. 2017-03-14 14:16:03 -04:00
Rob Rix
2da73c083e Only show the steps in MyersF. 2017-03-14 14:10:46 -04:00
Rob Rix
287fa3f7af Define a SetK operator. 2017-03-14 14:07:31 -04:00
Rob Rix
ca38c098f6 Use getK to simplify getOppositeEndpoint. 2017-03-14 13:58:34 -04:00
Rob Rix
69ee63b692 Add an operation for getting the endpoint along diagonal k. 2017-03-14 13:54:32 -04:00
Timothy Clem
8d30a6f8b3 Cleanup prime methods 2017-03-13 16:46:52 -07:00
Timothy Clem
37931a38c1 Whitespace 2017-03-13 16:46:52 -07:00
Timothy Clem
652be339c6 Rework diffing for max parallelization 2017-03-13 16:46:52 -07:00
Timothy Clem
94dc2ac506 Implement NFData instances so we can deepseq 2017-03-13 16:46:52 -07:00
Timothy Clem
f0cb65eb2e Merge pull request #1037 from github/cantor-keys
SES (and other) optimizations
2017-03-13 16:46:17 -07:00
Timothy Clem
e4dc70a1ab Merge branch 'master' into cantor-keys 2017-03-13 16:04:29 -07:00
Rob Rix
85a1dc0106 Define a smart constructor for the edit distance. 2017-03-13 18:22:56 -04:00
Rob Rix
f63e810c31 Define an operation to compute the edit distance. 2017-03-13 18:22:14 -04:00
Rob Rix
381e271924 Rename EditDistance to Distance. 2017-03-13 18:21:05 -04:00
Rob Rix
06cea9d528 Consolidate the search along a diagonal. 2017-03-13 18:17:30 -04:00