github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
3,616 Commits 19 Branches 16 Tags 46 MiB
c41364a743
Commit Graph

3616 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
04550ca9bd Remove SwiftAST. 2015-09-23 11:35:38 -04:00
Rob Rix
00ff3c2447 We no longer need to namespace these. 2015-09-23 11:34:35 -04:00
Rob Rix
6571de8514 Remove Prism. 2015-09-23 11:34:00 -04:00
Rob Rix
9fdd9f1109 Remove Array/DictionaryConvertible. 2015-09-23 11:33:55 -04:00
Rob Rix
68965379f7 Remove the JSON Prisms. 2015-09-23 11:33:34 -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
0c5c3910f6 Print the bodies of abstractions. 2015-09-22 17:35:41 -04:00
Rob Rix
8b6e1c1c08 Fix an infinite loop in Doc construction. 
I don’t know how this managed never to be tested.
 2015-09-22 17:33:56 -04:00
Rob Rix
5b1f35d7ff Term constructors. 2015-09-22 17:26:45 -04:00
Rob Rix
a6473b9eff Abstractions can have >1 elements in their body. 2015-09-22 17:23:48 -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