1057 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e85566bfeb	Use symbols for leaves.	2015-10-16 15:21:58 -04:00
Rob Rix	057a847f30	Add a generator for symbols. ... Right now just _<hex digit>	2015-10-16 15:21:27 -04:00
Rob Rix	d413f24e57	Delay the arbitrary sub-term.	2015-10-16 15:17:47 -04:00
Rob Rix	c9bc15bcc9	Revert "Add a delay combinator." ... This reverts commit 2feeac9065de48f6e5cb412752a6a8e4d2fcf5ca.	2015-10-16 15:17:05 -04:00
Rob Rix	0622a984dc	Delay recurrence. ... Inlined because Swift.	2015-10-16 15:17:00 -04:00
Rob Rix	989a2d7319	Add a delay combinator.	2015-10-16 15:12:08 -04:00
Rob Rix	e6ac782e84	Implement the computation of arbitrary ranged terms.	2015-10-16 15:06:27 -04:00
Rob Rix	541897aa43	Arrange unannotated terms.	2015-10-16 15:05:01 -04:00
Rob Rix	5beccbdca2	Compute the source of unannotated terms.	2015-10-16 14:40:18 -04:00
Rob Rix	4a24c3f872	Generate arbitrary keyed terms.	2015-10-16 14:30:53 -04:00
Rob Rix	cc1f0a07a3	Rename the branch case to indexed.	2015-10-16 14:26:58 -04:00
Rob Rix	c249f1de8a	Construct arbitrary unannotated branches.	2015-10-16 14:26:46 -04:00
Rob Rix	6a4e1dca39	Construct arbitrary unannotated leaves.	2015-10-16 14:26:32 -04:00
Rob Rix	412ea9cc04	Add unannotated terms.	2015-10-16 14:24:17 -04:00
Rob Rix	570d4efa5d	Generate arbitrary leaves.	2015-10-16 13:23:38 -04:00
Rob Rix	a3ef491de4	Stub in Arbitrary conformance.	2015-10-16 12:28:49 -04:00
Rob Rix	c415a6aafd	Add a RangedTerm struct wrapping ranged terms.	2015-10-16 12:28:16 -04:00
Rob Rix	889f3ffef5	Link the tests against SwiftCheck.	2015-10-16 11:48:24 -04:00
Rob Rix	fa0b04d4cd	Add SwiftCheck to the workspace.	2015-10-16 11:48:18 -04:00
Rob Rix	b851fbc186	Add SwiftCheck.	2015-10-16 11:44:48 -04:00
Josh Vera	e6ec91cd64	Merge pull request #120 from github/patch-constructors-on-diff ... Patch constructors on diff	2015-10-15 15:39:14 -04:00
Josh Vera	ee712ca4a3	Merge pull request #104 from github/restrict-comparisons-by-category ... Restrict comparisons by category	2015-10-15 15:38:16 -04:00
Rob Rix	b453319db4	Merge branch 'master' into restrict-comparisons-by-category	2015-10-15 14:14:34 -04:00
Rob Rix	3a4f331b2e	Document the categorize parameter.	2015-10-15 14:14:29 -04:00
Rob Rix	a34b5a34f4	Document the equals parameter.	2015-10-15 14:12:39 -04:00
Josh Vera	789f879f94	Merge pull request #110 from github/patch-costs-are-proportional-to-the-size-of-their-trees ... Patch costs are proportional to the size of their trees	2015-10-15 14:08:23 -04:00
Rob Rix	e2e55ef041	Document the purpose of size.	2015-10-15 13:45:30 -04:00
Rob Rix	0b916807a2	Use the patch constructors in recursive evaluation.	2015-10-15 11:21:23 -04:00
Rob Rix	d74e4fb231	Missed a couple of cases in SES.	2015-10-15 11:20:41 -04:00
Rob Rix	eda4ece5a8	Use the patch constructors in dictionary diffing.	2015-10-15 11:20:07 -04:00
Rob Rix	fed0d91d30	Use the patch constructors in SES.	2015-10-15 11:19:14 -04:00
Rob Rix	298a37c444	Section header for patch construction.	2015-10-15 11:18:16 -04:00
Rob Rix	6ee73cca06	We don’t need Cofree terms to construct patches.	2015-10-15 11:18:06 -04:00
Rob Rix	cd7e67c30d	Remove the convenience functions.	2015-10-15 11:16:27 -04:00
Rob Rix	b4ea7b70bc	Use the Diff/Patch constructors in the tests.	2015-10-15 11:16:21 -04:00
Rob Rix	9e80e0c903	Add a Delete constructor to Free when used as a diff.	2015-10-15 11:11:06 -04:00
Rob Rix	ce633f555a	Add an Insert constructor to Free when used as a diff.	2015-10-15 11:10:35 -04:00
Rob Rix	8366dc752a	Add a Replace constructor to Free when used as a Diff.	2015-10-15 11:10:16 -04:00
Rob Rix	dfa34aa13c	Merge branch 'master' into patch-costs-are-proportional-to-the-size-of-their-trees	2015-10-15 09:48:15 -04:00
Rob Rix	260a317194	Merge branch 'master' into restrict-comparisons-by-category ... Conflicts: prototype/Doubt.xcodeproj/project.pbxproj	2015-10-15 09:47:49 -04:00
Rob Rix	e635668719	Merge pull request #116 from github/remove-hash ... Remove Hash	2015-10-15 09:46:03 -04:00
Rob Rix	48234b71c2	Remove Hash.	2015-10-15 09:44:40 -04:00
Rob Rix	77a32f9e8d	Remove Patch hashing.	2015-10-15 09:44:36 -04:00
Rob Rix	f30d2d609a	Remove Syntax hashing.	2015-10-15 09:43:51 -04:00
Rob Rix	1cbc04100d	Remove Free hashing.	2015-10-15 09:43:27 -04:00
Rob Rix	8b5a269d5e	Remove Cofree hashing.	2015-10-15 09:43:23 -04:00
Rob Rix	db6d485f82	Merge pull request #115 from github/remove-category ... Remove Category.	2015-10-15 09:40:47 -04:00
Rob Rix	9ac09dea2c	Remove Category.	2015-10-15 09:40:36 -04:00
Rob Rix	605784965f	Merge pull request #114 from github/remove-info ... Remove Info.	2015-10-15 09:39:52 -04:00
Rob Rix	6fcfed8f37	Remove Info.	2015-10-15 09:39:20 -04:00