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

24437 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
a86688d9ad (Re-)define a putEnv operation. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-07-09 13:34:35 -04:00
Rob Rix
2f8f4e367e Gensym the names of boxed values. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-07-09 13:31:46 -04:00
Rob Rix
9a8756db08 Define a gensym operation, producing fresh names. 
Co-Authored-By: Patrick Thomson <patrick.william.thomson@gmail.com>
 2018-07-09 13:31:15 -04:00
Patrick Thomson
c5b722dbba Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-09 11:28:24 -04:00
joshvera
49ad195170 Name and add Message1 instances 2018-07-06 19:13:13 -04:00
Timothy Clem
5aed17c12b Merge pull request #2025 from github/fire-old-import-rendering 
🔥 old import graph summary
 2018-07-06 16:08:59 -07:00
Josh Vera
ebd916ba4e Merge branch 'master' into fire-old-import-rendering 2018-07-06 18:43:47 -04:00
Josh Vera
eea0044366 Merge pull request #2021 from github/fix-encoding 
Encode parameters in protobufs
 2018-07-06 18:43:24 -04:00
Josh Vera
d1439a131a Merge branch 'master' into fix-encoding 2018-07-06 18:27:52 -04:00
Timothy Clem
417103ae50 Merge branch 'master' into fire-old-import-rendering 2018-07-06 15:18:43 -07:00
Timothy Clem
a42f325a3a Merge pull request #2024 from github/eval-scope-resolution 
Evaluatable instance for ScopeResolution
 2018-07-06 15:18:25 -07:00
Josh Vera
589b214c0d Merge branch 'master' into fix-encoding 2018-07-06 18:06:26 -04:00
joshvera
c058f15a55 Try including grpc-haskell in stack.yaml 2018-07-06 17:18:19 -04:00
Timothy Clem
aa480be46d 🔥 old import graph summary 
This hasn't been in the CLI for a while now
 2018-07-06 13:35:09 -07:00
Timothy Clem
e1fec9d48c Evaluatable instance for ScopeResolution 2018-07-06 13:25:23 -07:00
Rick Winfrey
ca0082dd03 Merge pull request #2022 from github/console.log 
Add `console.log` builtin for JavaScript and TypeScript
 2018-07-06 12:43:00 -07:00
Rob Rix
47798bce6f Merge branch 'master' into console.log 2018-07-06 15:25:05 -04:00
Rob Rix
c4706e9c84 Merge pull request #2023 from github/trace-in-analysis 
Trace in analysis
 2018-07-06 15:19:26 -04:00
Timothy Clem
29fcdf3823 Run tracing effects in graph analysis 2018-07-06 10:51:40 -07:00
Timothy Clem
205a54514e Little more detail on tree-sitter parse tracing 2018-07-06 10:41:06 -07:00
Josh Vera
5f3543f284 Merge branch 'master' into fix-encoding 2018-07-06 13:39:16 -04:00
joshvera
ef3282b3b1 ++grpc-haskell 2018-07-06 13:38:45 -04:00
Rick Winfrey
89de94e21e Merge branch 'master' into console.log 2018-07-06 10:38:03 -07:00
Rick Winfrey
60ebfb6863 Add console.log builtin for TypeScript 2018-07-06 10:36:57 -07:00
Rick Winfrey
fbac72665c Use name 2018-07-06 10:36:34 -07:00
Rick Winfrey
1c8e90a918 Reflow effects list 2018-07-06 10:35:50 -07:00
Rick Winfrey
e145990577 Assign the monadic action before binding 2018-07-06 10:35:35 -07:00
Rick Winfrey
e621816358 Define console.log builtin for JavaScript 2018-07-06 10:34:52 -07:00
Rick Winfrey
970431306a Add defineNamespace helper 2018-07-06 10:34:24 -07:00
joshvera
5ffad911e5 No need for the fieldNumber 2018-07-06 13:27:45 -04:00
joshvera
0dcdfc900e ++grpc-haskell 2018-07-06 13:20:10 -04:00
joshvera
911143f618 ++grpc-haskell 2018-07-06 13:15:57 -04:00
joshvera
8e4cbb73b4 Reset the field number when passing it down to children of a sum type 2018-07-06 13:12:12 -04:00
Rob Rix
f3e58ca6be Merge pull request #2020 from github/traverse-unspecialized-eval 
Traverse in default eval
 2018-07-06 11:16:54 -04:00
Rob Rix
c39b8532c9 Merge branch 'master' into traverse-unspecialized-eval 2018-07-06 10:48:23 -04:00
Rob Rix
daab0f421a Merge pull request #2012 from github/abstract-abstract-semantics 
Abstract abstract semantics
 2018-07-06 10:48:00 -04:00
Rob Rix
cc1b2f61bf Merge branch 'master' into traverse-unspecialized-eval 2018-07-06 10:33:28 -04:00
Rob Rix
c80b5ac7c5 Merge branch 'master' into abstract-abstract-semantics 2018-07-06 10:29:39 -04:00
Charlie Somerville
680d1240dd Merge pull request #2011 from github/charliesome/substitution 
Implement substitution in unification
 2018-07-06 14:34:07 +10:00
Charlie Somerville
fa8ad0d1bc add doc comments to occur,. prune, and substitute 2018-07-06 11:58:00 +10:00
Timothy Clem
e57a46063f Traverse in default eval 2018-07-05 14:55:23 -07:00
joshvera
03244d0ae9 Rename Relative to IsRelative 2018-07-05 17:12:17 -04:00
joshvera
c05e7e76aa Add a unit test for method roundtrips 2018-07-05 15:21:25 -04:00
joshvera
ceebdbdfc2 Namespace languages so their message definitions don't overlap 2018-07-05 15:16:05 -04:00
Rob Rix
d20f9a4d5d Corrections for higher-order effects. 2018-07-05 14:29:14 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
120483c323 Use raiseHandler to obviate the need for Monad constraints. 2018-07-05 14:09:46 -04:00
Rob Rix
4ffcd89076 One last missing Effects constraint. 2018-07-05 14:08:19 -04:00
Rob Rix
3c97647d6c State is the other way around now. 2018-07-05 14:07:54 -04:00
Rob Rix
086c417dff Add a couple of Effects constraints. 2018-07-05 14:07:41 -04:00