22882 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7237ecd7e4	Diff using Vertex.	2015-09-28 14:17:48 -04:00
Rob Rix	b1a3c8046e	Vertex emptiness.	2015-09-28 12:09:43 -04:00
Rob Rix	1a6f6b588b	Add a Fibonacci stream to the tests.	2015-09-28 10:29:31 -04:00
Rob Rix	48bee808f6	Correct take’s semantics.	2015-09-28 10:28:44 -04:00
Rob Rix	d110a149dc	Taking of n values from streams.	2015-09-28 10:02:31 -04:00
Rob Rix	b97e2e4833	Test Vertex construction.	2015-09-28 09:55:04 -04:00
Rob Rix	4a16b06e92	Correct bogus equality tests.	2015-09-28 09:54:44 -04:00
Rob Rix	1a44c5ee7a	Correct the inversion of alternating rows.	2015-09-25 18:50:59 -04:00
Rob Rix	da12af7313	Stream zipping.	2015-09-25 13:57:35 -04:00
Rob Rix	00f1daa61a	Construct vertices in row-major order.	2015-09-25 12:52:59 -04:00
Rob Rix	a0edc9fe49	Vertex is CustomStringConvertible.	2015-09-25 12:45:10 -04:00
Rob Rix	18bcad0165	Vertex is CustomDebugStringConvertible.	2015-09-25 12:44:20 -04:00
Rob Rix	3dc89059ac	Avoid an excess map.	2015-09-25 12:43:54 -04:00
Rob Rix	98e66acdbf	Row-/column-major streams of vertices.	2015-09-25 12:38:11 -04:00
Rob Rix	652d1f9db4	Add row/column implementations back using Stream.unfold.	2015-09-25 12:37:58 -04:00
Rob Rix	21f3bc9dcc	Xcode did not delete this before, apparently.	2015-09-25 12:37:42 -04:00
Rob Rix	39c46edeb9	Implement the eliminators with analysis.	2015-09-25 12:37:08 -04:00
Rob Rix	24bc2610ff	Add a case analysis method.	2015-09-25 12:36:11 -04:00
Rob Rix	0a88c407e5	Construct streams with unfold.	2015-09-25 12:22:31 -04:00
Rob Rix	8178904a36	Generalize Vertex construction to arbitrary sequences.	2015-09-25 11:57:53 -04:00
Rob Rix	ece5c942d5	Memo can print itself.	2015-09-25 11:57:28 -04:00
Rob Rix	b25095372a	Revert "Memo does not need the evaluated label." ... This reverts commit 238df4a1b54752041f134375569049c2afd79632.	2015-09-24 18:26:23 -04:00
Rob Rix	b76d361412	Vertex equality.	2015-09-24 18:24:05 -04:00
Rob Rix	a70fc630aa	Add an element property to Vertex.	2015-09-24 18:23:56 -04:00
Rob Rix	f1e06015d0	Work around a runtime deadlock.	2015-09-24 18:23:48 -04:00
Rob Rix	6e0cf0d6a1	Memo does not need the evaluated label.	2015-09-24 18:23:38 -04:00
Rob Rix	8387f5ce71	Vertices can be constructed from pairs of streams.	2015-09-24 15:45:56 -04:00
Rob Rix	089d5417aa	Remove row, column, X, and Y from Vertex. ... This is a more wasteful representation but we can deal with that later.	2015-09-24 15:45:36 -04:00
Rob Rix	40211726bc	Add a lazy right-fold to Stream.	2015-09-24 15:10:56 -04:00
Rob Rix	abb625b501	Edit graph vertices.	2015-09-24 13:28:46 -04:00
Rob Rix	a6c419c6e1	Support enums, structs, and variables.	2015-09-23 18:22:27 -04:00
Rob Rix	975ac8fc2f	Term initialization is partial.	2015-09-23 17:37:53 -04:00
Rob Rix	0a4dd8111f	Spit out reflected diffs.	2015-09-23 17:37:29 -04:00
Rob Rix	3a90f09363	Remove the temporary arguments.	2015-09-23 17:01:43 -04:00
Rob Rix	5879e24a10	Copy frameworks into the .app.	2015-09-23 17:01:28 -04:00
Rob Rix	75aa4c0527	Don’t code sign.	2015-09-23 17:01:21 -04:00
Rob Rix	5524e85653	/dev/null → .Empty	2015-09-23 17:01:09 -04:00
Rob Rix	bf350ee2ed	Bump SourceKitten.	2015-09-23 17:00:57 -04:00
Rob Rix	1c60f97bbf	Print the diff between the files.	2015-09-23 16:39:30 -04:00
Rob Rix	53270aacfa	Try to construct terms for the argument files.	2015-09-23 16:37:22 -04:00
Rob Rix	7d05f5206b	Add a BoundsCheckedArray for unpacking arguments.	2015-09-23 16:34:07 -04:00
Rob Rix	ce6fd43eaf	Term JSON constructors are public.	2015-09-23 16:27:29 -04:00
Rob Rix	8f78776d6a	Public constructor for JSON.	2015-09-23 16:26:00 -04:00
Rob Rix	a3aefe8e37	Use a .app target instead.	2015-09-23 16:04:19 -04:00
Rob Rix	74e93a14de	Move Term/JSON conversion into Term.	2015-09-23 13:34:45 -04:00
Rob Rix	9fa5aba516	Add a Swift diff tool target.	2015-09-23 13:32:17 -04:00
Rob Rix	18d35a0beb	Share the Doubt scheme.	2015-09-23 13:31:42 -04:00
Rob Rix	95697e15f8	Doubt.framework does not need to link against SourceKittenFramework &c.	2015-09-23 13:29:05 -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	22fa931d4d	Use Term.Roll.	2015-09-23 12:31:28 -04:00