github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity
25,145 Commits 19 Branches 16 Tags 46 MiB
e340bfefe1
Commit Graph

25145 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
e340bfefe1 Factor a list of effects out of ConcreteEff. 2018-08-15 11:46:22 -04:00
Rob Rix
7f423daec4 Rename ImportGraphEff to ConcreteEff. 2018-08-15 11:40:30 -04:00
Rob Rix
93d79dfd30 Use ModuleEffects in ImportGraphEff. 2018-08-15 11:33:30 -04:00
Rob Rix
c04fc7d048 Use ValueEffects in ImportGraphEff. 2018-08-15 11:32:57 -04:00
Rob Rix
263b068984 Define a synonym for the value effects. 2018-08-15 11:32:05 -04:00
Rob Rix
d74812dbd2 Define a synonym for the module-level effects. 2018-08-15 11:31:08 -04:00
Rob Rix
224a4e206f Merge branch 'master' into fix-abstract-semantics 2018-08-15 09:48:08 -04:00
Rob Rix
8bc3951021 Merge pull request #2136 from github/one-for-the-money,-two-for-the-show 
(Further) customized Show instances for Bindings/Heap
 2018-08-15 09:33:06 -04:00
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -07:00
Rob Rix
b57bacb302 Flatten out the sets in the Heap Show instance. 2018-08-14 14:42:26 -04:00
Rob Rix
788afa5a96 Define a specialized Show instance for Bindings. 2018-08-14 14:41:33 -04:00
Rick Winfrey
3aeead2bfe Merge pull request #2135 from github/clean-per-weeder 
Clean up `weeder` warnings
 2018-08-14 10:42:23 -07:00
Rick Winfrey
76a91c825d Merge branch 'master' into clean-per-weeder 2018-08-14 10:26:44 -07:00
Ayman Nadeem
17c1ccffbc Merge pull request #2128 from github/update-program-analysis-docs 
update program analysis docs
 2018-08-14 11:57:06 -04:00
Rick Winfrey
f9bc7d7a1f Merge branch 'master' into clean-per-weeder 2018-08-13 16:22:33 -07:00
Ayman Nadeem
4674a1b98d Merge branch 'master' into update-program-analysis-docs 2018-08-13 18:58:31 -04:00
Rick Winfrey
54bc2a9521 🔥 unused exports 2018-08-13 15:43:23 -07:00
Rick Winfrey
bdeae17ff6 🔥 unneeded build-depends 2018-08-13 15:43:07 -07:00
Rick Winfrey
00693a54ee Update bench to work again 2018-08-13 15:42:42 -07:00
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
Josh Vera
2c5c8e624b Merge pull request #2126 from github/update-haskell-tree-sitter 
Update haskell tree sitter
 2018-08-13 16:24:38 -04:00
Rick Winfrey
f6ade968ee Update protofiles 2018-08-13 13:11:07 -07:00
Rick Winfrey
27c2ebd519 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 13:01:07 -07:00
Rick Winfrey
9e87ea9fc5 Update python fixtures 
I think this got lost when merging in master
 2018-08-13 12:48:47 -07:00
Rob Rix
e0c100f8e9 Merge pull request #2130 from github/parameterize-evaluate-with-deref-and-allocator-handlers 
Specialize Allocator/Deref handlers for the address types
 2018-08-13 15:16:55 -04:00
Rick Winfrey
62fb9635e0 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 11:36:10 -07:00
Rick Winfrey
f0daabaf9a Update go fixtures 2018-08-13 11:29:01 -07:00
Rick Winfrey
13dbf02cb6 Reduce layering of terms for ParameterList 2018-08-13 11:26:09 -07:00
Rob Rix
5665c1ca50 Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers 2018-08-13 13:34:40 -04:00
Rob Rix
08a29fdf92 Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers 2018-08-13 13:33:36 -04:00
Timothy Clem
cdbea3932b Merge pull request #2131 from github/update-protos 
Update protos from recent (grammar?) changes
 2018-08-13 09:55:05 -07:00
Timothy Clem
54e8be811e Filling missing Ruby syntaxes 2018-08-13 09:13:16 -07:00
Timothy Clem
937241320c Variable is no longer part of Python syntax 2018-08-13 08:12:02 -07:00
Timothy Clem
eabb821eff Auto-merged master into update-protos on deployment 2018-08-13 07:59:05 -07:00
Ayman Nadeem
5b12d3c43c Merge pull request #2124 from github/eval-instances 
add evaluatable instances for sequence expression, void and delete
 2018-08-13 10:58:58 -04:00
Timothy Clem
23313f83a7 Update protos from recent changes 2018-08-13 07:55:04 -07:00
Ayman Nadeem
d107446abf re-generate ruby example 2018-08-13 10:43:44 -04:00
Rob Rix
f0c5c8222b Stop the doctests from freaking out. 2018-08-13 10:30:58 -04:00
Ayman Nadeem
b54f175ebf update examples 2018-08-13 10:20:13 -04:00
Rob Rix
85adaafef5 Fix the doctests. 2018-08-13 10:20:13 -04:00
Rob Rix
68157b1fa0 Apply the correct value type. 2018-08-13 10:06:12 -04:00
Rob Rix
99e377aec7 Fix a missed reference to Deref in the specs. 2018-08-13 09:58:18 -04:00
Rob Rix
d825ceda56 🔥 the address parameter to Deref. 2018-08-13 09:57:18 -04:00
Rob Rix
9c9fa333d6 🔥 Allocatable & Derefable. 2018-08-13 09:46:46 -04:00
Rob Rix
c5234c0d62 🔥 the instances of Allocatable and Derefable. 2018-08-13 09:44:40 -04:00
Rob Rix
51036dcada 🔥 the unspecialized handlers for Allocator and Deref. 2018-08-13 09:43:52 -04:00
Rob Rix
a438930c91 Use the specialized handlers for Allocator and Precise. 2018-08-13 09:43:37 -04:00
Rob Rix
8cd4d8808f Move Hole into its own module. 2018-08-13 09:37:39 -04:00
Rob Rix
16964350b0 Stub in a module for the Hole address type. 2018-08-13 09:35:37 -04:00
Rob Rix
669834ad88 Define an extracted, Hole-specific handler for Deref. 2018-08-13 09:33:47 -04:00