1
1
mirror of https://github.com/github/semantic.git synced 2024-12-18 20:31:55 +03:00
Commit Graph

2839 Commits

Author SHA1 Message Date
Rob Rix
d3b27cfba4 Add a DOC type which constructs Doc.
Following Wadler.
2015-09-28 17:06:52 -04:00
Rob Rix
0c8303f27b Add a constructor for single-element Streams. 2015-09-28 17:06:01 -04:00
Rob Rix
119fdaed78 Add Doc operators. 2015-09-28 17:05:36 -04:00
Rob Rix
a90e508a8e Merge pull request #33 from github/sourcekitten
[WIP] Extract Swift document structure using SourceKitten.
2015-09-28 14:29:13 -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
a7ea2ae201 Avoid recomputing the magnitudes. 2015-09-28 14:21:13 -04:00
Rob Rix
b43a5eaf26 Revert "Diff using Vertex."
This reverts commit 881436e01d381b404c12e9c63a8634d6110d251a.
2015-09-28 14:17:55 -04:00
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