github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
25,553 Commits 19 Branches 16 Tags 46 MiB
86654a2dab
Commit Graph

25553 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
ed3189d828 Reformat a couple of signatures. 2018-08-15 11:54:14 -04:00
Rob Rix
c4e94f0d80 🔥 some redundant quantifiers. 2018-08-15 11:53:43 -04:00
Rob Rix
9af75f3f85 Infer the remaining effects. 2018-08-15 11:53:15 -04:00
Rob Rix
30627fa518 Move the graph state outside the heap state. 2018-08-15 11:52:48 -04:00
Rob Rix
4d08e47cf0 Move the Reader effects to the head of UtilEff. 2018-08-15 11:49:21 -04:00
Rob Rix
bb021d404a Use the ModuleEffects synonym in UtilEff. 2018-08-15 11:47:43 -04:00
Rob Rix
6e71a76402 Use the ValueEffects synonym in UtilEff. 2018-08-15 11:47:15 -04:00
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
Ayman Nadeem
d6ccb36515 lol just kidding complement is fine 2018-08-15 11:24:49 -04:00
Rob Rix
224a4e206f Merge branch 'master' into fix-abstract-semantics 2018-08-15 09:48:08 -04:00
Rob Rix
4d29fc87f3 Merge branch 'master' into change-port 2018-08-15 09:33:23 -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
Timothy Clem
6d4c4bc09c Regen protos, slight ordering differences 2018-08-14 18:16:09 -07:00
Ayman Nadeem
79ede5aaf4 this is wrong, but I'm trying to add an evaluatable instance for complement 2018-08-14 20:39:19 -04:00
Ayman Nadeem
0d6b5ea0f1 shift right 2018-08-14 20:15:43 -04:00
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -07:00
Timothy Clem
f0172cdc2d No record fields here 2018-08-14 14:18:48 -07:00
Timothy Clem
429026e97e No need to emit Control Strategy tokens, strategy in Reader 2018-08-14 14:16:52 -07:00
Timothy Clem
a15c74e674 Util re-org 2018-08-14 14:16:13 -07:00
Timothy Clem
a1aaa9afa9 Remove need to re-write and ensure History 2018-08-14 14:16:03 -07:00
Timothy Clem
f1db15e31a Use projectTerm 2018-08-14 14:15:24 -07:00
Timothy Clem
cd65c8814a Some common matchers 2018-08-14 14:15:18 -07:00
Ayman Nadeem
c8c38a976a LShift 2018-08-14 17:08:37 -04:00
Ayman Nadeem
9380f0484d xor 2018-08-14 15:58:06 -04: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
Ayman Nadeem
5a40151393 evaluate bitwise and 2018-08-14 14:24:22 -04:00
Ayman Nadeem
a2dd8f131c evaluate bitwise or 2018-08-14 14:20:49 -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
Ayman Nadeem
ee4f78b586 synchronously handle async await 2018-08-14 13:38:30 -04: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
Timothy Clem
487c78b854 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-13 15:56:26 -07: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
Timothy Clem
eca6878d3a A few typesetting fixes 2018-08-13 15:42:52 -07:00
Rick Winfrey
00693a54ee Update bench to work again 2018-08-13 15:42:42 -07:00
Timothy Clem
7f056f533a New take on tokenizing, closer to original SYR algorithm 2018-08-13 15:42:04 -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