github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
Code Issues Projects Releases Wiki Activity
27,225 Commits 19 Branches 16 Tags 46 MiB
7b676dc038
Commit Graph

27225 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ayman Nadeem
7b676dc038 move runBitwise near its friends 2019-01-15 16:23:08 -05: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
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
Ayman Nadeem
8cc1108071 create runArray effect handler 2019-01-09 11:35:00 -05:00
Ayman Nadeem
3eaebef180 ArrayC carrier type 2019-01-09 11:34:37 -05:00
Ayman Nadeem
eff8e2bb82 stub out Array effect data type 2019-01-09 11:34:15 -05:00
Ayman Nadeem
27efda0de5 klass smart constructor replaces klass method in AbstractValue 2019-01-09 10:21:56 -05:00
Ayman Nadeem
9abf7b3cc3 bye felicia to klass in Concrete domain 2019-01-09 10:21:15 -05:00
Ayman Nadeem
b8b20bdd98 bye felicia to klass in Type domain 2019-01-09 10:21:07 -05:00