1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00
Commit Graph

10934 Commits

Author SHA1 Message Date
Rob Rix
1b8c1f11d3 Merge branch 'master' into update-parse-command 2017-03-24 14:31:11 -04:00
Rob Rix
ae114c2023 Merge pull request #1049 from github/custom-setup-stanza
Custom setup stanza
2017-03-24 14:30:30 -04:00
Rob Rix
6f51d40cb5 Merge branch 'master' into update-parse-command 2017-03-24 14:27:34 -04:00
Rob Rix
e507750069 Merge branch 'master' into custom-setup-stanza 2017-03-24 14:26:25 -04:00
Rob Rix
682032aeb9 Merge pull request #1038 from github/myers-algorithm-in-proof-refinement-style
Myers’ algorithm in proof refinement style
2017-03-24 14:21:18 -04:00
Rob Rix
e5f018c619 Just say State. 2017-03-24 14:13:41 -04:00
Rob Rix
66706c31de 🔥 diffAt, Cost, &c. 2017-03-24 14:12:14 -04:00
Rob Rix
fedacdc7d5 🔥 continue. 2017-03-24 14:06:57 -04:00
Timothy Clem
c807c8271b ++haskell-tree-sitter to have custom setup stanza 2017-03-24 10:43:43 -07:00
Timothy Clem
c66631cfa6 Add custom-setup stanza to fix build warnings 2017-03-24 10:43:23 -07:00
Rob Rix
2a1fb5ad36 Partially apply decompose. 2017-03-23 16:39:57 -04:00
Rob Rix
f8b3d1490b Index the state array by Diagonal. 2017-03-23 15:57:13 -04:00
Rob Rix
973d873297 Derive an instance of Ix for Diagonal. 2017-03-23 15:54:46 -04:00
Rob Rix
6ca3d56269 Derive an Ord instance for Diagonal. 2017-03-23 15:52:13 -04:00
Rob Rix
ce0b93dd30 Rename slide -> slideFrom. 2017-03-23 15:50:16 -04:00
Rob Rix
ade6a50b30 Use the state array’s bounds to obviate the need for index transformations. 2017-03-23 15:48:29 -04:00
Rob Rix
95d38df8c4 Add a few more exports. 2017-03-23 15:41:56 -04:00
Rob Rix
a5f33b1bc6 Explicitly enumerate the exports from SES.Myers. 2017-03-23 15:40:17 -04:00
Rob Rix
2b01729a6f Rename StepF to Step. 2017-03-23 15:38:10 -04:00
Rob Rix
5f9899f6fc 🔥 liftShowsQuaternary & liftShowsQuinary. 2017-03-23 15:35:11 -04:00
Rob Rix
7f13ef23a2 📝 all the things. 2017-03-23 15:34:52 -04:00
Rob Rix
70b825ecbb Move State into the implementation details section. 2017-03-23 14:55:12 -04:00
Rob Rix
af04668fc5 Move ses into its own section. 2017-03-23 14:54:18 -04:00
Rob Rix
8a5d2f1fa7 Represent downward/rightward moves explicitly in the DSL. 2017-03-23 14:51:45 -04:00
Rob Rix
2118ea17d1 SetK takes an endpoint. 2017-03-23 14:34:32 -04:00
Rob Rix
2567d185c8 Placate hlint. 2017-03-23 14:34:04 -04:00
Rob Rix
19c559ab74 Endpoints carry edit scripts. 2017-03-23 14:31:50 -04:00
Rob Rix
347e96f31a Add phantom type parameters to Endpoint. 2017-03-23 14:22:56 -04:00
Rob Rix
1ab51de582 Update the failing test’s fixture.
I’m pretty sure this is due to us producing a different shortest edit script than the old implementation (but still a correct one, and a shortest one—just a different correct/shortest one), and that in turn causing RWS to make different choices.
2017-03-23 14:21:09 -04:00
Rob Rix
a13c7f009f Correct the type annotations in the tests. 2017-03-23 14:14:03 -04:00
Rob Rix
452842b197 Correct the calls into SES from lcs & editDistance. 2017-03-23 14:08:52 -04:00
Rob Rix
759b5515f9 ses is the main entry point. 2017-03-23 13:28:40 -04:00
Rob Rix
7a0efc3391 🔥 the bounds check in runSearchAlongK. 2017-03-23 13:24:38 -04:00
Rob Rix
3130ae48e9 Bounds-check k in searchUpToD. 2017-03-23 13:24:27 -04:00
Rick Winfrey
7371c7d7c2 Merge branch 'master' into update-parse-command 2017-03-23 10:18:32 -07:00
Rob Rix
77a58106d5 Merge remote-tracking branch 'origin/master' into myers-algorithm-in-proof-refinement-style 2017-03-23 10:58:19 -04:00
Rob Rix
17fad7ce14 Tidy up slide evaluation. 2017-03-23 10:48:51 -04:00
Rob Rix
88b4e5fe06 🔥 getEq. 2017-03-23 10:46:30 -04:00
Rob Rix
ee0554c22b Read the comparator from the environment. 2017-03-23 10:46:03 -04:00
Rob Rix
41928ba594 Read the edit graph from the environment instead of passing it around. 2017-03-23 10:44:24 -04:00
Rob Rix
a873891ce7 Inline decompose. 2017-03-23 10:29:09 -04:00
Rob Rix
6a3ea32528 Extract bounds-checking for k. 2017-03-23 10:21:33 -04:00
Rob Rix
3568859147 Bounds-check when setting k. 2017-03-23 10:15:55 -04:00
Rob Rix
66d8e618b5 Extract the runSlide evaluator. 2017-03-23 10:14:50 -04:00
Rob Rix
bdb1670f67 Move the ! overload to the top level. 2017-03-23 10:13:40 -04:00
Rob Rix
83efbb56b6 Extract the setK evaluator. 2017-03-23 10:10:40 -04:00
Rob Rix
03808897cf Extract the getK evaluator. 2017-03-23 10:08:47 -04:00
Rob Rix
3106894876 Extract the moveFromAdjacent evaluator. 2017-03-23 10:07:48 -04:00
Rob Rix
b477a93dba Extract the searchAlongK evaluator. 2017-03-23 10:06:53 -04:00
Rob Rix
2b1bf43a1e Pop a couple of call stacks. 2017-03-23 10:05:27 -04:00