1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Commit Graph

27512 Commits

Author SHA1 Message Date
Rick Winfrey
5e56ae63d8 Correct applications of declare to use AccessControl 2019-01-15 17:19:04 -08:00
Rick Winfrey
78fe6e33e2 Update applications of define to include AccessControl as a separate parameter 2019-01-15 17:13:49 -08:00
Rick Winfrey
28fc303de4 Parameterize defineBuiltIn with AccessControl 2019-01-15 17:13:12 -08:00
Rick Winfrey
3371b46b0b Parameterize define with AccessControl 2019-01-15 17:12:44 -08:00
Rick Winfrey
df18a4fa07 Construct info with access control 2019-01-15 17:12:11 -08:00
Rick Winfrey
71646b50db Parameterize declare with AccessControl 2019-01-15 17:11:53 -08:00
Rick Winfrey
dd85e414d6 Remove access control from Relation 2019-01-15 17:11:36 -08:00
Rick Winfrey
7326df0c65 Define access control on Info 2019-01-15 17:11:24 -08:00
Timothy Clem
e316385e1e Comments in protos are nice 2019-01-15 15:58:58 -08:00
Ayman Nadeem
896cfe983c Reference Data.Abstract.Value.Concrete and not Control.Abstract.Value 2019-01-15 16:54:00 -05:00
Ayman Nadeem
2f29c9a566 disambiguate 2019-01-15 16:47:40 -05:00
Ayman Nadeem
790bf4dd1c refactor do block using monad laws 2019-01-15 16:35:10 -05:00
Ayman Nadeem
12ad3a8a37 remove superfluous parens 2019-01-15 16:33:39 -05:00
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
Timothy Clem
26b771715f Wire in Twirp ping and symbols endpoints, disable grpc entirely 2019-01-15 08:45:20 -08: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
Timothy Clem
dd5dbd590d Fix a typo in the go package name for terms 2019-01-14 14:53:24 -08:00
Timothy Clem
2a88f75459 Pick up some left over proto changes 2019-01-14 14:52:44 -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