github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
10,601 Commits 19 Branches 16 Tags 46 MiB
9ab575b264
Commit Graph

10601 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Timothy Clem
fff9b6d3ef Refactor IO back out into Source and SemanticDiff 2017-02-28 15:45:38 -08:00
Timothy Clem
bfe1181acb Move Diff and Source Specs 2017-02-28 15:35:43 -08:00
Timothy Clem
4c3feecc77 Add ParseCommandSpec to validate parse output 2017-02-28 15:32:04 -08:00