github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity
24,291 Commits 19 Branches 16 Tags 46 MiB
5c8cd4a109
Commit Graph

24291 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
5c8cd4a109 test less-copacetic cases 2018-07-16 11:36:17 -04:00
Patrick Thomson
e05f419314 Abstract interpretation test. 2018-07-16 11:12:17 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -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
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
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
Rob Rix
f31657f7b9 Revert "++effects" 
This reverts commit 41ac951037a2e75c2fd4d5fce7a38ecb8fe1976e.
 2018-07-13 08:54:21 -04:00
Rob Rix
f2b683db59 Revert "Define locally via bracketing Push/Pop constructors." 
This reverts commit 25c242672e8f8e20b650bfea2367ed04b7e7a8dd.
 2018-07-13 08:53:58 -04:00
Rob Rix
243080f2fd Revert "Bump effects." 
This reverts commit 7ca00be818896e6353b987965f49405322a9dfed.
 2018-07-13 08:53:52 -04:00
Rob Rix
0107d38a8f Revert "Bump." 
This reverts commit dd9ea0edb668ba87c93a8c8ea12ffe721d14d6ed.
 2018-07-13 08:53:44 -04:00
Rick Winfrey
8da0e3910c Add javascript specific export test files 2018-07-12 16:56:27 -07:00
Rick Winfrey
57962113bb Retrieve the declaredName for a Function declaration 2018-07-12 16:55:42 -07:00
Rick Winfrey
bb8506b7bf Adding a Declarations constraint on Declarations1 for use with subterms 2018-07-12 16:55:07 -07:00
Rick Winfrey
dd772765fd Refactor TypeScript DefaultExport eval instance slightly 2018-07-12 16:54:28 -07:00
Patrick Thomson
6dc30c3b87 Upgrade to LTS 12.0. 2018-07-12 17:13:46 -04:00
Rob Rix
57949b03e0 Fix a redundant import warning. 2018-07-12 13:53:29 -04:00
Rob Rix
e1cb98c178 Bump. 2018-07-12 13:53:12 -04:00
Rob Rix
0508ab8122 Bump effects. 2018-07-12 13:39:21 -04:00
Rob Rix
5c836b0ba7 Merge pull request #2041 from github/direct-builtins 
Direct builtins
 2018-07-12 12:59:15 -04:00
joshvera
0e2d9ea036 Merge branch 'bump-grpc-message-size' into publish-to-gpr 2018-07-12 12:14:38 -04:00
Rob Rix
2fd483cc92 Define locally via bracketing Push/Pop constructors. 2018-07-12 11:42:01 -04:00
Rob Rix
7dcc789bef Merge branch 'master' into direct-builtins 2018-07-12 09:56:05 -04:00
Patrick Thomson
621c20222e Merge pull request #2031 from github/module-exports 
Add `HasPostlude` and `__semantic_export`
 2018-07-12 09:52:42 -04:00