1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

10604 Commits

Author SHA1 Message Date
Rob Rix
31df8f05ad Define a For effect. 2017-03-09 14:17:33 -05:00
Rob Rix
34abcdcf0c Extract maxD. 2017-03-09 14:02:16 -05:00
Rob Rix
ad217cda68 Take an Int instead of a Diagonal. 2017-03-09 14:01:52 -05:00
Rob Rix
9ab575b264 at does not return in Myers. 2017-03-09 13:53:49 -05:00
Rob Rix
a41a4aa9b0 Merge branch 'myers-algorithm-in-proof-refinement-style' of https://github.com/github/semantic-diff into myers-algorithm-in-proof-refinement-style 2017-03-09 13:48:25 -05:00
Rob Rix
ca9539c9cb 🔥 isOdd in favour of odd.
🎩 @tclem.
2017-03-09 13:48:16 -05:00
Timothy Clem
ad0b1d2b63 Merge branch 'master' into myers-algorithm-in-proof-refinement-style 2017-03-09 09:49:59 -08:00
Timothy Clem
328ee8c2d9 Merge pull request #1036 from github/bytestring-sexpression-output
Use ByteString for parse output (sexpression, json)
2017-03-09 09:49:37 -08:00
Rob Rix
6917ca8f9e Add a helper to test whether a value is within an interval. 2017-03-09 12:34:50 -05:00
Rob Rix
abb71497da Add a helper to test whether an integer is odd. 2017-03-09 12:32:37 -05:00
Rob Rix
99069c3646 Stub in the computation of the furthest reverse d-path along k. 2017-03-09 12:28:05 -05:00
Rob Rix
8907ebbf8a Stub in the computation of the furthest d-path along k. 2017-03-09 12:26:44 -05:00
Rob Rix
faa7096368 Give a type for for. 2017-03-09 12:24:11 -05:00
Rob Rix
defd4a14ed Stub in the inner loop of middle snake. 2017-03-09 12:21:16 -05:00
Rob Rix
e57fb3cf84 Stub in the outer loop of middle snake. 2017-03-09 12:20:19 -05:00
Rob Rix
0e76f5a5cb Add a section header for evaluation. 2017-03-09 12:20:06 -05:00
Rob Rix
0e7667bac5 Add a smart constructor for FindDPath. 2017-03-09 12:19:58 -05:00
Rob Rix
6b696876ce Endpoint fields are strict. 2017-03-09 10:49:32 -05:00
Rob Rix
0624d24aa7 Define a test of endpoint overlap. 2017-03-09 10:48:11 -05:00
Rob Rix
4ad49d4f82 Get the endpoint at diagonal _k_. 2017-03-09 10:39:49 -05:00
Rob Rix
1a45bfcdd8 Compute the endpoint at some diagonal.
It currently doesn’t report the correct vertical index.
2017-03-09 10:39:28 -05:00
Rob Rix
2c2ab0337c Define a MonadState instance for Myers. 2017-03-09 10:38:57 -05:00
Rob Rix
a400c8f2af Model the state in Myers’ algorithm. 2017-03-09 10:30:42 -05:00
Rob Rix
384e016262 D-paths can be found in either direction. 2017-03-09 10:25:46 -05:00
Rob Rix
a2ef23491c Add a Direction type. 2017-03-09 10:25:08 -05:00
Rob Rix
aa01343a95 D-paths are reported as endpoints. 2017-03-09 10:24:37 -05:00
Rob Rix
911e03f761 Snakes are composed of endpoints. 2017-03-09 10:24:06 -05:00
Rob Rix
7889f1481b Stub in a type of endpoints. 2017-03-09 10:23:33 -05:00
Rob Rix
f6ada9b441 Stub in the decomposition of steps in Myers’ algorithm. 2017-03-09 10:22:36 -05:00
Rob Rix
aed09c20db Add a type synonym for Myers’ algorithm. 2017-03-09 10:20:10 -05:00
Rob Rix
2eb5c5183d Stub in a constructor for the top-level SES operation. 2017-03-09 10:18:50 -05:00
Rob Rix
acf68d4a43 Stub in a constructor for the furthest-reaching D-path in a given diagonal. 2017-03-09 10:17:43 -05:00
Rob Rix
1aebf61954 Report the edit distance alongside the middle snake. 2017-03-09 10:13:47 -05:00
Rob Rix
ac8b2865cf Define a MyersF datatype with a single constructor. 2017-03-09 10:12:41 -05:00
Rob Rix
9e8f6f75b3 Define a Snake datatype. 2017-03-09 10:12:30 -05:00
Rob Rix
93b9e285c2 SES.Myers
Stub in a module for Myers’ algorithm.
2017-03-09 10:10:13 -05:00
Timothy Clem
cf390cdfba Cleanup encodingToText 2017-03-08 14:57:17 -08:00
Timothy Clem
8bf09776e4 toS is a little cleaner here 2017-03-08 14:45:47 -08:00
Timothy Clem
c6be51156d Whitespace 2017-03-08 14:02:52 -08:00
Timothy Clem
68d1f1cd97 Fix up tests to use ByteString too 2017-03-08 13:56:08 -08:00
Timothy Clem
0cc056c06b Straightforward json encoding 2017-03-08 13:40:27 -08:00
Timothy Clem
58889e1038 Newline on end of JSON output, no longer pretty 2017-03-08 13:26:20 -08:00
Timothy Clem
a62b720dad Sexpression output is not text anymore 2017-03-08 13:10:10 -08:00
Timothy Clem
569fdd031b Construct sexpression output with ByteString 2017-03-08 11:40:37 -08:00
Timothy Clem
853e71495f Update transcode docs 2017-03-08 11:40:30 -08:00
Timothy Clem
3647e740f7 Render sexpression output as ByteString 2017-03-07 14:08:32 -08:00
Timothy Clem
eecca0915c Better name for output argument 2017-03-07 14:01:46 -08:00
Timothy Clem
6bb1a8deb4 Merge pull request #1031 from github/rework-io
Refactor: Write output in one place and enable asserting that output in our tests
2017-03-06 07:22:01 -08:00
Rob Rix
2cd497ae17 Merge branch 'master' into rework-io 2017-03-01 10:51:16 -05:00
Rob Rix
d0ebd48479 Merge pull request #1019 from github/interpreter-decomposition
Interpreter decomposition
2017-03-01 08:58:15 -05:00