1.6.0 -- 2024-09-11

Features

• bump dafny verification and code gen to dafny 4.8.0 (#520) (e16539e)

Bug Fixes

• add ECDH error message for Rust (#574) (473a34a)
• DDB-Model: DDB Supports 100 actions per Transaction (#692) (8a67843)
• GetCurrentTimeStamp returns ISO8601 format (#575) (c07a51f)
• maintain order in test vectors for languages with parallel tests (#641) (8c8a38f)
• Remove 4.4 DDB and KMS patches, abstract test to work on later Dafny versions (#611) (d51d648)
• Remove uses of :| (#618) (f12fe5b)
• test vector help text (#657) (0fedaf1)
• post-release: Change back to 1.5.1-SNAPSHOT (09cd9a4)

1.5.1 -- 2024-07-08

Fixes

• SDK-Java: Generic SDK Error to Opaque & Back (#466) (f832ad1)

1.5.0 -- 2024-06-17

Features

• MPL: Add Raw ECDH and AWS KMS ECDH Keyrings (#419) (0946a7e)

1.4.0 -- 2024-05-20

Features

• Keystore: Introduce additional KMSConfiguration options (#316) (f3a0a52)

The Hierarchical Keyring's Keystore now supports four (4) KMSConfigurations:

• kmsKeyArn
• kmsMRKeyArn
• discovery
• mrDiscovery

See our JavaDocs for details
on how these options effect the relationship between
a Keystore and KMS.

Maintenance

• .NET : Bump dependency BouncyCastle.Cryptography from 2.2.1 to 2.3.1. (#329)
• .NET : Bump dependency AWSSDK.Core from 3.7.300.2 to 3.7.304.2. (#329)
• Java : Move InternalResult into StandardLibrary(Internal) (#325)

1.3.0 -- 2024-04-26

Features

• Multi-Region Key Logic in the Keystore (#285) (d924395)
• .NET : Enforce User input Constraints at Type Conversion (#281) (04102d7)
• Update error message to include expected values when no Encrypted Data Keys found to match (#275) (da95f9a)

Bug Fixes

• dafny: Local Service Constructors MUST return concrete (64f72c1)
• Improvements to the Java Release process (#162) (d92c06a)
• Increase try-block scope when calling MPL components (#267) (7661bf4)

1.2.0 -- 2024-01-10

Features

• add command line parser (#131)

Bug Fixes

• resolve awssdk:core dependency in TestVectors build.gradle.kts (#177)
• add more tests to ComputeSetToOrderedSequence (#111)
• Empty string defers to SDK default region (#127)
• update mpl .csproj to use project references (#134)
• newest polymorph for newest shims. Catch all exceptions. DDB only (#135)
• update README for repo rename update (#147)
• rerun latest polymorph. (#128)
• typo lead to two verification, no format (#130)
• Improve compatibility with Dafny 4.4 (#129)

Maintenance

• A variety of fixes to the libraries CI and testing