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,595 Commits 19 Branches 16 Tags 46 MiB
abb71497da
Commit Graph

10595 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Timothy Clem
1d9436bb14 Collapse all these tests into DiffCommandSpec 2017-02-28 15:00:56 -08:00
Timothy Clem
a478b10593 Test that all output formats do product output 2017-02-28 14:55:57 -08:00
Timothy Clem
dcfdcf78d3 Fold DiffSummary into Renderer.Summary 2017-02-28 14:09:57 -08:00
Timothy Clem
e3bdb6b95b Extract SemanticDiff.IO and clearly delineate program commands 2017-02-28 13:43:01 -08:00
Rob Rix
8e90172503 Merge branch 'master' into interpreter-decomposition 2017-02-28 13:10:11 -05:00
Timothy Clem
89f5d47a18 Merge pull request #1030 from github/category-tiers 
Implement tiers instead of list for Category
 2017-02-28 09:40:03 -08:00