Rob Rix
|
1e6a3f71e2
|
Use withOptions in the spec.
|
2018-07-10 14:16:51 -04:00 |
|
Rob Rix
|
289bdeaf8c
|
Use withOptions to define evaluateProject.
|
2018-07-10 14:14:52 -04:00 |
|
Rob Rix
|
80e873b252
|
Export withOptions.
|
2018-07-10 14:13:49 -04:00 |
|
Rob Rix
|
fe8053467a
|
Abstract the config/queue setup.
|
2018-07-10 14:13:32 -04:00 |
|
Rob Rix
|
d26c6be061
|
Define evaluateProject in terms of evaluateProject'.
|
2018-07-10 14:11:20 -04:00 |
|
Rob Rix
|
40d46e921d
|
Pass the configuration to the analysis specs.
|
2018-07-10 14:09:22 -04:00 |
|
Rob Rix
|
255a0aa62b
|
Move TaskConfig into Semantic.Util.
|
2018-07-10 14:09:02 -04:00 |
|
Rob Rix
|
b33daf0ce1
|
Pass the task config stuff around as a single datum.
|
2018-07-10 13:49:34 -04:00 |
|
Rob Rix
|
90cb86d027
|
Pass config & queues to the integration specs.
|
2018-07-09 14:26:15 -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 |
|