feat(dafny): AWS KMS Branch Key Store Admin#1005

Draft

texastony wants to merge 24 commits intomutations/storagefrom

mutations/mutations

Commits on May 20, 2025

chore(KSA-Model): more Mutation Operation changes (#955)
texastony
committed
fix(Mutations): KMS Exception improvements
texastony
committed
feat(KSA): Describe Mutation
texastony
committed
feat(KSA): KMS Decrypt/Encrypt Strategy (#1020)

texastony
and
josecorella
committed
feat(KSA): System Key (#1021) (#1055)

texastony
and
josecorella
committed
chore: percolate changes from HEAD to mutations branch
texastony
committed
fix(KS-Smithy): explicit error for tampered Branch Key (#1058)
texastony
committed
chore: fix decrypt encrypt strategy (#1059)

josecorella
authored and
texastony
committed
fix(KSA): Describe Mutation bugs (#1062)
texastony
committed
chore: error refinement improvements decrypt/encrypt strategy (#1061)

josecorella
authored and
texastony
committed
fix(KSA-Dafny): break up Mutations, other fixes, more tests (#1069)

texastony
and
josecorella
committed
fix: use correct client depending on operation (#1084)

josecorella
authored and
texastony
committed
test(KSA-Java): assert deletion of Index/Commitment at end of Mutation (#1081)
texastony
committed
docs: update documentation for Key Store Admin Errors (#1086)

josecorella
authored and
texastony
committed
test(KSA): Utilize Limit KMS Clients in Mutation D/E test (#1089)
texastony
committed
feat(KSA): DoNotVersion for Initialize Mutation (#1082)
texastony
committed
feat(KSA): require System Key + doc polish + tests (#1092)
texastony
committed
fix(MPL): remove un-used imports (#1103)
texastony
committed
docs(KSA): clarify mutation behvior (#1112)
texastony
committed
chore(Smithy): remove Smithy trait un-supported by Smithy-Dafny (#1134)
texastony
committed
test: add concurrency testing for storage operations (#1132)

josecorella
and
texastony
committed
fix(GHW): Library Example (#1269)
texastony
committed
fix(KeyStoreAdmin): Exceptions for Mutations when KMS Key is Disabled (#1235)
texastony
committed

Commits on May 21, 2025

chore: bring in latest main changes

josecorella
authored and
texastony
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat(dafny): AWS KMS Branch Key Store Admin#1005

feat(dafny): AWS KMS Branch Key Store Admin#1005
texastony wants to merge 24 commits intomutations/storagefrom
mutations/mutations

Commits on May 20, 2025

chore(KSA-Model): more Mutation Operation changes (#955)

fix(Mutations): KMS Exception improvements

feat(KSA): Describe Mutation

feat(KSA): KMS Decrypt/Encrypt Strategy (#1020)

feat(KSA): System Key (#1021) (#1055)

chore: percolate changes from HEAD to mutations branch

fix(KS-Smithy): explicit error for tampered Branch Key (#1058)

chore: fix decrypt encrypt strategy (#1059)

fix(KSA): Describe Mutation bugs (#1062)

chore: error refinement improvements decrypt/encrypt strategy (#1061)

fix(KSA-Dafny): break up Mutations, other fixes, more tests (#1069)

fix: use correct client depending on operation (#1084)

test(KSA-Java): assert deletion of Index/Commitment at end of Mutation (#1081)

docs: update documentation for Key Store Admin Errors (#1086)

test(KSA): Utilize Limit KMS Clients in Mutation D/E test (#1089)

feat(KSA): DoNotVersion for Initialize Mutation (#1082)

feat(KSA): require System Key + doc polish + tests (#1092)

fix(MPL): remove un-used imports (#1103)

docs(KSA): clarify mutation behvior (#1112)

chore(Smithy): remove Smithy trait un-supported by Smithy-Dafny (#1134)

test: add concurrency testing for storage operations (#1132)

fix(GHW): Library Example (#1269)

fix(KeyStoreAdmin): Exceptions for Mutations when KMS Key is Disabled (#1235)

Commits on May 21, 2025

chore: bring in latest main changes

feat(dafny): AWS KMS Branch Key Store Admin#1005texastony wants to merge 24 commits intomutations/storageaws/aws-cryptographic-material-providers-library:mutations/storagefrom mutations/mutationsaws/aws-cryptographic-material-providers-library:mutations/mutationsCopy head branch name to clipboard

Commits

Commits on May 20, 2025

Commits on May 21, 2025

feat(dafny): AWS KMS Branch Key Store Admin#1005
texastony wants to merge 24 commits intomutations/storagefrom
mutations/mutations