Skip to content
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

chore: Bump to MPL HEAD, Smithy-Dafny HEAD #1299

Merged
merged 72 commits into from
Nov 1, 2024
Merged
Changes from 1 commit
Commits
Show all changes
72 commits
Select commit Hold shift + click to select a range
48e3204
primitives name
lucasmcdonald3 Aug 21, 2024
2bbf457
oop
lucasmcdonald3 Aug 21, 2024
0d4482a
Merge branch 'main' into primitives-name
lucasmcdonald3 Aug 21, 2024
4369a3c
snap
lucasmcdonald3 Aug 21, 2024
dac6f94
Merge branch 'main' into primitives-name
lucasmcdonald3 Aug 23, 2024
b895643
remove unnecessary asserts
ajewellamz Aug 22, 2024
81d8b26
m
ajewellamz Aug 22, 2024
4825712
m
ajewellamz Aug 22, 2024
ffd5b0d
Merge branch 'main' into primitives-name
lucasmcdonald3 Aug 23, 2024
7283823
chore: add ddb local to dafny interop test vectors (#1316)
josecorella Aug 26, 2024
621e9cc
fix: remove usage of `:|` (#1320)
josecorella Aug 28, 2024
4c608d2
chore: add check only keyword action (#1327)
josecorella Aug 29, 2024
cd69b16
chore: remove /// from smithy files (#1349)
ajewellamz Sep 10, 2024
e8bcd12
m
lucasmcdonald3 Sep 24, 2024
7e3681b
chore(release): 3.7.0 (#1368)
josecorella Sep 17, 2024
d436498
chore: fix dafny version release scripts (#1369)
josecorella Sep 17, 2024
8d30402
chore: enable local testing (#1380)
josecorella Sep 20, 2024
40a1f79
chore(CI): make smithy fidd check smarter (#1381)
josecorella Sep 20, 2024
ffb993b
Merge branch 'main' into primitives-name
lucasmcdonald3 Sep 24, 2024
e1fde21
m
lucasmcdonald3 Sep 25, 2024
bdb0533
m
lucasmcdonald3 Sep 25, 2024
3536f16
m
lucasmcdonald3 Sep 25, 2024
6d06369
chore: Bump to MPL 1.7 and localtests
lucasmcdonald3 Sep 25, 2024
ce14c7e
m
lucasmcdonald3 Sep 25, 2024
a86f24e
m
lucasmcdonald3 Sep 25, 2024
3cc75ed
m
lucasmcdonald3 Sep 25, 2024
7996a61
m
lucasmcdonald3 Sep 25, 2024
6cd82f7
m
lucasmcdonald3 Sep 25, 2024
a740c4a
m
lucasmcdonald3 Sep 25, 2024
663cbf1
m
lucasmcdonald3 Sep 25, 2024
dbc0893
m
lucasmcdonald3 Sep 25, 2024
4a386ba
m
lucasmcdonald3 Sep 25, 2024
8162cc6
m
lucasmcdonald3 Sep 25, 2024
6c06933
no patch
lucasmcdonald3 Sep 25, 2024
5a76f3e
m
lucasmcdonald3 Sep 25, 2024
dc5b482
m
lucasmcdonald3 Sep 25, 2024
d476ff5
m
lucasmcdonald3 Sep 25, 2024
6803207
m
lucasmcdonald3 Sep 25, 2024
ce41385
m
lucasmcdonald3 Sep 25, 2024
7615cdc
m
lucasmcdonald3 Sep 25, 2024
3f8ae26
m
lucasmcdonald3 Sep 25, 2024
b4959f6
m
lucasmcdonald3 Sep 25, 2024
362c3b3
m
lucasmcdonald3 Sep 25, 2024
32842c7
m
lucasmcdonald3 Sep 25, 2024
4851473
m
lucasmcdonald3 Sep 25, 2024
4498ca1
m
lucasmcdonald3 Sep 25, 2024
36b6d1b
m
lucasmcdonald3 Sep 25, 2024
58556ca
m
lucasmcdonald3 Sep 26, 2024
5f01a6e
m
lucasmcdonald3 Sep 26, 2024
ebe03ae
m
lucasmcdonald3 Sep 26, 2024
dadb50b
m
lucasmcdonald3 Sep 26, 2024
44b0666
m
lucasmcdonald3 Sep 26, 2024
bd47477
use passing one
lucasmcdonald3 Sep 26, 2024
241d9a9
m
lucasmcdonald3 Sep 26, 2024
9fd7411
fix
lucasmcdonald3 Sep 26, 2024
1d6ac49
m
lucasmcdonald3 Sep 26, 2024
c3d0cc8
m
lucasmcdonald3 Sep 26, 2024
24a1f21
m
lucasmcdonald3 Sep 26, 2024
84d6574
bump smithy-dafny to main
lucasmcdonald3 Sep 26, 2024
5665d3b
clean
lucasmcdonald3 Sep 26, 2024
bc349a7
Merge branch 'mpl-1.7' into primitives-name
lucasmcdonald3 Sep 26, 2024
9b3f20a
m
lucasmcdonald3 Sep 26, 2024
5e38451
update
lucasmcdonald3 Oct 29, 2024
cfc3e01
Merge branch 'main' into primitives-name
lucasmcdonald3 Oct 29, 2024
c97ebff
repoly
lucasmcdonald3 Oct 29, 2024
1deae41
local testing?
lucasmcdonald3 Oct 29, 2024
b6aa520
refine the cache
seebees Oct 30, 2024
f945592
m
lucasmcdonald3 Oct 30, 2024
b11dc2e
m
lucasmcdonald3 Oct 31, 2024
8f75098
m
lucasmcdonald3 Oct 31, 2024
a73fbc6
main mpl
lucasmcdonald3 Oct 31, 2024
8bf0a7b
repoly
lucasmcdonald3 Oct 31, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
remove unnecessary asserts
ajewellamz authored and lucasmcdonald3 committed Aug 23, 2024
commit b89564335fc9a64cbd4d440b8ff47ae4e8fb5ff1
Original file line number Diff line number Diff line change
@@ -92,16 +92,6 @@ module QueryTransform {
var decryptRes := tableConfig.itemEncryptor.DecryptItem(decryptInput);
var decrypted :- MapError(decryptRes);

// If the decrypted result was plaintext, i.e. has no parsedHeader
// then this is expected IFF the table config allows plaintext read
assert decrypted.parsedHeader.None? ==>
&& EncOps.IsPlaintextItem(encryptedItems[x])
&& !tableConfig.plaintextOverride.FORBID_PLAINTEXT_WRITE_FORBID_PLAINTEXT_READ?
&& (
|| tableConfig.plaintextOverride.FORBID_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ?
|| tableConfig.plaintextOverride.FORCE_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ?
);

if keyId.KeyId? && decrypted.parsedHeader.Some? {
:- Need(|decrypted.parsedHeader.value.encryptedDataKeys| == 1, E("Query result has more than one Encrypted Data Key"));
if decrypted.parsedHeader.value.encryptedDataKeys[0].keyProviderInfo == keyIdUtf8 {
Original file line number Diff line number Diff line change
@@ -90,16 +90,6 @@ module ScanTransform {
var decryptRes := tableConfig.itemEncryptor.DecryptItem(decryptInput);
var decrypted :- MapError(decryptRes);

// If the decrypted result was plaintext, i.e. has no parsedHeader
// then this is expected IFF the table config allows plaintext read
assert decrypted.parsedHeader.None? ==>
&& EncOps.IsPlaintextItem(encryptedItems[x])
&& !tableConfig.plaintextOverride.FORBID_PLAINTEXT_WRITE_FORBID_PLAINTEXT_READ?
&& (
|| tableConfig.plaintextOverride.FORBID_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ?
|| tableConfig.plaintextOverride.FORCE_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ?
);

if keyId.KeyId? && decrypted.parsedHeader.Some? {
:- Need(|decrypted.parsedHeader.value.encryptedDataKeys| == 1, E("Scan result has more than one Encrypted Data Key"));
if decrypted.parsedHeader.value.encryptedDataKeys[0].keyProviderInfo == keyIdUtf8 {