github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00
Code Issues Projects Releases Wiki Activity
24,314 Commits 19 Branches 16 Tags 46 MiB
64f66c3a0f
Commit Graph

24314 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
64f66c3a0f Remove outer embedding 2018-07-16 18:29:30 -04:00
joshvera
379683b054 Fix BlobPair encoding 2018-07-16 18:18:45 -04:00
joshvera
48411926a0 Add rountrip tests to blob and blob pair 2018-07-16 17:06:06 -04:00
joshvera
51d873f81e Add Listable instances for Join These Blob 2018-07-16 17:05:56 -04:00
joshvera
fde0553d90 Add BlobPair message 2018-07-16 15:29:29 -04:00
joshvera
ab1c1c2569 Implement runTypeScriptDiff and runJSONDiff 2018-07-16 14:06:03 -04:00
joshvera
6ef7fe4945 Write a BlobPair instance for Message 2018-07-16 14:05:12 -04:00
joshvera
5d2c1d08be Change all these to Single names and remove BlobPair definition 2018-07-16 14:04:30 -04:00
joshvera
74c0bb63ac Add runRubyDiff 2018-07-16 12:57:40 -04:00
joshvera
f5b149a137 Update codeanalysis 2018-07-13 19:25:47 -04:00
joshvera
bd7051b488 Remove unused var 2018-07-13 19:09:35 -04:00
Timothy Clem
33e5a16d7c Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-13 16:00:10 -07:00
Timothy Clem
7f7ad8babf Remove trace for now 2018-07-13 15:46:15 -07:00
Timothy Clem
31a75790bd Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-13 15:45:03 -07:00
joshvera
2fe255d09c Add a test for negate 2018-07-13 16:49:23 -04:00
joshvera
12db3316f5 Remove the diff from the proto message definitions 2018-07-13 16:49:23 -04:00
joshvera
263fe0e09d Add another embedded for messages 2018-07-13 16:49:23 -04:00
Timothy Clem
8a2645b1c0 Merge pull request #2037 from github/publish-to-gpr 
Publish semantic and semanticd to the GPR
 2018-07-13 13:35:31 -07:00
Timothy Clem
a3740549be Merge branch 'master' into publish-to-gpr 2018-07-13 13:22:12 -07:00
Patrick Thomson
9d8f2406be Merge pull request #2047 from github/lts-12.0 
Upgrade to LTS 12.0 + GHC 8.4.
 2018-07-13 16:13:43 -04:00
Timothy Clem
428f160266 Merge branch 'master' into publish-to-gpr 2018-07-13 12:58:56 -07:00
Patrick Thomson
dea4f10f9b Merge remote-tracking branch 'origin/master' into lts-12.0 2018-07-13 15:41:09 -04:00
Patrick Thomson
f9fcec872f manually fix licenses 2018-07-13 15:30:28 -04:00
Patrick Thomson
695d280f50 bump up the cancelable parsing timeout 2018-07-13 15:15:10 -04:00
Patrick Thomson
7837f18108 Merge pull request #2005 from github/abstract-call-graph 
Compute call graph under abstract semantics
 2018-07-13 15:04:17 -04:00
Patrick Thomson
3d50f9ab62 Merge branch 'master' into abstract-call-graph 2018-07-13 13:46:35 -04:00
Patrick Thomson
6136ea0921 every license ever 2018-07-13 13:38:05 -04:00
Patrick Thomson
37db866b7a changing that Show instance caused the doctests to loop infinitely 2018-07-13 13:27:15 -04:00
Rick Winfrey
989cf32231 Merge pull request #2044 from github/js-exports 
Eval `export function ...` in JavaScript
 2018-07-13 10:11:23 -07:00
Rick Winfrey
9423e5e9bd Merge branch 'master' into js-exports 2018-07-13 09:50:13 -07:00
Rick Winfrey
9674d78075 Adjust indentation 2018-07-13 09:49:43 -07:00
Patrick Thomson
6b3d930066 Fix lints. 2018-07-13 12:42:26 -04:00
Timothy Clem
6059109c95 Start to work on DiffTree proto messages 2018-07-13 09:37:16 -07:00
Timothy Clem
b47437aadf Cleanup 2018-07-13 09:36:51 -07:00
Rick Winfrey
b928f7879a Use higher order declaredName function in Declarations1 instance 2018-07-13 09:32:34 -07:00
Rick Winfrey
435d296b6c Avoid >>= in do blocks 2018-07-13 09:31:24 -07:00
Patrick Thomson
6a65fc0bc0 Fix otiose parts of the diff. 2018-07-13 12:10:17 -04:00
Patrick Thomson
acb4ac18c3 Address Rob's concerns. 2018-07-13 12:06:11 -04:00
Patrick Thomson
85bc3dbda6 fix lints and bad imports 2018-07-13 11:59:45 -04:00
Patrick Thomson
d57f844717 Merge branch 'master' into lts-12.0 2018-07-13 11:30:43 -04:00
Patrick Thomson
341a3ba70a Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:22:13 -04:00
Patrick Thomson
25cc331789 merge fallout 2018-07-13 11:21:54 -04:00
Timothy Clem
9b8204671a Little bit of tracing to help debug 2018-07-13 08:21:45 -07:00
Rob Rix
75f74aac55 Merge pull request #2045 from github/fix-interposition 
Fix NonDet
 2018-07-13 11:12:11 -04:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
Rob Rix
c622ba6cbf Bump effects to master. 2018-07-13 11:02:39 -04:00
Rob Rix
4c5c0175f0 Merge branch 'master' into fix-interposition 2018-07-13 09:23:50 -04:00
Rob Rix
7eec6d7d88 We don’t actually need Trace here. 2018-07-13 09:22:56 -04:00
Rob Rix
992cb0a404 Bump effects. 2018-07-13 08:54:59 -04:00
Rob Rix
4a2d83a401 Revert "Fix up handleState implementations" 
This reverts commit 80fd530b38c4859d94c946ee6e0f11aa8f11b8c3.
 2018-07-13 08:54:37 -04:00