feat(dafny): Add bucket beacon support#1943
Conversation
lucasmcdonald3
left a comment
lucasmcdonald3
left a comment
There was a problem hiding this comment.
Approving on Jose's behalf to unblock merge, I haven't reviewed these changes
|
@ajewellamz and @lucasmcdonald3, I noticed you are updating the smithy model files. |
josecorella
left a comment
josecorella
left a comment
There was a problem hiding this comment.
@mahnushm I also see that there are no rust examples, are we merging those after this PR lands but before launch?
| var keyId :- Filter.GetBeaconKeyId(search.value.curr(), req.KeyConditionExpression, req.FilterExpression, req.ExpressionAttributeValues, req.ExpressionAttributeNames); | ||
| var oldContext := Filter.ExprContext(req.KeyConditionExpression, req.FilterExpression, req.ExpressionAttributeValues, req.ExpressionAttributeNames); | ||
| var newContext :- Filter.Beaconize(search.value.curr(), oldContext, keyId); | ||
| var foo :- ExtractPartition(search.value.curr(), req.FilterExpression, req.KeyConditionExpression, req.ExpressionAttributeNames, req.ExpressionAttributeValues, actions); |
There was a problem hiding this comment.
@rishav-karanjit, did you resolve this? does it need to be addressed before merging?
| for i : uint64 := 0 to |values| as uint64 | ||
| invariant result <= bv.numPartitions | ||
| { | ||
| var partitions := values[i].0.getNumQueries(bv.numPartitions, values[0].1); |
There was a problem hiding this comment.
did this get answered?
| structure GetNumberOfQueriesInput { | ||
| @required | ||
| input: QueryInput | ||
| } | ||
|
|
||
| //= specification/dynamodb-encryption-client/ddb-get-number-of-queries.md#input | ||
| //= type=implication | ||
| //# This operation MUST return the number of queries necessary. | ||
| structure GetNumberOfQueriesOutput { | ||
| @required | ||
| numberOfQueries: PartitionCount | ||
| } |
There was a problem hiding this comment.
these dont have javadocs
|
@ajewellamz and @josecorella, I noticed you are updating the smithy model files. |
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
1 similar comment
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
There was a problem hiding this comment.
There are two of my comments that still looks relevant to me
https://github.com/aws/aws-database-encryption-sdk-dynamodb/pull/1943/changes#r2962969885
https://github.com/aws/aws-database-encryption-sdk-dynamodb/pull/1943/changes#r2962931735
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
Co-authored-by: Rishav karanjit <karanjitrishav4@gmail.com>
a94e9e4
Co-authored-by: Rishav karanjit <karanjitrishav4@gmail.com>
Co-authored-by: Rishav karanjit <karanjitrishav4@gmail.com>
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
Co-authored-by: Rishav karanjit <karanjitrishav4@gmail.com>
|
@ajewellamz and @mahnushm, I noticed you are updating the smithy model files. |
|
@ajewellamz and @rishav-karanjit, I noticed you are updating the smithy model files. |
7 participants
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.