github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
27,346 Commits 19 Branches 16 Tags 46 MiB
1e187d2f57
Commit Graph

27346 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ayman Nadeem
bab4759a2f drop more misc comments 2019-01-15 16:31:10 -05:00
Ayman Nadeem
857b644c0d clean up comments 2019-01-15 16:29:48 -05:00
Ayman Nadeem
238bc6ed88 hide hash from Prologue import for shorter export name 2019-01-15 16:27:08 -05:00
Ayman Nadeem
7b676dc038 move runBitwise near its friends 2019-01-15 16:23:08 -05:00
Rick Winfrey
439e9ff9ae Update remaining 2019-01-15 12:27:09 -08:00
Rick Winfrey
2b1e3a9585 Update expression syntax 2019-01-15 12:26:45 -08:00
Rick Winfrey
17079bcbc5 Update syntax declarations to use termToAccessControl 2019-01-15 12:26:09 -08:00
Rick Winfrey
0ab26b07aa Update Taggable instance 2019-01-15 12:25:33 -08:00
Rick Winfrey
201a305756 Update language assignments to use AccessControl 2019-01-15 12:25:21 -08:00
Rick Winfrey
dac3b47256 Rename Visibility syntax -> AccessControl syntax 2019-01-15 12:24:43 -08:00
Rick Winfrey
00d074bced Rename Visibility -> AccessControl 2019-01-15 12:24:10 -08:00
Rick Winfrey
688d744c2c Rename Visibilities & Visibilities1 -> AccessControls & AccessControls1 
Visibilities is from the scope graph literature, and is not the same idea or equivalent in any way to the idea of access control.
 2019-01-15 12:23:48 -08:00
Ayman Nadeem
ed6f225213 fix build errors 2019-01-15 13:57:14 -05:00
Ayman Nadeem
b1b014a993 fix conflicts 2019-01-15 13:20:48 -05:00
Rick Winfrey
8679f360fb Reflect instance methods / field definitions access control when instantiating objects 2019-01-14 17:58:18 -08:00
Rick Winfrey
ad68196124 Reflow 2019-01-14 17:57:31 -08:00
Rick Winfrey
f1300c2136 Declare public field name with correct access control 2019-01-14 17:57:22 -08:00
Rick Winfrey
4b5eb19700 Simplify scope lookup for MemberAccess 2019-01-14 17:22:03 -08:00
Rick Winfrey
2a4cc4eab2 Update example 2019-01-14 15:21:25 -08:00
Rick Winfrey
ed88f498a9 Generate list of possible Relation based on Visibilties of lhs in MemberAccess 2019-01-14 15:21:10 -08:00
Rick Winfrey
b2cbb3299a Manually define Visibilities This instance 2019-01-14 15:20:25 -08:00
Ayman Nadeem
3a5b679236 change fmap and applicative to do block 2019-01-14 16:38:43 -05:00
Ayman Nadeem
899e847f3a delete old hash method implementations in Concrete domain 2019-01-14 16:03:59 -05:00
Ayman Nadeem
e765d9c951 delete old hash method implementations in Type domain 2019-01-14 16:03:50 -05:00
Ayman Nadeem
4de04378dd delete old hash method implementations in Abstract domain 2019-01-14 16:03:22 -05:00
Ayman Nadeem
a6aa6c812b replace AbstractIntro methods with smart constructors for hash and kvPair 2019-01-14 15:56:50 -05:00
Ayman Nadeem
04b5863011 evaluatable instances can now use hash 2019-01-14 15:56:21 -05:00
Ayman Nadeem
7021664a67 add hash to runDomainEffects 2019-01-14 15:55:59 -05:00
Ayman Nadeem
dbf197d366 fix hash carrier instance for concrete domain 2019-01-14 15:29:15 -05:00
Ayman Nadeem
7e9b5aee94 fix hash carrier instance for type domain 2019-01-14 15:29:00 -05:00
Ayman Nadeem
6f9a8c2733 stub out incorrect hash carrier instance for concrete domain 2019-01-11 17:36:28 -05:00
Ayman Nadeem
0fff151f21 stub out incorrect hash carrier instance for type domain 2019-01-11 17:36:21 -05:00
Ayman Nadeem
68690bf3d8 hash carrier instance for abstract domain 2019-01-11 17:19:33 -05:00
Ayman Nadeem
77b35435d6 correct parameter booboo 2019-01-11 17:19:02 -05:00
Ayman Nadeem
cca3cb868b hide Hash 2019-01-11 17:14:41 -05:00
Ayman Nadeem
8c37ade84c stub out Hash effect, carrier type and handler 2019-01-11 17:14:29 -05:00
Patrick Thomson
dfa73e5e50 Merge pull request #2331 from github/add-fromright-fromleft 
Add fromRight/fromLeft to Prologue and according hlint rules.
 2019-01-11 15:45:58 -05:00
Ayman Nadeem
dc72a67e97 get rid of a bajillion redundant constraints and imports 2019-01-11 15:16:35 -05:00
Ayman Nadeem
4b5ba568af make ghc happy 2019-01-11 15:06:36 -05:00
Ayman Nadeem
c278dc3bd3 remove AbstractValue array methods from Type domain 2019-01-11 14:56:11 -05:00
Ayman Nadeem
634affcd31 remove AbstractValue array methods from Concrete domain 2019-01-11 14:56:05 -05:00
Ayman Nadeem
30775c4902 remove AbstractValue array methods from Abstract domain 2019-01-11 14:55:58 -05:00
Ayman Nadeem
91aee90ae6 smart constructors are better than dumb constructors (array and asArray) 2019-01-11 13:59:23 -05:00
Ayman Nadeem
decbc554ae evaluatable instances can now use array effects 2019-01-11 13:44:47 -05:00
Ayman Nadeem
5bfbb0a95b add array to runDomainEffects 2019-01-11 13:44:34 -05:00
Ayman Nadeem
92cd5634dc rewrite first AsArray condition 2019-01-11 13:30:31 -05:00
Ayman Nadeem
8745c48dfa remove redundant constraints 2019-01-11 13:27:45 -05:00
Ayman Nadeem
745b739538 array carrier instance for concrete domain 2019-01-11 13:26:42 -05:00
Patrick Thomson
716da369fe Add fromRight/fromLeft to Prologue and according hlint rules. 
These are new in base-4.10; I had no idea they existed until Rob
pointed them out. This adds them to the Prologue and institutes hlint
rules to suggest when we can use them.
 2019-01-11 12:49:56 -05:00
Patrick Thomson
73ea843d23 Merge pull request #2327 from github/simplify-both 
Simplify Data.Functor.Both.
 2019-01-11 11:21:35 -05:00