10602 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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