10600 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	85c4364dfb	Define maybeLinearly in terms of Algorithm constructors.	2017-02-24 09:48:16 -05:00
Rob Rix	60c4f9a4a3	Tighten up the type signature of algorithmWithTerms.	2017-02-24 09:45:43 -05:00
Rob Rix	31e566386f	Move the functions around.	2017-02-24 09:35:53 -05:00
Rob Rix	df0019708e	🔥 runAlgorithm.	2017-02-24 09:27:34 -05:00
Rob Rix	8798bbfe77	🔥 diffComparableTerms.	2017-02-24 09:27:26 -05:00
Rob Rix	6210711a23	Perform diffs using the decompositional interpreter.	2017-02-24 09:23:03 -05:00
Rob Rix	04ee76ebcb	Define big-step interpretation in terms of small-step interpretation.	2017-02-24 09:15:29 -05:00
Rob Rix	cefd594191	Define small-step interpretation in terms of decompose.	2017-02-24 09:12:37 -05:00
Rob Rix	845ae84d9e	Use the SyntaxDiff/SyntaxTerm type synonyms.	2017-02-24 09:12:27 -05:00
Josh Vera	3f34257e6a	Merge branch 'master' into transition-go-tests	2017-02-23 18:50:12 -05:00
Josh Vera	9184275393	Merge pull request #1024 from github/transition-javascript-tests ... Transition JavaScript tests	2017-02-23 18:49:42 -05:00
Rob Rix	ef76256755	Construct pairwise diffs via algorithmWithTerms.	2017-02-23 16:54:32 -05:00
Rob Rix	5223c2c59f	Specialize decompose to Syntax.	2017-02-23 16:54:08 -05:00
Rob Rix	fe6d54ae04	Stub in handling of the Diff case.	2017-02-23 16:48:38 -05:00
Rob Rix	975c310e97	Inline the definition of annotate.	2017-02-23 16:42:41 -05:00
Rob Rix	9a42405112	Recur correctly for Diff algorithms.	2017-02-23 16:38:26 -05:00
Rob Rix	ae4f8da722	🔥 the truly constant-time approximation.	2017-02-23 16:36:36 -05:00
Rob Rix	e74b4e9e15	Approximate the edit distance similarly to how we did before.	2017-02-23 16:27:24 -05:00
Rob Rix	7b7ad1bce1	Merge branch 'interpreter-decomposition' of https://github.com/github/semantic-diff into interpreter-decomposition	2017-02-23 16:13:46 -05:00
Rob Rix	18cd862dc3	Parameterize rws by the approximate edit distance.	2017-02-23 16:13:42 -05:00
Timothy Clem	378d4b3702	Merge branch 'master' into interpreter-decomposition	2017-02-23 13:03:06 -08:00
Timothy Clem	c6d0056a9e	Merge branch 'master' into transition-go-tests	2017-02-23 13:00:13 -08:00
Timothy Clem	2e371cedab	Merge branch 'master' into transition-javascript-tests	2017-02-23 13:00:09 -08:00
Timothy Clem	a9f2ced8d7	Merge pull request #1021 from github/remove-profile-as-submodule ... Remove profile as submodule	2017-02-23 12:59:11 -08:00
Rob Rix	dd66977731	Merge branch 'master' into remove-profile-as-submodule	2017-02-23 15:51:31 -05:00
Rob Rix	b9b8f2d04b	Merge pull request #1020 from github/remove-corpus-specs ... 🔥 corpus specs and fixtures entirely	2017-02-23 15:50:57 -05:00
Josh Vera	1047289697	Merge branch 'master' into transition-javascript-tests	2017-02-23 15:16:34 -05:00
Josh Vera	9108a86e69	Merge branch 'master' into transition-go-tests	2017-02-23 15:16:30 -05:00
Josh Vera	b803bf0f6a	Merge branch 'master' into remove-profile-as-submodule	2017-02-23 15:16:22 -05:00
Josh Vera	2e6192386d	Merge branch 'master' into remove-corpus-specs	2017-02-23 15:16:12 -05:00
Rob Rix	98e9da9249	SES produces edit scripts in These.	2017-02-23 14:35:40 -05:00
Rob Rix	8237a6aafd	RWS uses compare instead of constructing insertions/deletions itself.	2017-02-23 14:19:29 -05:00
Rob Rix	ef2715f4f0	RWS’s comparison function takes These.	2017-02-23 14:17:52 -05:00
Rob Rix	22236ebd7e	Give RWS separate functions for comparisons and determining whether a comparison should be made.	2017-02-23 14:13:13 -05:00
Rob Rix	36ae3053b4	Use the diffThese combinator to recur in linear decomposition.	2017-02-23 14:12:39 -05:00
Rob Rix	c6461ce94c	Extract the comparability test.	2017-02-23 14:05:25 -05:00
Rob Rix	70bb820b03	Extract a function to measure the edit distance between comparable terms or the maximum Int otherwise.	2017-02-23 13:58:32 -05:00
Timothy Clem	804b998c93	Migrate go tests to new format	2017-02-23 10:06:49 -08:00
Timothy Clem	2ce8ef408c	Remove JSON formatting integration tests	2017-02-23 09:56:46 -08:00
Timothy Clem	6e9a2d24d9	Migrate javascript test cases over	2017-02-23 09:55:30 -08:00
Timothy Clem	b80667f5b4	Remove profile as submodule and just include the js directly	2017-02-23 09:32:24 -08:00
Rob Rix	0485a9bfc7	📝 diffThese.	2017-02-23 12:30:26 -05:00
Rob Rix	27ff7ee9ca	Define a smart constructor to diff a These of terms.	2017-02-23 12:25:45 -05:00
Rob Rix	0cfab0205f	Define a constructor for top-level, unconstrained diffs.	2017-02-23 12:24:31 -05:00
Timothy Clem	02c2a7aac9	Remove corpus specs and fixtures entirely	2017-02-23 09:19:30 -08:00
Rob Rix	5a63ceb864	Linear algorithms recur linearly.	2017-02-23 12:12:32 -05:00
Rob Rix	6356967923	📝 decompose’s signature.	2017-02-23 12:11:42 -05:00
Rob Rix	06f6192a43	Reformat decompose’s type signature.	2017-02-23 12:10:35 -05:00
Rob Rix	fa42615dc7	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-23 12:00:57 -05:00
Rob Rix	6ce9f432b7	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-23 12:00:22 -05:00