15661 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	fb56d8b604	Merge branch 'master' into substructural-diffing	2017-09-25 11:59:14 -04:00
Timothy Clem	f40b6fd1c8	Merge pull request #1348 from github/toc-assignment ... New --toc-assignment flag	2017-09-25 08:55:59 -07:00
Timothy Clem	289b342ba0	Merge branch 'master' into toc-assignment	2017-09-25 08:47:30 -07:00
Rob Rix	c7c1161310	Merge branch 'master' into substructural-diffing	2017-09-25 11:47:26 -04:00
Rob Rix	7e167a75b4	Merge pull request #1341 from github/alternative-algorithms ... Alternative Algorithms	2017-09-25 11:46:47 -04:00
Rob Rix	5d812f3a03	Merge branch 'master' into alternative-algorithms	2017-09-25 11:44:17 -04:00
Timothy Clem	4b311dba8e	Merge pull request #1349 from github/log-tags ... Tag log entries so we can sort, filter, and stat	2017-09-25 08:43:13 -07:00
Rob Rix	8babcb9579	🔥 Symmetrical.	2017-09-25 11:35:10 -04:00
Rob Rix	8975856504	Merge branch 'alternative-algorithms' into substructural-diffing	2017-09-25 11:30:58 -04:00
Rob Rix	76037c08b2	Merge branch 'master' into alternative-algorithms	2017-09-25 11:29:44 -04:00
Rob Rix	7786e35bfe	Opt Context nodes into comparisons.	2017-09-25 11:28:19 -04:00
Timothy Clem	ddebcc044d	Make it really clear where we are headed	2017-09-25 08:24:48 -07:00
Rob Rix	c3e7c62fcf	Limit the Interpreter exports.	2017-09-25 11:24:21 -04:00
Rob Rix	67a6071245	Revert "Provide a diffThese wrapper which falls back by replacing." ... This reverts commit 3a34cd01481bd0aab038faf41c8aaf613e5e3773.	2017-09-25 11:06:56 -04:00
Timothy Clem	0290e63095	Whoops, these need to be tuples	2017-09-25 08:06:11 -07:00
Rob Rix	6df6c80202	Spacing.	2017-09-25 11:02:07 -04:00
Rob Rix	4c87a91f19	Use the correct functions in the diffs.	2017-09-25 10:57:28 -04:00
Rob Rix	919f166f7a	Move diffRecursively into Interpreter & rename.	2017-09-25 10:55:44 -04:00
Rob Rix	e075cf491d	Provide a diffThese wrapper which falls back by replacing.	2017-09-25 10:33:59 -04:00
Rob Rix	3c09621891	Eta-reduce algorithmFor.	2017-09-25 09:10:44 -04:00
Rob Rix	bee5470602	Fix some more indentation.	2017-09-23 09:12:58 -04:00
Rob Rix	345d0d910f	Fix some indentation.	2017-09-23 09:12:19 -04:00
Rob Rix	28c318900d	🔥 redundant parens.	2017-09-23 09:04:19 -04:00
Rob Rix	c9311c0607	Generalize runAlgorithm to produce any result type.	2017-09-23 08:52:11 -04:00
Rob Rix	aa8fe13355	Correct the indentation of the runAlgorithm signature.	2017-09-23 08:51:22 -04:00
Rob Rix	dd9b811aeb	Linearly operates on terms once more.	2017-09-22 23:07:41 -04:00
Rob Rix	528728d01c	Redefine GAlign to merge into an Alternative context.	2017-09-22 23:02:08 -04:00
Rob Rix	af5fc79ed5	Simplify the flow a little.	2017-09-22 22:30:16 -04:00
Rob Rix	9c1ef71a78	Re-abstract Algorithm over the term and result types.	2017-09-22 22:24:50 -04:00
Rob Rix	88b52bed3d	Recur via diff.	2017-09-22 22:24:36 -04:00
Rob Rix	9c5b669fbb	Generalize Linear to operate on the syntax functor.	2017-09-22 22:00:00 -04:00
Rob Rix	dc32dfdcd9	Generalize subalgorithmFor over arbitrary Alternative functors.	2017-09-22 21:35:37 -04:00
Rob Rix	1aa96e3a0e	🔥 the default sig for subalgorithmFor.	2017-09-22 21:33:25 -04:00
Rob Rix	aff0542ff3	Parameterize Algorithm by the syntax and annotation types.	2017-09-22 20:18:48 -04:00
Timothy Clem	bdb71f23d0	Merge branch 'master' into log-tags	2017-09-22 10:28:57 -07:00
Timothy Clem	0c6d04ff60	Merge branch 'master' into toc-assignment	2017-09-22 10:28:48 -07:00
Timothy Clem	dd4726dbb0	Merge pull request #1350 from github/add-dependent-file-to-json ... Add addDependentFileRelative call to json grammar	2017-09-22 10:28:33 -07:00
Timothy Clem	6a0636ac5f	Tag log entries so we can sort, filter, and stat	2017-09-22 10:09:29 -07:00
joshvera	85ee878bdc	Remove snapshot.yaml	2017-09-22 13:02:16 -04:00
joshvera	1c7962b4a1	addDependentFileRelative for json	2017-09-22 12:59:17 -04:00
Timothy Clem	7172d8ac0d	New --toc-assignment flag	2017-09-22 09:31:51 -07:00
Josh Vera	a351b53678	Merge pull request #1346 from github/custom-snapshot ... Custom snapshot	2017-09-20 11:04:15 -04:00
Rob Rix	a84fe3af4c	Extract the algorithm evaluator.	2017-09-19 17:13:22 -04:00
Rob Rix	35aa83fb7a	🔥 a bunch of Eq1 constraints.	2017-09-19 17:13:01 -04:00
Rob Rix	d0e24b6895	Widen equivalence to consider the subjects of context nodes on both side.	2017-09-19 16:43:37 -04:00
Rob Rix	3ee036bb5b	Widen equivalence to include context subjects.	2017-09-19 16:41:32 -04:00
Rob Rix	a615788bb7	Rename the type parameters of equivalentTerms.	2017-09-19 16:31:47 -04:00
Rob Rix	328506051a	Reformat equivalentTerms.	2017-09-19 16:31:39 -04:00
Rob Rix	2cae764785	Limit the import of Syntax.	2017-09-19 16:25:49 -04:00
Rob Rix	6c36c61727	Sort the imports.	2017-09-19 16:24:38 -04:00