chore: fix Dafny verification (#1627)

chore: fix dafny version release scripts (#1369)

chore(release): 3.6.2 (#1307)

Co-authored-by: semantic-release-bot <semantic-release-bot@martynus.net>

chore(release): 3.6.1 - update (#1271)

## [3.6.1](v3.6.0...v3.6.1) (2024-08-12)

### Fixes

* allow multi-tenant queries with allow_plaintext ([#1240](#1240)) ([1487d7e](1487d7e))
* **TestVectors:** define StartUpObject in csproj ([#1231](#1231)) ([2f97bf3](2f97bf3))
* update error message ([#1270](#1270)) ([7157e4d](7157e4d))

### Maintenance

* Add examples to examine contents of query error list ([#1251](#1251)) ([b5705ee](b5705ee))
* **CI:** add smithy diff checker GHA  ([#1226](#1226)) ([86406f5](86406f5))
* **deps:** bump actions/setup-dotnet from 3 to 4 in /.github/workflows ([#1191](#1191)) ([c3b736e](c3b736e))
* **deps:** bump aws-actions/configure-aws-credentials ([#1190](#1190)) ([becbd0a](becbd0a))
* **deps:** bump com.amazonaws:aws-java-sdk-dynamodb ([#1230](#1230)) ([3aa25d0](3aa25d0))
* **deps:** bump dafny-lang/setup-dafny-action in /.github/workflows ([#1200](#1200)) ([5284f0b](5284f0b))
* **deps:** bump software.amazon.awssdk:bom ([#1227](#1227)) ([abd1727](abd1727))
* **deps:** bump software.amazon.awssdk:bom ([#1229](#1229)) ([bf3e1c3](bf3e1c3))
* **deps:** bump software.amazon.awssdk:core ([#1228](#1228)) ([9c67729](9c67729))
* do not add beacons when FORCE_PLAINTEXT_WRITE is used. ([#1232](#1232)) ([23c8a18](23c8a18))
* include bad item keys in query errors ([#1244](#1244)) ([07bba8b](07bba8b))
* **release:** 3.6.1 ([#1266](#1266)) ([64374e2](64374e2)), closes [#1240](#1240) [#1231](#1231) [#1251](#1251) [#1226](#1226) [#1191](#1191) [#1190](#1190) [#1230](#1230) [#1200](#1200) [#1227](#1227) [#1229](#1229) [#1228](#1228) [#1232](#1232) [#1244](#1244) [#1225](#1225)
* update version to snapshot ([#1225](#1225)) ([c817b5b](c817b5b))

* lint

* remove recursive reference

chore(release): 3.6.0 (#1217)

* chore(release): 3.6.0

## [3.6.0](v3.5.0...v3.6.0) (2024-07-23)

### Features

* allow indirect attribute names with MultiKeyStore ([#1208](#1208)) ([4ab97bc](4ab97bc))

### Maintenance

* bump dafny verification version to 4.7 ([#1181](#1181)) ([e7801ec](e7801ec))
* **CI/CD:** use latest conventional-changelog-conventionalcommits ([#1195](#1195)) ([510227e](510227e))
* Fix nightly build (aside from verification) ([#1029](#1029)) ([862420e](862420e))
* **GHA:** add action for testing against MPL HEAD ([#1187](#1187)) ([b2f70ca](b2f70ca))
* **GHA:** fix daily ci ([#1194](#1194)) ([a1427e0](a1427e0))
* **MPL:** Bump MPL to 1.5.1 ([#1201](#1201)) ([808a5b4](808a5b4))
* Sonatype Migration to User Tokens ([#1216](#1216)) ([a3b4ef9](a3b4ef9))
* Try to update existing issues ([31c6b98](31c6b98))
* Try to update existing issues ([4471295](4471295))
* update project.properties to be SNAPSHOT ([#1087](#1087)) ([6f2825e](6f2825e))

chore(release): 3.5.0 (#1074)

* chore(release): 3.5.0

## [3.5.0](v3.4.0...v3.5.0) (2024-05-30)

### Features

* **DynamoDbEncryption:** Add GetEncryptedDataKeyDescription operation ([#856](#856)) ([8f8471a](8f8471a))
* improve verification ([#1020](#1020)) ([cbde4ef](cbde4ef))
* simplify structured encryption ([#866](#866)) ([a70a569](a70a569))

### Maintenance

* allow Legacy to use subclass of DynamoDBEncryptor ([#1073](#1073)) ([135acd9](135acd9))
* bump MPL to 1.4 ([#1067](#1067)) ([51bbab5](51bbab5))
* **Java-Release:** update release commands and use SNAPSHOT builds ([#995](#995)) ([ac9b79e](ac9b79e))
* reformat and enforce formatting ([#1035](#1035)) ([8a76a9d](8a76a9d))
* verify with Dafny 4.6 ([#1072](#1072)) ([9db6e78](9db6e78))

chore(release): 3.4.0 (#977)

* chore(release): 3.4.0 [skip ci]

## [3.4.0](v3.3.0...v3.4.0) (2024-04-30)

### Notes
#### .NET
- [#797](#797) ([785481c](785481c)) Enforces User input Constraints at Type Conversion.

Prior to this fix, unset Integers defaulted to `0`, and unset Booleans defaulted to `false`.

Now, all required fields MUST be set or a Runtime Exception will be thrown.

This particularly effects Searchable Encryption's 
`ConstructorPart`, who's required field previously
would have defaulted to false.
Any configuration ever created for Searchable Encryption can be re-created with the fix, but they may look different.

### Features

*  **feat(.NET):** Validate user input #797 (785481c)


### Maintenance

* **format:** enforce Dafny formatting ([#865](#865)) ([dfc0dbd](dfc0dbd))
* **test:** more test vectors ([#959](#959)) ([3ca15af](3ca15af))
* **CI** add verify test for test vectors ([#897](#897)) ([6c980e7](6c980e7))
* **CI/CD:** add semantic release automation ([#949](#949)) ([3f22abc](3f22abc))
* **deps:** bump actions/setup-dotnet from 3 to 4 in /.github/workflows ([#943](#943)) ([f5d9748](f5d9748))
* **deps:** bump aws-actions/configure-aws-credentials ([#954](#954)) ([90d7d78](90d7d78))
* **deps(Java):** bump io.github.gradle-nexus.publish-plugin ([#903](#903)) ([04c6cc4](04c6cc4))
* **deps(Java):** bump org.projectlombok:lombok ([#838](#838)) ([56f1cd1](56f1cd1))
* **deps:** bump rrainn/dynamodb-action in /.github/workflows ([#932](#932)) ([16e4d7b](16e4d7b))
* **docs:** mention sign_and_include in javadoc for keyid supplier ([#966](#966)) ([2796693](2796693))
* **docs:** point to the correct readme ([#845](#845)) ([b950b4a](b950b4a))
* **fix:** repair json file names ([#846](#846)) ([3ca955a](3ca955a))
* **test(.NET):** "dotnet pack" in CI ([#851](#851)) ([75e44d0](75e44d0))
* **test:** add tests for attribute names that seem structured ([#964](#964)) ([c4c0886](c4c0886))
* **deps(Java & .NET):** Update MPL to 1.3.0 ([#972](#972)) ([3d8acae](3d8acae))

Co-authored-by: semantic-release-bot <semantic-release-bot@martynus.net>
Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com>

chore: bump version number from 3.2 to 3.3 (#834)

* chore: bump version number from 3.2 to 3.3

feat: update changelog (#718)

fix: Decrypt attributes returned by all DDB APIs (#578)