github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity
23,191 Commits 19 Branches 16 Tags 46 MiB
d5c7b34a3f
Commit Graph

23191 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
d5c7b34a3f Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-13 14:10:18 -04:00
Patrick Thomson
724ffc06aa Merge pull request #1955 from github/grpc-interface-design 
Design out our gRPC interface
 2018-06-13 12:59:26 -04:00
Patrick Thomson
1fad107e42 Merge branch 'master' into grpc-interface-design 2018-06-13 12:49:27 -04:00
Patrick Thomson
19e7ff7510 Reinstate import graph functionality. 2018-06-13 12:47:35 -04:00
Patrick Thomson
93ec234800 Merge pull request #1959 from github/revert-1941-import-graph-mk2 
Revert "gRPC import graph"
 2018-06-13 12:42:48 -04:00
Patrick Thomson
36d5b7562a Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Patrick Thomson
4d188d4e5f Merge pull request #1941 from github/import-graph-mk2 
gRPC import graph
 2018-06-13 12:14:03 -04:00
Patrick Thomson
bb6a4b0a8a last few fixes 2018-06-13 12:08:42 -04:00
Patrick Thomson
51e153aec5 Merge branch 'master' into import-graph-mk2 2018-06-13 11:28:44 -04:00
Timothy Clem
7fe5986863 Merge pull request #1949 from github/multi-stage-docker 
Multi stage docker builds
 2018-06-13 07:47:15 -07:00
Rob Rix
93f267de8c Merge branch 'master' into multi-stage-docker 2018-06-13 09:00:30 -04:00
Rob Rix
678c5c6e67 Merge branch 'master' into grpc-interface-design 2018-06-13 08:53:39 -04:00
Rob Rix
3e7d06f0a1 Merge pull request #1957 from github/bounded-queues 
Bounded queues
 2018-06-13 08:44:25 -04:00
Timothy Clem
9df85f54d8 Use bounded stm queues 2018-06-12 17:12:16 -07:00
Timothy Clem
4176229fa4 New env helper names 2018-06-12 17:12:10 -07:00
Timothy Clem
3c5f1853d5 Docs and better spelling 2018-06-12 15:29:41 -07:00
Timothy Clem
fffef56b66 Move and re-organize proto interface definition 2018-06-12 15:16:24 -07:00
Timothy Clem
4eb30c7c33 Merge pull request #1948 from github/moda-port-moda-templates-496f202fc39cacce87efe700ebe94c9e 
Reserving Moda LoadBalancer TCP Port
 2018-06-12 15:16:07 -07:00
Patrick Thomson
e0b0e31d9e Merge branch 'master' into import-graph-mk2 2018-06-12 15:30:38 -04:00
Patrick Thomson
17bf0fa3a7 fix bogus instances 2018-06-12 14:42:49 -04:00
Patrick Thomson
248eb4f207 clarify 2018-06-12 14:13:45 -04:00
Patrick Thomson
63fdf40cb0 Concrete was a lousy name 2018-06-12 14:10:28 -04:00
Patrick Thomson
4d8fe33ad4 last few changes 2018-06-12 14:05:57 -04:00
Patrick Thomson
9c758ad3fe Lint 2018-06-12 14:00:51 -04:00
Patrick Thomson
6d287d8cce make sure Util loads a prelude 2018-06-12 13:58:16 -04:00
Patrick Thomson
ffbe4dbbda fix bug in readProjectFromPaths 2018-06-12 13:17:06 -04:00
Patrick Thomson
e661e49f73 kill trace 2018-06-12 12:11:37 -04:00
Timothy Clem
730cc1fe5d Merge remote-tracking branch 'origin/master' into moda-port-moda-templates-496f202fc39cacce87efe700ebe94c9e 2018-06-12 09:10:36 -07:00
Timothy Clem
f2da67330b Merge pull request #1944 from github/haystack 
Error reporting to Haystack and configuration consolidation
 2018-06-12 09:09:55 -07:00
Patrick Thomson
81482ee696 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-12 12:09:49 -04:00
Patrick Thomson
c563747f87 tests compile now 2018-06-12 12:09:40 -04:00
Patrick Thomson
30c7d0d554 formatting 2018-06-12 12:07:17 -04:00
Timothy Clem
aa833de097 Not used, so don't name it 2018-06-12 09:05:04 -07:00
Patrick Thomson
6c4bd4177f not needed 2018-06-12 12:02:16 -04:00
Timothy Clem
1b9d6c0348 Report sha, log short message, include backtrace 2018-06-12 09:00:41 -07:00
Patrick Thomson
f0b96e793d remove unused functions 2018-06-12 11:54:25 -04:00
Patrick Thomson
38be124258 Revert "split up Semantic.IO into Data.Handle and Semantic.Effect.Files" 
This reverts commit c0064862e756a1064dc29631f94e007d9bdfb10b.
 2018-06-12 11:40:53 -04:00
Patrick Thomson
17d673f574 WIP 2018-06-12 11:35:37 -04:00
Patrick Thomson
c950e3af37 huge simplifications 2018-06-12 11:34:40 -04:00
Timothy Clem
d06c4f6e07 Attempt to compute a class 2018-06-12 08:13:23 -07:00
Josh Vera
663f3a065b Merge branch 'master' into haystack 2018-06-12 06:41:13 -04:00
Josh Vera
ece3d8961f Merge pull request #1939 from github/java-assignment-continued 
Java assignment part 3
 2018-06-12 06:38:18 -04:00
Josh Vera
59031403f2 Merge branch 'master' into java-assignment-continued 2018-06-12 06:23:15 -04:00
Josh Vera
9a72b48c44 Merge pull request #1946 from github/charliesome/value-ref-params 
Remove value type parameter from ValueRef
 2018-06-12 06:22:43 -04:00
Charlie Somerville
a9a49ec56c remove value parameter from ValueRef 2018-06-12 14:23:48 +10:00
Charlie Somerville
9e936a4a1a Merge pull request #1877 from github/charliesome/value-ref-address 
Change ValueRef to hold addresses rather than values directly
 2018-06-12 13:56:03 +10:00
Charlie Somerville
c326a7e9d1 add documentation 2018-06-12 12:37:00 +10:00
Charlie Somerville
e436ace47c remove fromJust 2018-06-12 12:36:57 +10:00
Charlie Somerville
3c2a877821 Merge branch 'master' into charliesome/value-ref-address 2018-06-12 08:56:56 +10:00
Timothy Clem
da779b60a3 Don't strip out the computed Authorization header 2018-06-11 15:27:12 -07:00