Download Latest Version 4.1.1 -- 2025-10-14 source code.tar.gz (5.4 MB)
Email in envelope

Get an email when there's a new version of AWS Encryption SDK for Dafny

Home / v4.1.0
Name Modified Size InfoDownloads / Week
Parent folder
4.1.0 -- 2024-05-14 source code.tar.gz 2024-05-14 2.3 MB
0
4.1.0 -- 2024-05-14 source code.zip 2024-05-14 2.4 MB
0
README.md 2024-05-14 2.9 kB
0
Totals: 3 Items   4.7 MB 0

Notes

  • (#646) Enforces input constraints.

Prior to this fix, the AWS Encryption SDK in .NET (ESDK-NET) failed to enforce user input constraints. Input shapes without required members set would always result in a NullReferenceException. Now, the ESDK-NET will throw its own Exceptions when illegal user input is submitted.

Fixes

  • fix: throw an exception when MemoryStream instance has an empty backing array (#633)

Features

  • feat: enforce input constraints (#646)

Maintenance

  • fix(CI): Daily CI uses correct workflow (#641)
  • chore(ci): fix role to assume (#622)
  • chore(CI/CD): add semantic release automation (#647)
  • chore: Adopt SmithyDafnyMakefile.mk, fix nightly build (#638)
  • chore(CI): add interop tests to daily ci (#640)
  • chore: only run net48 on windows and use node 17 to run integration-node (#639)
  • chore(.NET): Add ESDK-Net v4.0.1 generated vectors(#636)
  • chore(NET-SupportPolicy): Mark 3.x as Support (#631)
  • chore: Add manual trigger for nightly_dafny.yml (#629)
  • chore: split vc gen on some methods to migrate to Dafny 4.4 (#627)
  • test: restore CODEOWNERS and daily CI (#624)
  • chore: update template to point to public repo (#626)
  • chore: remove unused release step in test-prod (#623)
Source: README.md, updated 2024-05-14