10522 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	209e7c0896	Write Then infix.	2017-02-24 13:34:08 -05:00
Rob Rix	2f73758dfe	Define Algorithm as the Freer monad of AlgorithmF.	2017-02-24 13:28:44 -05:00
Rob Rix	edc09e4797	Correct the channel types fixture.	2017-02-24 12:00:12 -05:00
Rob Rix	0510e116f1	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-24 11:57:08 -05:00
Rob Rix	4b04e7f2eb	Fix up some go fixtures.	2017-02-24 11:51:37 -05:00
Rob Rix	1577dd2d0d	Merge pull request #1027 from github/example-generator ... Script to generate example expected output	2017-02-24 11:50:51 -05:00
Timothy Clem	035dd01171	Sorting for no good reason	2017-02-24 08:44:50 -08:00
Timothy Clem	cc92808789	Give the Go expected output some newlines	2017-02-24 08:44:03 -08:00
Rob Rix	8b5dfbee42	Merge branch 'master' into interpreter-decomposition	2017-02-24 11:43:48 -05:00
Timothy Clem	7e0ddeac5e	Merge remote-tracking branch 'origin/master' into example-generator	2017-02-24 08:43:33 -08:00
Rob Rix	f41c43fba9	Merge pull request #1023 from github/transition-go-tests ... Transition Go tests	2017-02-24 11:42:50 -05:00
Rob Rix	0d28bde257	…and the rest.	2017-02-24 11:42:11 -05:00
Timothy Clem	517876d7e6	Make sure javascript example expected outputs end with newline	2017-02-24 08:39:01 -08:00
Timothy Clem	6164c4c766	Update all ruby example expected outputs to end with newline	2017-02-24 08:37:35 -08:00
Timothy Clem	a900e48b44	New script for generating examples	2017-02-24 08:36:18 -08:00
Rob Rix	e5555ea133	Correct boolean operator tests.	2017-02-24 10:53:28 -05:00
Rob Rix	76d76c928c	Correct the Ruby rescue modifier fixtures.	2017-02-24 10:49:41 -05:00
Rob Rix	bd7306af4a	Merge remote-tracking branch 'origin/master' into interpreter-decomposition	2017-02-24 10:21:37 -05:00
Rob Rix	04a0f8b913	Export the algorithm-running functions.	2017-02-24 10:00:21 -05:00
Rob Rix	0f86062a03	Don’t return the steps in Either.	2017-02-24 09:59:29 -05:00
Rob Rix	39c49184d3	Define a function to return the steps taken during the evaluation of an algorithm.	2017-02-24 09:58:45 -05:00
Rob Rix	877f8a4171	📝 run, runStep.	2017-02-24 09:54:37 -05:00
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