27509 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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