52 Commits

Author	SHA1	Message	Date
Rob Rix	9b6a3f6e36	Remove the fixme because it has been fixed.	2015-10-06 14:23:59 -04:00
Rob Rix	a9349c33dc	Port the SES example from the paper.	2015-10-06 13:27:06 -04:00
Rob Rix	48a0935d5c	Use the little API for deletion fixtures.	2015-10-06 13:26:44 -04:00
Rob Rix	69d42e121c	Port insertion/deletion in the middle.	2015-10-06 13:25:56 -04:00
Rob Rix	9761ba3d98	Port insertion/deletion at head.	2015-10-06 13:25:27 -04:00
Rob Rix	b23a8ac6f7	Rename copy to roll so we can actually call it from within the tests.	2015-10-06 13:25:09 -04:00
Rob Rix	1473d5648b	Port the pure insert/delete tests.	2015-10-06 13:22:54 -04:00
Rob Rix	0d8c080f35	Add a little API for diffs.	2015-10-06 13:22:37 -04:00
Rob Rix	5a86df7a8d	Assert equality using Assertions.assert.	2015-10-06 13:16:43 -04:00
Rob Rix	cd2faed7ce	Add a typealias for diffs.	2015-10-06 13:16:32 -04:00
Rob Rix	ea09799e58	import Assertions.	2015-10-06 13:16:23 -04:00
Rob Rix	286b91a88d	Add a wrapper function to compute the SES.	2015-10-06 13:12:53 -04:00
Rob Rix	1ecafbff43	Import Doubt testably.	2015-10-06 13:10:45 -04:00
Rob Rix	c35e31ad4a	Define the Term fixtures using Fix.	2015-10-06 12:58:07 -04:00
Rob Rix	daf5f8ed9e	Add a typealias for the Term fixtures.	2015-10-06 12:57:48 -04:00
Rob Rix	05a7c1a037	Remove Syntax.Empty.	2015-10-02 12:37:09 -04:00
Rob Rix	5dd80cb0ce	Diff is defined over Term<Info>. ... This enables diffs to operate on categorized Terms.	2015-09-30 16:05:39 -04:00
Rob Rix	2d0991b91f	Abstract Term over a type parameter A.	2015-09-30 14:42:58 -04:00
Rob Rix	a0f562d25e	Leaves, not Literals.	2015-09-30 11:03:55 -04:00
Rob Rix	9147dd72db	Add a test of SES over slightly longer sequences to demonstrate the performance problem.	2015-09-28 14:28:36 -04:00
Rob Rix	1a6f6b588b	Add a Fibonacci stream to the tests.	2015-09-28 10:29:31 -04:00
Rob Rix	b97e2e4833	Test Vertex construction.	2015-09-28 09:55:04 -04:00
Rob Rix	74e93a14de	Move Term/JSON conversion into Term.	2015-09-23 13:34:45 -04:00
Rob Rix	bd7bcaea00	Explicitly annotate types so we can call without extra parentheses.	2015-09-23 12:32:25 -04:00
Rob Rix	7ef8a3f8c0	Clean up.	2015-09-22 17:41:02 -04:00
Rob Rix	f61b025c80	Unpack methods/functions differently from classes/extensions.	2015-09-22 17:40:23 -04:00
Rob Rix	0b6f81f8b7	Don’t test the prism.	2015-09-22 17:39:55 -04:00
Rob Rix	0c4e9a0b58	Construct a Term from the JSON.	2015-09-22 17:18:22 -04:00
Rob Rix	b7647a46ed	Use the temporary.	2015-09-22 17:17:58 -04:00
Rob Rix	9612325ea8	Add an extension to Term constructing it from JSON.	2015-09-22 17:16:58 -04:00
Rob Rix	401d0b4194	Capture the dictionary in a temporary.	2015-09-22 17:16:38 -04:00
Rob Rix	4a51b786d3	Capture the path in a temporary.	2015-09-22 17:16:25 -04:00
Rob Rix	aa82ed1a2b	Remove Swift AST parsing.	2015-09-21 17:35:38 -04:00
Rob Rix	e54bc56d13	Extract document structure with SourceKitten.	2015-09-21 17:32:41 -04:00
Rob Rix	1d0a54d62a	Rename Swift to SwiftAST.	2015-09-21 17:01:00 -04:00
Rob Rix	ca5298da88	Test that empty branches can be produced.	2015-09-18 16:32:07 -04:00
Rob Rix	3b6838097f	Test branch parsing.	2015-09-18 15:44:11 -04:00
Rob Rix	b5cdad9f32	Remove a bogus space.	2015-09-18 15:43:04 -04:00
Rob Rix	c46c35157a	Values can be quoted.	2015-09-18 15:04:04 -04:00
Rob Rix	56c139cd0b	Test that the key value parser accepts alphabetic keys & values.	2015-09-18 13:46:52 -04:00
Rob Rix	ec19009614	Move the S-expression parser into the library.	2015-09-18 11:24:05 -04:00
Rob Rix	3317e8778b	Doubt is testable.	2015-09-18 11:19:12 -04:00
Rob Rix	5c7132a3bd	Rename Fix to Term.	2015-09-18 10:12:34 -04:00
Rob Rix	318d8f2ea9	Test SES inserting/deleting in the middle.	2015-09-17 15:56:53 -04:00
Rob Rix	3885572e72	Test SES deleting at head.	2015-09-17 15:56:01 -04:00
Rob Rix	8c642c6f94	Test SES inserting at head.	2015-09-17 15:55:30 -04:00
Rob Rix	65d8b04eb9	(Failing) test of non-empty/empty SES.	2015-09-16 10:04:30 -04:00
Rob Rix	8a2ff37cb9	(Failing) test of empty/non-empty terms.	2015-09-16 10:02:20 -04:00
Rob Rix	1aed2f8949	Test that empty collections generate empty diffs.	2015-09-16 09:56:28 -04:00
Rob Rix	8bf3464764	Test the production of copying diffs.	2015-09-15 14:29:54 -04:00