-
Notifications
You must be signed in to change notification settings - Fork 15
Issues: google-research/raksha
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Write Tests for the ToString methods in auth_logic/ast.h and datalog/program.h
#720
opened Sep 14, 2022 by
aferr
ArcsJs Check that downgrade intent is correctly associated with downgrade tags and data
#710
opened Sep 8, 2022 by
Cypher1
Add tests and support for ArcsJs opaque data and confidentiality tags
#687
opened Aug 24, 2022 by
Cypher1
Add tests for ArcsJs declassification via appropriately trusted particles
#684
opened Aug 24, 2022 by
Cypher1
Make AST node for IDs (Principal names / predicate argument names)
authorization logic
#673
opened Aug 19, 2022 by
aferr
Generalize or import
sql.*
operators into appropriate namespaces (e.g. arcsjs.*
)
#664
opened Aug 18, 2022 by
Cypher1
Catch when Souffle "helpfully" continues with malformed input in tests.
enhancement
New feature or request
#657
opened Aug 16, 2022 by
markww
Replace usage of variants in
auth_logic/ast.h
with subclasses
authorization logic
#649
opened Aug 11, 2022 by
aferr
Make an Abstract Class for Ast Node to Support Generic Helper Function in Visitor
#648
opened Aug 10, 2022 by
aferr
Add Separate Nodes for Predicate and RelationDeclaration to auth_logic/ast.h
#644
opened Aug 9, 2022 by
aferr
Previous Next
ProTip!
Adding no:label will show everything without a label.