github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity
24,744 Commits 19 Branches 16 Tags 46 MiB
37d197bb21
Commit Graph

24744 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
2d29a488fc Merge pull request #2085 from github/fix-stomping-json-key-term 
Fix issue with "term" record selector getting overwritten by unspecialized toJSONFields1
 2018-07-23 12:59:43 -07:00
Timothy Clem
61e5a61b95 Merge branch 'master' into fix-stomping-json-key-term 2018-07-23 12:47:06 -07:00
Ayman Nadeem
7c2c6ec37f Merge pull request #1994 from github/java-assignment-continued 
Java assignment continued
 2018-07-23 15:36:45 -04:00
Ayman Nadeem
c30298f528 remove java from integration spec 2018-07-23 15:22:44 -04:00
Ayman Nadeem
ea86992721 regenerate interface tests 2018-07-23 15:04:07 -04:00
joshvera
ae39dcfca4 Add python diffs and terms to proto-gen 2018-07-23 14:34:58 -04:00
Timothy Clem
3f215a4e0e Fix issue with "term" record selected getting overwritten by unspecialized toJSONFields1 
i.e. s/term/value
 2018-07-23 11:27:02 -07:00
Ayman Nadeem
6713fdde39 re-generate ambient-declarations and interface typescript tests 2018-07-23 14:22:21 -04:00
joshvera
a743db2b26 Add Diff import 2018-07-23 14:04:24 -04:00
joshvera
97f62715c4 Add Named1 instances for Python 2018-07-23 14:03:49 -04:00
Timothy Clem
ab8d6aa5bf Make sure these new vertices are in the proto 2018-07-23 11:03:08 -07:00
joshvera
698851f4bf Test qualified names roundtrip 2018-07-23 14:00:10 -04:00
joshvera
dbcf2638b0 Add Listable instances for QualifiedName and Import 2018-07-23 13:59:56 -04:00
joshvera
8296372c71 Define an instance for QualifiedName 2018-07-23 13:59:45 -04:00
Ayman Nadeem
7d468d4823 address ambiguous type variable f0 arising from a use of pure 2018-07-23 13:58:12 -04:00
Ayman Nadeem
913ba4c315 fix hlint errors and add java to integration spec 2018-07-23 13:49:10 -04:00
Ayman Nadeem
3ba39b9bc7 use newtype 2018-07-23 13:34:31 -04:00
Rob Rix
0bd0170c37 Merge branch 'bump-effects-for-pure-effect' into value-effects 2018-07-23 13:22:33 -04:00
Ayman Nadeem
d449218ea3 fix InterfaceDeclaration syntax 2018-07-23 13:21:28 -04:00
Rob Rix
1decd8ade1 Define a runFunction handler for Concrete semantics. 2018-07-23 13:20:26 -04:00
Rob Rix
570764c6bc Define a runFunction handler for Type semantics. 2018-07-23 13:14:50 -04:00
Rob Rix
af577052f0 Define a runFunction handler for Abstract semantics. 2018-07-23 13:11:18 -04:00
Rob Rix
f4d538314d Define a runPair handler for Concrete semantics. 2018-07-23 13:02:54 -04:00
Rob Rix
ea65f8859e Define a runPair handler for Type semantics. 2018-07-23 12:59:54 -04:00
Rob Rix
19e82e39ee Define a runPair handler for Abstract semantics. 2018-07-23 12:56:35 -04:00
Rob Rix
c1f220e5b0 Merge branch 'bump-effects-for-pure-effect' into value-effects 2018-07-23 12:54:54 -04:00
Rob Rix
0e4ac6bccb Add the license for type-aligned. 2018-07-23 12:54:11 -04:00
Ayman Nadeem
b8317c8586 remove mergeable 2018-07-23 12:39:46 -04:00
Ayman Nadeem
6ba948f42b remove strict type 2018-07-23 12:39:11 -04:00
Ayman Nadeem
f773cc7de0 turn LambdaBody into a newtype 2018-07-23 12:35:49 -04:00
Ayman Nadeem
ccd7883574 remove comment 2018-07-23 12:33:18 -04:00
Ayman Nadeem
6e0d69133e remove mergeable from Java.Syntax 2018-07-23 12:16:05 -04:00
Ayman Nadeem
52d89b7a05 fix merge conflicts 2018-07-23 11:23:57 -04:00
Ayman Nadeem
cb032b8229 change to newtype 2018-07-23 11:09:46 -04:00
Ayman Nadeem
f9474e633c cleanup comments in assignment 2018-07-23 11:09:19 -04:00
Ayman Nadeem
3139301e7b add Named1 and Message1 2018-07-23 11:08:25 -04:00
Rob Rix
bf388b4f50 Generalizes providingLiveSet to PureEffects. 2018-07-23 11:07:55 -04:00
Rob Rix
16e0a43a77 Generalize the graphing handlers to PureEffects. 2018-07-23 11:07:30 -04:00
Timothy Clem
67c6c7eb83 Merge branch 'master' into control-flow-part2 2018-07-23 08:04:59 -07:00
Rob Rix
be526492ff Generalize everything we can to PureEffects. 2018-07-23 11:02:54 -04:00
Rob Rix
182c539718 Bump effects for a generalization to bracket. 2018-07-23 11:02:19 -04:00
Rob Rix
d1a9775874 Bump effects. 2018-07-23 10:55:07 -04:00
Rob Rix
490bd54d1e Define a runBoolean handler for Concrete semantics. 2018-07-23 10:53:59 -04:00
Rob Rix
28fb83dfcb Define a runBoolean handler for Type semantics. 2018-07-23 10:50:50 -04:00
Rob Rix
73c8443a6b Define a runBoolean handler for Abstract semantics. 2018-07-23 10:48:07 -04:00
Rob Rix
bdb1437e5c Define a runUnit handler for Concrete semantics. 2018-07-23 10:45:22 -04:00
Rob Rix
0bf81660ed Define a runUnit handler for Type semantics. 2018-07-23 10:44:28 -04:00
Rob Rix
d8f8f66594 Define a runUnit handler for Abstract semantics. 2018-07-23 10:43:15 -04:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00