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,382 Commits 19 Branches 16 Tags 46 MiB
f0497936a3
Commit Graph

27382 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Ayman Nadeem
0bf26f6477 rewrite AsArray in type domain 2019-01-11 11:21:23 -05:00
Patrick Thomson
cfc6d46a28 Merge branch 'master' into simplify-both 2019-01-10 18:39:21 -05:00
Timothy Clem
afb0bd0e74 Merge pull request #2330 from github/bump-tree-sitter 
++tree-sitter-typescript for flow type in import_statement
 2019-01-10 15:08:01 -08:00
Timothy Clem
06a0d29990 ++tree-sitter-typescript for flow type in import_statement 2019-01-10 14:37:27 -08:00
Patrick Thomson
f750f2952a Remove 'both' function. 2019-01-10 15:53:15 -05:00
Patrick Thomson
8140b8ef9d Merge remote-tracking branch 'origin/master' into simplify-both 2019-01-10 13:54:04 -05:00
Patrick Thomson
742d7caf95 Merge pull request #2328 from github/bump-submodules-2019-01-08 
Bump proto3-suite version and remove unneeded dependency.
 2019-01-10 13:23:05 -05:00
Rob Rix
77b8e617c5 Merge branch 'master' into bump-submodules-2019-01-08 2019-01-10 09:20:47 -05:00
Rob Rix
dd4fbcbbb2 Merge branch 'master' into simplify-both 2019-01-10 09:10:16 -05:00
Ayman Nadeem
48c32ce4b6 update Evaluatable to disambiguate 2019-01-09 20:40:06 -05:00
Ayman Nadeem
7b1fdcb34f Add initial working but ugly carrier instance for Array in type domain 2019-01-09 20:39:48 -05:00
Ayman Nadeem
a14fcccd16 add Array carrier instance to Abstract domain 2019-01-09 20:38:34 -05:00
Rick Winfrey
0a5c9d45a0 Add back visibility to relations 2019-01-09 17:32:29 -08:00
Rick Winfrey
9ae24b65f6 Derive via Generically for Visibility 2019-01-09 17:32:15 -08:00