45 Commits

Author	SHA1	Message	Date
Rob Rix	d6a9be0794	Double down on annotations.	2015-10-22 16:02:03 -04:00
Rob Rix	b7a341b8b1	Correct omissions in the tests.	2015-10-22 10:43:20 -04:00
Rob Rix	c9b33f826c	Add an annotation parameter to Free.	2015-10-22 10:30:38 -04:00
Rob Rix	82b7518809	Use the stripped property.	2015-10-19 12:30:39 -04:00
Rob Rix	b915679396	Correct the original state tests.	2015-10-19 12:30:04 -04:00
Rob Rix	2656aa27dd	RangedDiff wraps RangedTerms.	2015-10-19 11:47:52 -04:00
Rob Rix	4be6e61001	Implicit returns.	2015-10-19 10:35:55 -04:00
Rob Rix	0cc7889ae1	Skip equal terms.	2015-10-19 09:52:15 -04:00
Rob Rix	84919e5b02	Test double inversion idempotency.	2015-10-16 17:46:25 -04:00
Rob Rix	6ac949fe4b	Test that differences differ.	2015-10-16 17:46:12 -04:00
Rob Rix	c57d43c48b	Extract diff equality.	2015-10-16 17:44:29 -04:00
Rob Rix	bec43a2c94	Test that the after state is recoverable.	2015-10-16 17:35:18 -04:00
Rob Rix	20fa9ba32a	Test that the before state is recoverable. ... Apparently it is sometimes not!	2015-10-16 17:34:34 -04:00
Rob Rix	af3630e071	Test that diff equality is reflexive.	2015-10-16 17:26:35 -04:00
Rob Rix	ce20112304	Test that equal terms produce identity diffs.	2015-10-16 17:14:08 -04:00
Rob Rix	dee991f0ff	Add an interpreter.	2015-10-16 17:13:59 -04:00
Rob Rix	0f59062570	Typealiases.	2015-10-16 17:13:51 -04:00
Rob Rix	d18a1a6a0a	Stub in diff tests.	2015-10-16 17:07:37 -04:00
Rob Rix	3cc732f54e	Rename DiffTests to SESTests.	2015-10-06 14:25:18 -04:00
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	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	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