From bd3d374f9c570c0456f747324bd02cfa308dee8b Mon Sep 17 00:00:00 2001 From: semantic-release-bot Date: Mon, 23 Mar 2026 11:28:35 -0700 Subject: [PATCH 1/7] chore(release): 5.0.0 * Adds MPL V2 and removes MPL V1, which removed AWS SDK V3 and replaced it with AWS SDK V4. * adds polymorped go files for esdk ([7ac872c](https://github.com/aws/aws-encryption-sdk-dafny/commit/7ac872c5a201067ae2cead924faafcacc6880499)) * adds temp patch file for Go ([d3cd446](https://github.com/aws/aws-encryption-sdk-dafny/commit/d3cd44669932d4a5d8ebebbf3cdb8b200df6f7b6)) * All shapes complete ([0067712](https://github.com/aws/aws-encryption-sdk-dafny/commit/0067712ad246fbc9f979f8ff7ca317494fc0f9d9)) * Bump to MPL V2 ([#869](https://github.com/aws/aws-encryption-sdk-dafny/issues/869)) ([9ddae5c](https://github.com/aws/aws-encryption-sdk-dafny/commit/9ddae5cdf6a6668cbaf43e551958100533d46fae)) * Go ESDK v0.0.1 release ([#741](https://github.com/aws/aws-encryption-sdk-dafny/issues/741)) ([714e177](https://github.com/aws/aws-encryption-sdk-dafny/commit/714e17760970fbd6807c2755abbd569236ca5e98)) * **Go:** esdk-go release v0.2.0 ([#769](https://github.com/aws/aws-encryption-sdk-dafny/issues/769)) ([61475fe](https://github.com/aws/aws-encryption-sdk-dafny/commit/61475fe49464137892b604b715922e194708aa7c)) * Golang ([2db84c0](https://github.com/aws/aws-encryption-sdk-dafny/commit/2db84c00975772db749556255ec9d5b4cd0ccb2c)) * **go:** mpl bump ([#737](https://github.com/aws/aws-encryption-sdk-dafny/issues/737)) ([babfd01](https://github.com/aws/aws-encryption-sdk-dafny/commit/babfd01c5d63128a991d857dc5fd8d4b53a8b813)) * **Go:** v0.1.1 release ([#757](https://github.com/aws/aws-encryption-sdk-dafny/issues/757)) ([fc17427](https://github.com/aws/aws-encryption-sdk-dafny/commit/fc1742744e83da26d0763944c3392c368c0d700c)) * perf-test for go ([#812](https://github.com/aws/aws-encryption-sdk-dafny/issues/812)) ([a825857](https://github.com/aws/aws-encryption-sdk-dafny/commit/a8258578caa5e7ae84a2d1fd032581e097230cd3)) * perf-test for java ([#815](https://github.com/aws/aws-encryption-sdk-dafny/issues/815)) ([51f031b](https://github.com/aws/aws-encryption-sdk-dafny/commit/51f031b2219b2f4c59cc33c89b4467dc4d5cc317)) * perf-test for net ([#814](https://github.com/aws/aws-encryption-sdk-dafny/issues/814)) ([472a65d](https://github.com/aws/aws-encryption-sdk-dafny/commit/472a65d44f8d53d3297026668f794d5410803e65)) * perf-test for python ([#813](https://github.com/aws/aws-encryption-sdk-dafny/issues/813)) ([6e5f59e](https://github.com/aws/aws-encryption-sdk-dafny/commit/6e5f59ee5ec81a52910715f664c849b82730b927)) * perf-test for rust ([#810](https://github.com/aws/aws-encryption-sdk-dafny/issues/810)) ([751f286](https://github.com/aws/aws-encryption-sdk-dafny/commit/751f2864b0820312293660241eb7bbb17d30a888)) * **Rust:** Add support for Rust Encryption SDK ([#689](https://github.com/aws/aws-encryption-sdk-dafny/issues/689)) ([1628e66](https://github.com/aws/aws-encryption-sdk-dafny/commit/1628e66672a4a62cd61641c62044cab9be10d0fc)) * **.NET:** Improve Collection of Errors string ([#728](https://github.com/aws/aws-encryption-sdk-dafny/issues/728)) ([d66248b](https://github.com/aws/aws-encryption-sdk-dafny/commit/d66248b956e5bce553fd64ba46189a5ac6eb69ee)) * add apt-get update before libcurl install in CI workflows ([#867](https://github.com/aws/aws-encryption-sdk-dafny/issues/867)) ([4382862](https://github.com/aws/aws-encryption-sdk-dafny/commit/43828623510b5ad01a7b6297f0890f2fe1a6395f)) * Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([170b398](https://github.com/aws/aws-encryption-sdk-dafny/commit/170b39847f69e6594fdc9826796beb723aeb09c9)) * Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([56fcd13](https://github.com/aws/aws-encryption-sdk-dafny/commit/56fcd130346c49efd8cc7599ca01a83972c574cd)) * CI ([0ba9ada](https://github.com/aws/aws-encryption-sdk-dafny/commit/0ba9adaf1967db028c13d95751e818b2963ea2e3)) * CI ([70b3891](https://github.com/aws/aws-encryption-sdk-dafny/commit/70b38917382efd1430885b293148d1dd5e2285fc)) * CI ([9650048](https://github.com/aws/aws-encryption-sdk-dafny/commit/9650048f27ef42a6e1416aaa49fc4b8ee02e4d3a)) * CI ([69725ef](https://github.com/aws/aws-encryption-sdk-dafny/commit/69725ef0c77a40d80ae522da66123c85a688ec79)) * CI ([3533565](https://github.com/aws/aws-encryption-sdk-dafny/commit/3533565a227c62afb66d4b618b28d43658e8ed03)) * CI ([1862a4c](https://github.com/aws/aws-encryption-sdk-dafny/commit/1862a4ce1e668f7ff17d9ae8930505ef430b6400)) * CI ([c56dd69](https://github.com/aws/aws-encryption-sdk-dafny/commit/c56dd697c66735ead78f45488256f9b5a4b56d92)) * **Example:** correct doc link in limit EDK Rust example ([#729](https://github.com/aws/aws-encryption-sdk-dafny/issues/729)) ([fa1ca01](https://github.com/aws/aws-encryption-sdk-dafny/commit/fa1ca015bef23eda79fbe87f468729aeb6a18e02)) * **Go:** adds high unicode char Test Vectors ([#762](https://github.com/aws/aws-encryption-sdk-dafny/issues/762)) ([5604983](https://github.com/aws/aws-encryption-sdk-dafny/commit/5604983b35c38edfd02967e0439b9edf2161a067)) * **go:** dafny array performance ([#825](https://github.com/aws/aws-encryption-sdk-dafny/issues/825)) ([ffc1e2d](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffc1e2ded7a7a4be2d554c04eb466870b382f9ce)) * **go:** fix and refactor go mod ([#793](https://github.com/aws/aws-encryption-sdk-dafny/issues/793)) ([9381006](https://github.com/aws/aws-encryption-sdk-dafny/commit/938100668332700373d7774b83546a47c57777be)) * Remove --recursive from action to update mpl submodule ([#672](https://github.com/aws/aws-encryption-sdk-dafny/issues/672)) ([8150ee0](https://github.com/aws/aws-encryption-sdk-dafny/commit/8150ee0a04e823f985c5dc5ad0d96a9aa20e6c29)) * repo rename ([#739](https://github.com/aws/aws-encryption-sdk-dafny/issues/739)) ([d580c4a](https://github.com/aws/aws-encryption-sdk-dafny/commit/d580c4a3bb0825f292f9fc4faaeee6c07a248430)) * repo rename ([#740](https://github.com/aws/aws-encryption-sdk-dafny/issues/740)) ([ae8b4b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/ae8b4b7e6cce6407df2f57c5719b11acd5247ac9)) * Use relative path for DafnyRuntimeGo ([f33187c](https://github.com/aws/aws-encryption-sdk-dafny/commit/f33187c1a03be4ba4193f690dcbc89bfa01d9417)) * add C to list of languages checked for interoperability ([#773](https://github.com/aws/aws-encryption-sdk-dafny/issues/773)) ([3b9297a](https://github.com/aws/aws-encryption-sdk-dafny/commit/3b9297aa54dc984885e426236987d55197cffc9f)) * add check only keyword action ([#679](https://github.com/aws/aws-encryption-sdk-dafny/issues/679)) ([1839c53](https://github.com/aws/aws-encryption-sdk-dafny/commit/1839c533a2e3bb57d6c860981bec2642d69c3b3e)) * Add go to smithy dependencies ([#818](https://github.com/aws/aws-encryption-sdk-dafny/issues/818)) ([ac3448a](https://github.com/aws/aws-encryption-sdk-dafny/commit/ac3448a8ddc4504dcd126521f070bd3fa8bd5d13)) * add KMS Keyring example in an multithreaded environment for Go ([#735](https://github.com/aws/aws-encryption-sdk-dafny/issues/735)) ([246aea1](https://github.com/aws/aws-encryption-sdk-dafny/commit/246aea1d0f2bce2e52eb5d0d6ff25c21a27227b9)) * add managed policy to cfn template ([#847](https://github.com/aws/aws-encryption-sdk-dafny/issues/847)) ([308f29d](https://github.com/aws/aws-encryption-sdk-dafny/commit/308f29d560c7888bb48369de56673772afcb9f51)) * Adding retries to CI ([#857](https://github.com/aws/aws-encryption-sdk-dafny/issues/857)) ([5d3f2e0](https://github.com/aws/aws-encryption-sdk-dafny/commit/5d3f2e0659ae6fb4ad7ecb856e933b44ebcc3f45)) * bump dafny verification to 4.7.0 ([#666](https://github.com/aws/aws-encryption-sdk-dafny/issues/666)) ([a6ccaf7](https://github.com/aws/aws-encryption-sdk-dafny/commit/a6ccaf78a722b77a417ebec4edce105b51f5cdd6)) * bump macos from 12 to 13 in CI ([#691](https://github.com/aws/aws-encryption-sdk-dafny/issues/691)) ([756888e](https://github.com/aws/aws-encryption-sdk-dafny/commit/756888ed4f3e6ce79b311367282e1181847a81a0)) * bump mpl ([#787](https://github.com/aws/aws-encryption-sdk-dafny/issues/787)) ([1be4d62](https://github.com/aws/aws-encryption-sdk-dafny/commit/1be4d62a8cd926cde7b2c0aa5b16d88962290815)) * Bump MPL dependency to 1.9.0, consolidate `project.properties` files ([#753](https://github.com/aws/aws-encryption-sdk-dafny/issues/753)) ([366e6e7](https://github.com/aws/aws-encryption-sdk-dafny/commit/366e6e7a8ee01911fab2707cf58f22feabc5d011)) * bump mpl to allow nightly build ([#816](https://github.com/aws/aws-encryption-sdk-dafny/issues/816)) ([95a5cd3](https://github.com/aws/aws-encryption-sdk-dafny/commit/95a5cd32c4a495f04c673175a555ed4765053365)) * bump mpl to latest ([#809](https://github.com/aws/aws-encryption-sdk-dafny/issues/809)) ([3c01934](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c019341aa6ccf733c08c602dbad04dc50cee429)) * bump MPL to latest version ([#775](https://github.com/aws/aws-encryption-sdk-dafny/issues/775)) ([5ea20b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/5ea20b7560af97a0fc814efc7ffdf1d876ac423c)) * bump MPL version ([#778](https://github.com/aws/aws-encryption-sdk-dafny/issues/778)) ([dcaa266](https://github.com/aws/aws-encryption-sdk-dafny/commit/dcaa26673971e7a4ce55bb9678c730028e824568)) * bump smithy-dafny to latest ([#774](https://github.com/aws/aws-encryption-sdk-dafny/issues/774)) ([9fd4b48](https://github.com/aws/aws-encryption-sdk-dafny/commit/9fd4b48b8aeabb0225f6f2e37611465433ba041b)) * bump to mpl latest ([#820](https://github.com/aws/aws-encryption-sdk-dafny/issues/820)) ([0a2013b](https://github.com/aws/aws-encryption-sdk-dafny/commit/0a2013b2e0f6dc03feb4008d280d10498b2bf3cf)) * **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([ffe0064](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffe006462dc5288752b70a18d6595c207dac593e)) * **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([74b0107](https://github.com/aws/aws-encryption-sdk-dafny/commit/74b01077075bd6131879104ad6b7509c873b911c)) * change the dependency from the ESDK to the MPL to a relative path ProjectReference ([#656](https://github.com/aws/aws-encryption-sdk-dafny/issues/656)) ([9c73845](https://github.com/aws/aws-encryption-sdk-dafny/commit/9c73845c1f16de330841938bb3a3bda428253c11)) * **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([568abc2](https://github.com/aws/aws-encryption-sdk-dafny/commit/568abc2c4453aecca27d5bf077567a7ac955aee4)) * **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([864c2e2](https://github.com/aws/aws-encryption-sdk-dafny/commit/864c2e2446ccf8a85ae2394ab53494de4afec8fe)) * **CI:** Add a diff check for polymorph in CI ([#738](https://github.com/aws/aws-encryption-sdk-dafny/issues/738)) ([af1e677](https://github.com/aws/aws-encryption-sdk-dafny/commit/af1e67734af18745a331099a7c1563b75258f10e)) * **CI:** add backwards compatability tests for nightly ([#790](https://github.com/aws/aws-encryption-sdk-dafny/issues/790)) ([d350e84](https://github.com/aws/aws-encryption-sdk-dafny/commit/d350e84c647b69b6702d1ca54de46e158a4e63b6)) * **CI:** add slack notifications ([#797](https://github.com/aws/aws-encryption-sdk-dafny/issues/797)) ([902bab0](https://github.com/aws/aws-encryption-sdk-dafny/commit/902bab004e9c864ee2c7d234cdd2bb4cd3ef1af3)) * **CI:** Add smithy diff checker gha ([#670](https://github.com/aws/aws-encryption-sdk-dafny/issues/670)) ([99c489d](https://github.com/aws/aws-encryption-sdk-dafny/commit/99c489dbf0415483764de7817e6f05cf4e1ffad0)) * **CI:** Clean up unused attributes ([#772](https://github.com/aws/aws-encryption-sdk-dafny/issues/772)) ([ba242a3](https://github.com/aws/aws-encryption-sdk-dafny/commit/ba242a3124e66d353ea8bac0237da20c4c1fe9a6)) * **CI:** Fix CI ([#803](https://github.com/aws/aws-encryption-sdk-dafny/issues/803)) ([bc63241](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc63241a10d5ec5d3629e2988d42cd9e9cc1c17a)) * **ci:** fix daily and nightly ci ([#860](https://github.com/aws/aws-encryption-sdk-dafny/issues/860)) ([62daaa7](https://github.com/aws/aws-encryption-sdk-dafny/commit/62daaa75cc742dd4334b3fdf33f14db25b1e3310)) * **CI:** Fix daily CI ([#771](https://github.com/aws/aws-encryption-sdk-dafny/issues/771)) ([36079de](https://github.com/aws/aws-encryption-sdk-dafny/commit/36079de4571fcc68a2d971934bb7e11ff248f2e9)) * **CI:** Partially fix nightly build ([#785](https://github.com/aws/aws-encryption-sdk-dafny/issues/785)) ([ed63f70](https://github.com/aws/aws-encryption-sdk-dafny/commit/ed63f70fe239bc89b59777f33c06015b510a4b1e)) * **CI:** use require workflow ci check instead ([#719](https://github.com/aws/aws-encryption-sdk-dafny/issues/719)) ([1c4d1c4](https://github.com/aws/aws-encryption-sdk-dafny/commit/1c4d1c426244a6b6fe43e91f312b7c59a53fb145)) * configure with project.properties ([#750](https://github.com/aws/aws-encryption-sdk-dafny/issues/750)) ([3ce52fa](https://github.com/aws/aws-encryption-sdk-dafny/commit/3ce52fa02928a14f5d1a2a68fac5d5a70edbcb61)) * **dafny-verification:** fix timeout for Dafny 4.8.1 ([#690](https://github.com/aws/aws-encryption-sdk-dafny/issues/690)) ([bc46d0f](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc46d0f77f2608fbdd77ce9820750c92f02a2a40)) * **dafny:** allow FileIO to deal in uint8, rather than bv8 ([#770](https://github.com/aws/aws-encryption-sdk-dafny/issues/770)) ([90f55db](https://github.com/aws/aws-encryption-sdk-dafny/commit/90f55dbd990cb1f2b3950ae54ea689db4f2b6e21)) * **dafny:** remove more usage of BigInteger ([#781](https://github.com/aws/aws-encryption-sdk-dafny/issues/781)) ([dbe55d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/dbe55d7f8230b874fa38c69cfd26fbcbf8e938ce)) * **dafny:** update makefile to only use prettier 3.5.3 ([#786](https://github.com/aws/aws-encryption-sdk-dafny/issues/786)) ([d2f9d82](https://github.com/aws/aws-encryption-sdk-dafny/commit/d2f9d82630a79021b53596432d4d325a2022324a)) * **dependabot:** Add dependabot for github actions and rust ([#712](https://github.com/aws/aws-encryption-sdk-dafny/issues/712)) ([97dd65f](https://github.com/aws/aws-encryption-sdk-dafny/commit/97dd65f9353831f3c4b59b2d0d8f8b7f6972a916)) * **deps:** bump actions/checkout from 2 to 4 in /.github/workflows ([#718](https://github.com/aws/aws-encryption-sdk-dafny/issues/718)) ([2f4746b](https://github.com/aws/aws-encryption-sdk-dafny/commit/2f4746bc1cd027ccad72b77c89d225e2416d91e1)) * **deps:** bump actions/download-artifact from 4 to 7 in /.github/workflows ([#850](https://github.com/aws/aws-encryption-sdk-dafny/issues/850)) ([536113d](https://github.com/aws/aws-encryption-sdk-dafny/commit/536113d359e79751daf535e2e3e81e723ef2d5dc)) * **deps:** bump actions/download-artifact from 7 to 8 in /.github/workflows ([#863](https://github.com/aws/aws-encryption-sdk-dafny/issues/863)) ([1db3a4f](https://github.com/aws/aws-encryption-sdk-dafny/commit/1db3a4f470dac0dcee9a9600f5caeb6c0b1ecb75)) * **deps:** update aws-lc-sys requirement from 0.33 to 0.36 in /AwsEncryptionSDK/runtimes/rust ([#851](https://github.com/aws/aws-encryption-sdk-dafny/issues/851)) ([e419dff](https://github.com/aws/aws-encryption-sdk-dafny/commit/e419dffe748deb87847044d64414dd0b7b8381ed)) * **deps:** update aws-lc-sys requirement from 0.37 to 0.38 in /AwsEncryptionSDK/runtimes/rust ([#864](https://github.com/aws/aws-encryption-sdk-dafny/issues/864)) ([16eb473](https://github.com/aws/aws-encryption-sdk-dafny/commit/16eb473daaac61ad960091e15d4fed8b14924bd9)) * ensure format checking is with dotnet 6 ([#746](https://github.com/aws/aws-encryption-sdk-dafny/issues/746)) ([b3cb599](https://github.com/aws/aws-encryption-sdk-dafny/commit/b3cb59963bd88f19e53bdd4955190ee4d62c8ca0)) * **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([f41a689](https://github.com/aws/aws-encryption-sdk-dafny/commit/f41a689d2f6f82d1cf83d9657d56f528a47cec44)) * **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([d8ca214](https://github.com/aws/aws-encryption-sdk-dafny/commit/d8ca214c6635b1d5bc25faee836eecdf72a93f61)) * **examples:** Add examples for Go with CI ([#733](https://github.com/aws/aws-encryption-sdk-dafny/issues/733)) ([c3ba5e3](https://github.com/aws/aws-encryption-sdk-dafny/commit/c3ba5e314e1118efb1fd663c85e3d56578622b91)) * **examples:** add version branch key id example ([#710](https://github.com/aws/aws-encryption-sdk-dafny/issues/710)) ([d03a340](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03a3407d286b7f2e2546a6a10840717587cc6e4)) * **examples:** fix readme of examples in all languages ([#734](https://github.com/aws/aws-encryption-sdk-dafny/issues/734)) ([f4683de](https://github.com/aws/aws-encryption-sdk-dafny/commit/f4683de40aa0c7300f366807cb0b256a6f3cf06e)) * Fail verification on warnings ([#766](https://github.com/aws/aws-encryption-sdk-dafny/issues/766)) ([7236084](https://github.com/aws/aws-encryption-sdk-dafny/commit/7236084db6abdc2172c5be689ce92f72351540b5)) * fix permissions and add env vars ([#676](https://github.com/aws/aws-encryption-sdk-dafny/issues/676)) ([4f03595](https://github.com/aws/aws-encryption-sdk-dafny/commit/4f0359508ad1f181337191df995e5dfe0010b0e9)) * **GHA:** add dafny interoperability action ([#674](https://github.com/aws/aws-encryption-sdk-dafny/issues/674)) ([64067c7](https://github.com/aws/aws-encryption-sdk-dafny/commit/64067c743ca84b52d5474d0b0595de95aff251f1)) * **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([2bfe9d4](https://github.com/aws/aws-encryption-sdk-dafny/commit/2bfe9d4a2a3a644dfc9757e46eb06934f29d6b8d)) * **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([83744db](https://github.com/aws/aws-encryption-sdk-dafny/commit/83744dbb8aa887b4443772458b3a884f57aa778f)) * **go:** add go 1.25 to CI ([#800](https://github.com/aws/aws-encryption-sdk-dafny/issues/800)) ([fb62f77](https://github.com/aws/aws-encryption-sdk-dafny/commit/fb62f77e2d7d583d427e3bdda829270abef4e3aa)) * **go:** add Go release workflow ([#792](https://github.com/aws/aws-encryption-sdk-dafny/issues/792)) ([fe49c73](https://github.com/aws/aws-encryption-sdk-dafny/commit/fe49c73d430f56ae17583580c26c71a6b1a13a3b)) * **Go:** Add Go to supported languages in the readme ([#780](https://github.com/aws/aws-encryption-sdk-dafny/issues/780)) ([3d920b9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3d920b96fc7352d2dfff3289555027d961141191)) * **go:** cleanup files generated by examples ([#806](https://github.com/aws/aws-encryption-sdk-dafny/issues/806)) ([9f51159](https://github.com/aws/aws-encryption-sdk-dafny/commit/9f511598307b458d4c560d3642cf8d789a99d4e3)) * **go:** Release encryption-sdk Go module 0.3.0 ([#838](https://github.com/aws/aws-encryption-sdk-dafny/issues/838)) ([5b322b4](https://github.com/aws/aws-encryption-sdk-dafny/commit/5b322b4a997a97c6971d1aae72869e867a375653)) * **go:** update go test matrix and clean up setup ([#788](https://github.com/aws/aws-encryption-sdk-dafny/issues/788)) ([f39702b](https://github.com/aws/aws-encryption-sdk-dafny/commit/f39702b2d709492dd91fbbbf5984bd039b2b6578)) * improve performance ([#764](https://github.com/aws/aws-encryption-sdk-dafny/issues/764)) ([79e1306](https://github.com/aws/aws-encryption-sdk-dafny/commit/79e1306184e9aee5394c1280dd01a2191210abbe)) * install polymorph deps in github workflows ([#783](https://github.com/aws/aws-encryption-sdk-dafny/issues/783)) ([e284b64](https://github.com/aws/aws-encryption-sdk-dafny/commit/e284b6419fd4b3e39bb2750e95bd76de1dd35dd6)) * let interop testing launch N tasks instead of N^2 ([#789](https://github.com/aws/aws-encryption-sdk-dafny/issues/789)) ([f5f8718](https://github.com/aws/aws-encryption-sdk-dafny/commit/f5f87181955e12835382b5108a37f9cb5fffe6f0)) * merge Golang/dev branch with mainline ([#704](https://github.com/aws/aws-encryption-sdk-dafny/issues/704)) ([6db9ace](https://github.com/aws/aws-encryption-sdk-dafny/commit/6db9ace81db1046b2fec4dc211ac2920b6e2cba6)) * **mpl;Rust:** bump mpl to include rust input validation, aes-192 tests ([#722](https://github.com/aws/aws-encryption-sdk-dafny/issues/722)) ([bea3f29](https://github.com/aws/aws-encryption-sdk-dafny/commit/bea3f29a1ef04b80397857636f7df0c360bbdb2b)) * **MPL:** bump MPL to 1.5.1 ([#667](https://github.com/aws/aws-encryption-sdk-dafny/issues/667)) ([7958020](https://github.com/aws/aws-encryption-sdk-dafny/commit/79580208fc3cccdf29bfd3cfa16ee3305bc32c59)) * **README:** update README; add copyright string ([#708](https://github.com/aws/aws-encryption-sdk-dafny/issues/708)) ([c133d77](https://github.com/aws/aws-encryption-sdk-dafny/commit/c133d770eebf6e605b2933c47f09e10ca30d4eee)) * Reduce resource usage of assertion in ReadFramedMessageBody ([#665](https://github.com/aws/aws-encryption-sdk-dafny/issues/665)) ([c49af85](https://github.com/aws/aws-encryption-sdk-dafny/commit/c49af85544d53e072b8ae8cf1a8375a19175ad06)) * regen code for 4.8.0 and bump mpl ([#681](https://github.com/aws/aws-encryption-sdk-dafny/issues/681)) ([68e75fb](https://github.com/aws/aws-encryption-sdk-dafny/commit/68e75fb10084cf94dc8ccbedf7a98a3c6569dd3f)) * release aws-esdk v1.2.3 ([#866](https://github.com/aws/aws-encryption-sdk-dafny/issues/866)) ([6fb96aa](https://github.com/aws/aws-encryption-sdk-dafny/commit/6fb96aa34a7fcf06ba9827d979ac28e333b34ae6)) * Release of 1.0.0 for Rust ([#751](https://github.com/aws/aws-encryption-sdk-dafny/issues/751)) ([7e492d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/7e492d7d6e2ff2f603d3b7ae028b034849c39cb9)) * **release:** Update RELEASE.md ([#865](https://github.com/aws/aws-encryption-sdk-dafny/issues/865)) ([025f999](https://github.com/aws/aws-encryption-sdk-dafny/commit/025f9992f83bbd815eb3e1b02fe3fedba63e3c40)) * remove aws sdk core dep ([#822](https://github.com/aws/aws-encryption-sdk-dafny/issues/822)) ([54d3685](https://github.com/aws/aws-encryption-sdk-dafny/commit/54d36853be5574c911811e9b927f36d9b461e0d7)) * Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([8eeb14d](https://github.com/aws/aws-encryption-sdk-dafny/commit/8eeb14db7b418fb0dbefdfca243661d04a23cb52)) * Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([e042e92](https://github.com/aws/aws-encryption-sdk-dafny/commit/e042e92e546c329c59356c833ffbbe44132cc94b)) * rename EncryptionSdk Dafny module name ([#707](https://github.com/aws/aws-encryption-sdk-dafny/issues/707)) ([689624d](https://github.com/aws/aws-encryption-sdk-dafny/commit/689624d64671ba12456de0fa522018b81d6cf90e)) * **rust-release:** add Rust release directory ([#709](https://github.com/aws/aws-encryption-sdk-dafny/issues/709)) ([7acf387](https://github.com/aws/aws-encryption-sdk-dafny/commit/7acf387c3736444e9658a1e1b5c65612f9f48aa6)) * **rust:** add fips feature ([#805](https://github.com/aws/aws-encryption-sdk-dafny/issues/805)) ([d7d8bf1](https://github.com/aws/aws-encryption-sdk-dafny/commit/d7d8bf1366a3bac139de07b806538587dc6f7dbf)) * **rust:** add more memory usage statistics to benchmarks ([#819](https://github.com/aws/aws-encryption-sdk-dafny/issues/819)) ([c0f9dc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/c0f9dc91d2480d28b3ca144b4d0939262adc6114)) * **rust:** better blocking ([#852](https://github.com/aws/aws-encryption-sdk-dafny/issues/852)) ([8133da8](https://github.com/aws/aws-encryption-sdk-dafny/commit/8133da80a7cc8eaeaef14f72f01b4a53a74758c3)) * **rust:** bump mpl to fix warnings ([#823](https://github.com/aws/aws-encryption-sdk-dafny/issues/823)) ([e971002](https://github.com/aws/aws-encryption-sdk-dafny/commit/e9710029b2be2c8f27c4c35d39a1303adf30b2a2)) * **rust:** clean-up lib.rs ([#725](https://github.com/aws/aws-encryption-sdk-dafny/issues/725)) ([d03ab27](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03ab279b8006f5f9056fc1519936ad695e10a4a)) * **rust:** prepare 1.1.1 release ([#784](https://github.com/aws/aws-encryption-sdk-dafny/issues/784)) ([3aeddc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3aeddc990237e7239ba9ee38f8102bfdd162dfbb)) * **rust:** prepare release of 1.2.0 ([#807](https://github.com/aws/aws-encryption-sdk-dafny/issues/807)) ([678ca04](https://github.com/aws/aws-encryption-sdk-dafny/commit/678ca043e420c5ac77ae06811bc3605f501bca1a)) * **rust:** prepare rust 1.1.0 release ([#782](https://github.com/aws/aws-encryption-sdk-dafny/issues/782)) ([b321a46](https://github.com/aws/aws-encryption-sdk-dafny/commit/b321a46a5ecf355445ca06c57c81f9db057fc8f6)) * **rust:** release 0.2.0 ([#726](https://github.com/aws/aws-encryption-sdk-dafny/issues/726)) ([a5282af](https://github.com/aws/aws-encryption-sdk-dafny/commit/a5282af7090ca43440b3976ddb4c9411d4c143c4)) * **rust:** release 1.2.1 ([#844](https://github.com/aws/aws-encryption-sdk-dafny/issues/844)) ([57ba773](https://github.com/aws/aws-encryption-sdk-dafny/commit/57ba773072e95d5d3e3c77d577dea7bb991df8fc)) * **rust:** release 1.2.2 ([#854](https://github.com/aws/aws-encryption-sdk-dafny/issues/854)) ([c630cc1](https://github.com/aws/aws-encryption-sdk-dafny/commit/c630cc19d0767f47479d67af1134681ce46da0ab)) * **rust:** update smithy-dafny and use small-int feature ([#777](https://github.com/aws/aws-encryption-sdk-dafny/issues/777)) ([2ea5e47](https://github.com/aws/aws-encryption-sdk-dafny/commit/2ea5e47a78e0254acfe9fa83da2a54d82b9bc23d)) * **rust:** use Dafny 4.10.0 for Rust codegen ([#824](https://github.com/aws/aws-encryption-sdk-dafny/issues/824)) ([d70d88c](https://github.com/aws/aws-encryption-sdk-dafny/commit/d70d88cea45a88fa415d811ab9ea578ad7b02ac1)) * **test vectors:** Add interop test in Go with CI ([#731](https://github.com/aws/aws-encryption-sdk-dafny/issues/731)) ([d04ddc0](https://github.com/aws/aws-encryption-sdk-dafny/commit/d04ddc02ca13ec31b3ae094e62b8850cb661f1b6)) * **test-vectors:** Decrypt .NET Retry flag manifests using Rust ([#721](https://github.com/aws/aws-encryption-sdk-dafny/issues/721)) ([3117b0c](https://github.com/aws/aws-encryption-sdk-dafny/commit/3117b0cb97fcc2636be1c74b651d402fb2adad6c)) * **TestVectors:** add DefaultCmm Tests ([#698](https://github.com/aws/aws-encryption-sdk-dafny/issues/698)) ([a287d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/a287d45c25688dfc07b3b94587bc1f0f152b810e)) * Try to update existing issues ([#661](https://github.com/aws/aws-encryption-sdk-dafny/issues/661)) ([70c0d14](https://github.com/aws/aws-encryption-sdk-dafny/commit/70c0d148307420b2f23f24c8c0373133a530ef17)), closes [#660](https://github.com/aws/aws-encryption-sdk-dafny/issues/660) * update GitHub Actions to latest major versions ([#868](https://github.com/aws/aws-encryption-sdk-dafny/issues/868)) ([8b50d20](https://github.com/aws/aws-encryption-sdk-dafny/commit/8b50d20a43d9a46e3f40a2d0fb79333d4692ae26)) * update mpl ([95fe4e9](https://github.com/aws/aws-encryption-sdk-dafny/commit/95fe4e9c58641b9968584db3a482ea561e0b7333)) * update mpl ([#821](https://github.com/aws/aws-encryption-sdk-dafny/issues/821)) ([1e4d0d0](https://github.com/aws/aws-encryption-sdk-dafny/commit/1e4d0d03206fa29e028a0a21cbc175490b05a6cd)) * update mpl submodule name gha ([#675](https://github.com/aws/aws-encryption-sdk-dafny/issues/675)) ([959d22e](https://github.com/aws/aws-encryption-sdk-dafny/commit/959d22e46fad266f69bca7f9c59fddb7d9ada7b0)) * Update SUPPORT_POLICY.rst ([#802](https://github.com/aws/aws-encryption-sdk-dafny/issues/802)) ([bcf4220](https://github.com/aws/aws-encryption-sdk-dafny/commit/bcf4220c686d460a2a03e0137d20b7db6219ca44)) * update to async-friendly Rust ([#749](https://github.com/aws/aws-encryption-sdk-dafny/issues/749)) ([fad048c](https://github.com/aws/aws-encryption-sdk-dafny/commit/fad048c47a3e331263842a0fa5d19a5e3d785f08)) * update to MPL 1.4 ([8725990](https://github.com/aws/aws-encryption-sdk-dafny/commit/87259906742bc7cd339a5380b2e884a30e953aea)) * upload performance benchmarks to cloudwatch ([#846](https://github.com/aws/aws-encryption-sdk-dafny/issues/846)) ([3c36d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c36d4595b2f1bc444d9af09e8f31fb389cd1b3b)) * use correct dirs in gha ([#677](https://github.com/aws/aws-encryption-sdk-dafny/issues/677)) ([25c3625](https://github.com/aws/aws-encryption-sdk-dafny/commit/25c36259253db6a79682587c582ea4761209b21e)) * use macos-14 for CI ([#828](https://github.com/aws/aws-encryption-sdk-dafny/issues/828)) ([bf43328](https://github.com/aws/aws-encryption-sdk-dafny/commit/bf43328196562759154faabe755a850c4a97853b)) --- AwsEncryptionSDK/runtimes/net/ESDK.csproj | 2 +- CHANGELOG.md | 153 ++++++++++++++++++++++ 2 files changed, 154 insertions(+), 1 deletion(-) create mode 100644 CHANGELOG.md diff --git a/AwsEncryptionSDK/runtimes/net/ESDK.csproj b/AwsEncryptionSDK/runtimes/net/ESDK.csproj index 2dcdef83b..02c8d09f1 100644 --- a/AwsEncryptionSDK/runtimes/net/ESDK.csproj +++ b/AwsEncryptionSDK/runtimes/net/ESDK.csproj @@ -8,7 +8,7 @@ false true - 4.1.0 + 5.0.0 AWS.Cryptography.EncryptionSDK AWS.Cryptography.EncryptionSDK diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 000000000..af21bb319 --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,153 @@ +# Changelog + +## [5.0.0](https://github.com/aws/aws-encryption-sdk-dafny/compare/v4.1.0...v5.0.0) (2026-03-23) + +### ⚠ BREAKING CHANGES + +* Adds MPL V2 and removes MPL V1, which removed AWS SDK V3 and replaced it with AWS SDK V4. + +### Features + +* adds polymorped go files for esdk ([7ac872c](https://github.com/aws/aws-encryption-sdk-dafny/commit/7ac872c5a201067ae2cead924faafcacc6880499)) +* adds temp patch file for Go ([d3cd446](https://github.com/aws/aws-encryption-sdk-dafny/commit/d3cd44669932d4a5d8ebebbf3cdb8b200df6f7b6)) +* All shapes complete ([0067712](https://github.com/aws/aws-encryption-sdk-dafny/commit/0067712ad246fbc9f979f8ff7ca317494fc0f9d9)) +* Bump to MPL V2 ([#869](https://github.com/aws/aws-encryption-sdk-dafny/issues/869)) ([9ddae5c](https://github.com/aws/aws-encryption-sdk-dafny/commit/9ddae5cdf6a6668cbaf43e551958100533d46fae)) +* Go ESDK v0.0.1 release ([#741](https://github.com/aws/aws-encryption-sdk-dafny/issues/741)) ([714e177](https://github.com/aws/aws-encryption-sdk-dafny/commit/714e17760970fbd6807c2755abbd569236ca5e98)) +* **Go:** esdk-go release v0.2.0 ([#769](https://github.com/aws/aws-encryption-sdk-dafny/issues/769)) ([61475fe](https://github.com/aws/aws-encryption-sdk-dafny/commit/61475fe49464137892b604b715922e194708aa7c)) +* Golang ([2db84c0](https://github.com/aws/aws-encryption-sdk-dafny/commit/2db84c00975772db749556255ec9d5b4cd0ccb2c)) +* **go:** mpl bump ([#737](https://github.com/aws/aws-encryption-sdk-dafny/issues/737)) ([babfd01](https://github.com/aws/aws-encryption-sdk-dafny/commit/babfd01c5d63128a991d857dc5fd8d4b53a8b813)) +* **Go:** v0.1.1 release ([#757](https://github.com/aws/aws-encryption-sdk-dafny/issues/757)) ([fc17427](https://github.com/aws/aws-encryption-sdk-dafny/commit/fc1742744e83da26d0763944c3392c368c0d700c)) +* perf-test for go ([#812](https://github.com/aws/aws-encryption-sdk-dafny/issues/812)) ([a825857](https://github.com/aws/aws-encryption-sdk-dafny/commit/a8258578caa5e7ae84a2d1fd032581e097230cd3)) +* perf-test for java ([#815](https://github.com/aws/aws-encryption-sdk-dafny/issues/815)) ([51f031b](https://github.com/aws/aws-encryption-sdk-dafny/commit/51f031b2219b2f4c59cc33c89b4467dc4d5cc317)) +* perf-test for net ([#814](https://github.com/aws/aws-encryption-sdk-dafny/issues/814)) ([472a65d](https://github.com/aws/aws-encryption-sdk-dafny/commit/472a65d44f8d53d3297026668f794d5410803e65)) +* perf-test for python ([#813](https://github.com/aws/aws-encryption-sdk-dafny/issues/813)) ([6e5f59e](https://github.com/aws/aws-encryption-sdk-dafny/commit/6e5f59ee5ec81a52910715f664c849b82730b927)) +* perf-test for rust ([#810](https://github.com/aws/aws-encryption-sdk-dafny/issues/810)) ([751f286](https://github.com/aws/aws-encryption-sdk-dafny/commit/751f2864b0820312293660241eb7bbb17d30a888)) +* **Rust:** Add support for Rust Encryption SDK ([#689](https://github.com/aws/aws-encryption-sdk-dafny/issues/689)) ([1628e66](https://github.com/aws/aws-encryption-sdk-dafny/commit/1628e66672a4a62cd61641c62044cab9be10d0fc)) + +### Fixes + +* **.NET:** Improve Collection of Errors string ([#728](https://github.com/aws/aws-encryption-sdk-dafny/issues/728)) ([d66248b](https://github.com/aws/aws-encryption-sdk-dafny/commit/d66248b956e5bce553fd64ba46189a5ac6eb69ee)) +* add apt-get update before libcurl install in CI workflows ([#867](https://github.com/aws/aws-encryption-sdk-dafny/issues/867)) ([4382862](https://github.com/aws/aws-encryption-sdk-dafny/commit/43828623510b5ad01a7b6297f0890f2fe1a6395f)) +* Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([170b398](https://github.com/aws/aws-encryption-sdk-dafny/commit/170b39847f69e6594fdc9826796beb723aeb09c9)) +* Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([56fcd13](https://github.com/aws/aws-encryption-sdk-dafny/commit/56fcd130346c49efd8cc7599ca01a83972c574cd)) +* CI ([0ba9ada](https://github.com/aws/aws-encryption-sdk-dafny/commit/0ba9adaf1967db028c13d95751e818b2963ea2e3)) +* CI ([70b3891](https://github.com/aws/aws-encryption-sdk-dafny/commit/70b38917382efd1430885b293148d1dd5e2285fc)) +* CI ([9650048](https://github.com/aws/aws-encryption-sdk-dafny/commit/9650048f27ef42a6e1416aaa49fc4b8ee02e4d3a)) +* CI ([69725ef](https://github.com/aws/aws-encryption-sdk-dafny/commit/69725ef0c77a40d80ae522da66123c85a688ec79)) +* CI ([3533565](https://github.com/aws/aws-encryption-sdk-dafny/commit/3533565a227c62afb66d4b618b28d43658e8ed03)) +* CI ([1862a4c](https://github.com/aws/aws-encryption-sdk-dafny/commit/1862a4ce1e668f7ff17d9ae8930505ef430b6400)) +* CI ([c56dd69](https://github.com/aws/aws-encryption-sdk-dafny/commit/c56dd697c66735ead78f45488256f9b5a4b56d92)) +* **Example:** correct doc link in limit EDK Rust example ([#729](https://github.com/aws/aws-encryption-sdk-dafny/issues/729)) ([fa1ca01](https://github.com/aws/aws-encryption-sdk-dafny/commit/fa1ca015bef23eda79fbe87f468729aeb6a18e02)) +* **Go:** adds high unicode char Test Vectors ([#762](https://github.com/aws/aws-encryption-sdk-dafny/issues/762)) ([5604983](https://github.com/aws/aws-encryption-sdk-dafny/commit/5604983b35c38edfd02967e0439b9edf2161a067)) +* **go:** dafny array performance ([#825](https://github.com/aws/aws-encryption-sdk-dafny/issues/825)) ([ffc1e2d](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffc1e2ded7a7a4be2d554c04eb466870b382f9ce)) +* **go:** fix and refactor go mod ([#793](https://github.com/aws/aws-encryption-sdk-dafny/issues/793)) ([9381006](https://github.com/aws/aws-encryption-sdk-dafny/commit/938100668332700373d7774b83546a47c57777be)) +* Remove --recursive from action to update mpl submodule ([#672](https://github.com/aws/aws-encryption-sdk-dafny/issues/672)) ([8150ee0](https://github.com/aws/aws-encryption-sdk-dafny/commit/8150ee0a04e823f985c5dc5ad0d96a9aa20e6c29)) +* repo rename ([#739](https://github.com/aws/aws-encryption-sdk-dafny/issues/739)) ([d580c4a](https://github.com/aws/aws-encryption-sdk-dafny/commit/d580c4a3bb0825f292f9fc4faaeee6c07a248430)) +* repo rename ([#740](https://github.com/aws/aws-encryption-sdk-dafny/issues/740)) ([ae8b4b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/ae8b4b7e6cce6407df2f57c5719b11acd5247ac9)) +* Use relative path for DafnyRuntimeGo ([f33187c](https://github.com/aws/aws-encryption-sdk-dafny/commit/f33187c1a03be4ba4193f690dcbc89bfa01d9417)) + +### Maintenance + +* add C to list of languages checked for interoperability ([#773](https://github.com/aws/aws-encryption-sdk-dafny/issues/773)) ([3b9297a](https://github.com/aws/aws-encryption-sdk-dafny/commit/3b9297aa54dc984885e426236987d55197cffc9f)) +* add check only keyword action ([#679](https://github.com/aws/aws-encryption-sdk-dafny/issues/679)) ([1839c53](https://github.com/aws/aws-encryption-sdk-dafny/commit/1839c533a2e3bb57d6c860981bec2642d69c3b3e)) +* Add go to smithy dependencies ([#818](https://github.com/aws/aws-encryption-sdk-dafny/issues/818)) ([ac3448a](https://github.com/aws/aws-encryption-sdk-dafny/commit/ac3448a8ddc4504dcd126521f070bd3fa8bd5d13)) +* add KMS Keyring example in an multithreaded environment for Go ([#735](https://github.com/aws/aws-encryption-sdk-dafny/issues/735)) ([246aea1](https://github.com/aws/aws-encryption-sdk-dafny/commit/246aea1d0f2bce2e52eb5d0d6ff25c21a27227b9)) +* add managed policy to cfn template ([#847](https://github.com/aws/aws-encryption-sdk-dafny/issues/847)) ([308f29d](https://github.com/aws/aws-encryption-sdk-dafny/commit/308f29d560c7888bb48369de56673772afcb9f51)) +* Adding retries to CI ([#857](https://github.com/aws/aws-encryption-sdk-dafny/issues/857)) ([5d3f2e0](https://github.com/aws/aws-encryption-sdk-dafny/commit/5d3f2e0659ae6fb4ad7ecb856e933b44ebcc3f45)) +* bump dafny verification to 4.7.0 ([#666](https://github.com/aws/aws-encryption-sdk-dafny/issues/666)) ([a6ccaf7](https://github.com/aws/aws-encryption-sdk-dafny/commit/a6ccaf78a722b77a417ebec4edce105b51f5cdd6)) +* bump macos from 12 to 13 in CI ([#691](https://github.com/aws/aws-encryption-sdk-dafny/issues/691)) ([756888e](https://github.com/aws/aws-encryption-sdk-dafny/commit/756888ed4f3e6ce79b311367282e1181847a81a0)) +* bump mpl ([#787](https://github.com/aws/aws-encryption-sdk-dafny/issues/787)) ([1be4d62](https://github.com/aws/aws-encryption-sdk-dafny/commit/1be4d62a8cd926cde7b2c0aa5b16d88962290815)) +* Bump MPL dependency to 1.9.0, consolidate `project.properties` files ([#753](https://github.com/aws/aws-encryption-sdk-dafny/issues/753)) ([366e6e7](https://github.com/aws/aws-encryption-sdk-dafny/commit/366e6e7a8ee01911fab2707cf58f22feabc5d011)) +* bump mpl to allow nightly build ([#816](https://github.com/aws/aws-encryption-sdk-dafny/issues/816)) ([95a5cd3](https://github.com/aws/aws-encryption-sdk-dafny/commit/95a5cd32c4a495f04c673175a555ed4765053365)) +* bump mpl to latest ([#809](https://github.com/aws/aws-encryption-sdk-dafny/issues/809)) ([3c01934](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c019341aa6ccf733c08c602dbad04dc50cee429)) +* bump MPL to latest version ([#775](https://github.com/aws/aws-encryption-sdk-dafny/issues/775)) ([5ea20b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/5ea20b7560af97a0fc814efc7ffdf1d876ac423c)) +* bump MPL version ([#778](https://github.com/aws/aws-encryption-sdk-dafny/issues/778)) ([dcaa266](https://github.com/aws/aws-encryption-sdk-dafny/commit/dcaa26673971e7a4ce55bb9678c730028e824568)) +* bump smithy-dafny to latest ([#774](https://github.com/aws/aws-encryption-sdk-dafny/issues/774)) ([9fd4b48](https://github.com/aws/aws-encryption-sdk-dafny/commit/9fd4b48b8aeabb0225f6f2e37611465433ba041b)) +* bump to mpl latest ([#820](https://github.com/aws/aws-encryption-sdk-dafny/issues/820)) ([0a2013b](https://github.com/aws/aws-encryption-sdk-dafny/commit/0a2013b2e0f6dc03feb4008d280d10498b2bf3cf)) +* **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([ffe0064](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffe006462dc5288752b70a18d6595c207dac593e)) +* **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([74b0107](https://github.com/aws/aws-encryption-sdk-dafny/commit/74b01077075bd6131879104ad6b7509c873b911c)) +* change the dependency from the ESDK to the MPL to a relative path ProjectReference ([#656](https://github.com/aws/aws-encryption-sdk-dafny/issues/656)) ([9c73845](https://github.com/aws/aws-encryption-sdk-dafny/commit/9c73845c1f16de330841938bb3a3bda428253c11)) +* **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([568abc2](https://github.com/aws/aws-encryption-sdk-dafny/commit/568abc2c4453aecca27d5bf077567a7ac955aee4)) +* **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([864c2e2](https://github.com/aws/aws-encryption-sdk-dafny/commit/864c2e2446ccf8a85ae2394ab53494de4afec8fe)) +* **CI:** Add a diff check for polymorph in CI ([#738](https://github.com/aws/aws-encryption-sdk-dafny/issues/738)) ([af1e677](https://github.com/aws/aws-encryption-sdk-dafny/commit/af1e67734af18745a331099a7c1563b75258f10e)) +* **CI:** add backwards compatability tests for nightly ([#790](https://github.com/aws/aws-encryption-sdk-dafny/issues/790)) ([d350e84](https://github.com/aws/aws-encryption-sdk-dafny/commit/d350e84c647b69b6702d1ca54de46e158a4e63b6)) +* **CI:** add slack notifications ([#797](https://github.com/aws/aws-encryption-sdk-dafny/issues/797)) ([902bab0](https://github.com/aws/aws-encryption-sdk-dafny/commit/902bab004e9c864ee2c7d234cdd2bb4cd3ef1af3)) +* **CI:** Add smithy diff checker gha ([#670](https://github.com/aws/aws-encryption-sdk-dafny/issues/670)) ([99c489d](https://github.com/aws/aws-encryption-sdk-dafny/commit/99c489dbf0415483764de7817e6f05cf4e1ffad0)) +* **CI:** Clean up unused attributes ([#772](https://github.com/aws/aws-encryption-sdk-dafny/issues/772)) ([ba242a3](https://github.com/aws/aws-encryption-sdk-dafny/commit/ba242a3124e66d353ea8bac0237da20c4c1fe9a6)) +* **CI:** Fix CI ([#803](https://github.com/aws/aws-encryption-sdk-dafny/issues/803)) ([bc63241](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc63241a10d5ec5d3629e2988d42cd9e9cc1c17a)) +* **ci:** fix daily and nightly ci ([#860](https://github.com/aws/aws-encryption-sdk-dafny/issues/860)) ([62daaa7](https://github.com/aws/aws-encryption-sdk-dafny/commit/62daaa75cc742dd4334b3fdf33f14db25b1e3310)) +* **CI:** Fix daily CI ([#771](https://github.com/aws/aws-encryption-sdk-dafny/issues/771)) ([36079de](https://github.com/aws/aws-encryption-sdk-dafny/commit/36079de4571fcc68a2d971934bb7e11ff248f2e9)) +* **CI:** Partially fix nightly build ([#785](https://github.com/aws/aws-encryption-sdk-dafny/issues/785)) ([ed63f70](https://github.com/aws/aws-encryption-sdk-dafny/commit/ed63f70fe239bc89b59777f33c06015b510a4b1e)) +* **CI:** use require workflow ci check instead ([#719](https://github.com/aws/aws-encryption-sdk-dafny/issues/719)) ([1c4d1c4](https://github.com/aws/aws-encryption-sdk-dafny/commit/1c4d1c426244a6b6fe43e91f312b7c59a53fb145)) +* configure with project.properties ([#750](https://github.com/aws/aws-encryption-sdk-dafny/issues/750)) ([3ce52fa](https://github.com/aws/aws-encryption-sdk-dafny/commit/3ce52fa02928a14f5d1a2a68fac5d5a70edbcb61)) +* **dafny-verification:** fix timeout for Dafny 4.8.1 ([#690](https://github.com/aws/aws-encryption-sdk-dafny/issues/690)) ([bc46d0f](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc46d0f77f2608fbdd77ce9820750c92f02a2a40)) +* **dafny:** allow FileIO to deal in uint8, rather than bv8 ([#770](https://github.com/aws/aws-encryption-sdk-dafny/issues/770)) ([90f55db](https://github.com/aws/aws-encryption-sdk-dafny/commit/90f55dbd990cb1f2b3950ae54ea689db4f2b6e21)) +* **dafny:** remove more usage of BigInteger ([#781](https://github.com/aws/aws-encryption-sdk-dafny/issues/781)) ([dbe55d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/dbe55d7f8230b874fa38c69cfd26fbcbf8e938ce)) +* **dafny:** update makefile to only use prettier 3.5.3 ([#786](https://github.com/aws/aws-encryption-sdk-dafny/issues/786)) ([d2f9d82](https://github.com/aws/aws-encryption-sdk-dafny/commit/d2f9d82630a79021b53596432d4d325a2022324a)) +* **dependabot:** Add dependabot for github actions and rust ([#712](https://github.com/aws/aws-encryption-sdk-dafny/issues/712)) ([97dd65f](https://github.com/aws/aws-encryption-sdk-dafny/commit/97dd65f9353831f3c4b59b2d0d8f8b7f6972a916)) +* **deps:** bump actions/checkout from 2 to 4 in /.github/workflows ([#718](https://github.com/aws/aws-encryption-sdk-dafny/issues/718)) ([2f4746b](https://github.com/aws/aws-encryption-sdk-dafny/commit/2f4746bc1cd027ccad72b77c89d225e2416d91e1)) +* **deps:** bump actions/download-artifact from 4 to 7 in /.github/workflows ([#850](https://github.com/aws/aws-encryption-sdk-dafny/issues/850)) ([536113d](https://github.com/aws/aws-encryption-sdk-dafny/commit/536113d359e79751daf535e2e3e81e723ef2d5dc)) +* **deps:** bump actions/download-artifact from 7 to 8 in /.github/workflows ([#863](https://github.com/aws/aws-encryption-sdk-dafny/issues/863)) ([1db3a4f](https://github.com/aws/aws-encryption-sdk-dafny/commit/1db3a4f470dac0dcee9a9600f5caeb6c0b1ecb75)) +* **deps:** update aws-lc-sys requirement from 0.33 to 0.36 in /AwsEncryptionSDK/runtimes/rust ([#851](https://github.com/aws/aws-encryption-sdk-dafny/issues/851)) ([e419dff](https://github.com/aws/aws-encryption-sdk-dafny/commit/e419dffe748deb87847044d64414dd0b7b8381ed)) +* **deps:** update aws-lc-sys requirement from 0.37 to 0.38 in /AwsEncryptionSDK/runtimes/rust ([#864](https://github.com/aws/aws-encryption-sdk-dafny/issues/864)) ([16eb473](https://github.com/aws/aws-encryption-sdk-dafny/commit/16eb473daaac61ad960091e15d4fed8b14924bd9)) +* ensure format checking is with dotnet 6 ([#746](https://github.com/aws/aws-encryption-sdk-dafny/issues/746)) ([b3cb599](https://github.com/aws/aws-encryption-sdk-dafny/commit/b3cb59963bd88f19e53bdd4955190ee4d62c8ca0)) +* **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([f41a689](https://github.com/aws/aws-encryption-sdk-dafny/commit/f41a689d2f6f82d1cf83d9657d56f528a47cec44)) +* **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([d8ca214](https://github.com/aws/aws-encryption-sdk-dafny/commit/d8ca214c6635b1d5bc25faee836eecdf72a93f61)) +* **examples:** Add examples for Go with CI ([#733](https://github.com/aws/aws-encryption-sdk-dafny/issues/733)) ([c3ba5e3](https://github.com/aws/aws-encryption-sdk-dafny/commit/c3ba5e314e1118efb1fd663c85e3d56578622b91)) +* **examples:** add version branch key id example ([#710](https://github.com/aws/aws-encryption-sdk-dafny/issues/710)) ([d03a340](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03a3407d286b7f2e2546a6a10840717587cc6e4)) +* **examples:** fix readme of examples in all languages ([#734](https://github.com/aws/aws-encryption-sdk-dafny/issues/734)) ([f4683de](https://github.com/aws/aws-encryption-sdk-dafny/commit/f4683de40aa0c7300f366807cb0b256a6f3cf06e)) +* Fail verification on warnings ([#766](https://github.com/aws/aws-encryption-sdk-dafny/issues/766)) ([7236084](https://github.com/aws/aws-encryption-sdk-dafny/commit/7236084db6abdc2172c5be689ce92f72351540b5)) +* fix permissions and add env vars ([#676](https://github.com/aws/aws-encryption-sdk-dafny/issues/676)) ([4f03595](https://github.com/aws/aws-encryption-sdk-dafny/commit/4f0359508ad1f181337191df995e5dfe0010b0e9)) +* **GHA:** add dafny interoperability action ([#674](https://github.com/aws/aws-encryption-sdk-dafny/issues/674)) ([64067c7](https://github.com/aws/aws-encryption-sdk-dafny/commit/64067c743ca84b52d5474d0b0595de95aff251f1)) +* **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([2bfe9d4](https://github.com/aws/aws-encryption-sdk-dafny/commit/2bfe9d4a2a3a644dfc9757e46eb06934f29d6b8d)) +* **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([83744db](https://github.com/aws/aws-encryption-sdk-dafny/commit/83744dbb8aa887b4443772458b3a884f57aa778f)) +* **go:** add go 1.25 to CI ([#800](https://github.com/aws/aws-encryption-sdk-dafny/issues/800)) ([fb62f77](https://github.com/aws/aws-encryption-sdk-dafny/commit/fb62f77e2d7d583d427e3bdda829270abef4e3aa)) +* **go:** add Go release workflow ([#792](https://github.com/aws/aws-encryption-sdk-dafny/issues/792)) ([fe49c73](https://github.com/aws/aws-encryption-sdk-dafny/commit/fe49c73d430f56ae17583580c26c71a6b1a13a3b)) +* **Go:** Add Go to supported languages in the readme ([#780](https://github.com/aws/aws-encryption-sdk-dafny/issues/780)) ([3d920b9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3d920b96fc7352d2dfff3289555027d961141191)) +* **go:** cleanup files generated by examples ([#806](https://github.com/aws/aws-encryption-sdk-dafny/issues/806)) ([9f51159](https://github.com/aws/aws-encryption-sdk-dafny/commit/9f511598307b458d4c560d3642cf8d789a99d4e3)) +* **go:** Release encryption-sdk Go module 0.3.0 ([#838](https://github.com/aws/aws-encryption-sdk-dafny/issues/838)) ([5b322b4](https://github.com/aws/aws-encryption-sdk-dafny/commit/5b322b4a997a97c6971d1aae72869e867a375653)) +* **go:** update go test matrix and clean up setup ([#788](https://github.com/aws/aws-encryption-sdk-dafny/issues/788)) ([f39702b](https://github.com/aws/aws-encryption-sdk-dafny/commit/f39702b2d709492dd91fbbbf5984bd039b2b6578)) +* improve performance ([#764](https://github.com/aws/aws-encryption-sdk-dafny/issues/764)) ([79e1306](https://github.com/aws/aws-encryption-sdk-dafny/commit/79e1306184e9aee5394c1280dd01a2191210abbe)) +* install polymorph deps in github workflows ([#783](https://github.com/aws/aws-encryption-sdk-dafny/issues/783)) ([e284b64](https://github.com/aws/aws-encryption-sdk-dafny/commit/e284b6419fd4b3e39bb2750e95bd76de1dd35dd6)) +* let interop testing launch N tasks instead of N^2 ([#789](https://github.com/aws/aws-encryption-sdk-dafny/issues/789)) ([f5f8718](https://github.com/aws/aws-encryption-sdk-dafny/commit/f5f87181955e12835382b5108a37f9cb5fffe6f0)) +* merge Golang/dev branch with mainline ([#704](https://github.com/aws/aws-encryption-sdk-dafny/issues/704)) ([6db9ace](https://github.com/aws/aws-encryption-sdk-dafny/commit/6db9ace81db1046b2fec4dc211ac2920b6e2cba6)) +* **mpl;Rust:** bump mpl to include rust input validation, aes-192 tests ([#722](https://github.com/aws/aws-encryption-sdk-dafny/issues/722)) ([bea3f29](https://github.com/aws/aws-encryption-sdk-dafny/commit/bea3f29a1ef04b80397857636f7df0c360bbdb2b)) +* **MPL:** bump MPL to 1.5.1 ([#667](https://github.com/aws/aws-encryption-sdk-dafny/issues/667)) ([7958020](https://github.com/aws/aws-encryption-sdk-dafny/commit/79580208fc3cccdf29bfd3cfa16ee3305bc32c59)) +* **README:** update README; add copyright string ([#708](https://github.com/aws/aws-encryption-sdk-dafny/issues/708)) ([c133d77](https://github.com/aws/aws-encryption-sdk-dafny/commit/c133d770eebf6e605b2933c47f09e10ca30d4eee)) +* Reduce resource usage of assertion in ReadFramedMessageBody ([#665](https://github.com/aws/aws-encryption-sdk-dafny/issues/665)) ([c49af85](https://github.com/aws/aws-encryption-sdk-dafny/commit/c49af85544d53e072b8ae8cf1a8375a19175ad06)) +* regen code for 4.8.0 and bump mpl ([#681](https://github.com/aws/aws-encryption-sdk-dafny/issues/681)) ([68e75fb](https://github.com/aws/aws-encryption-sdk-dafny/commit/68e75fb10084cf94dc8ccbedf7a98a3c6569dd3f)) +* release aws-esdk v1.2.3 ([#866](https://github.com/aws/aws-encryption-sdk-dafny/issues/866)) ([6fb96aa](https://github.com/aws/aws-encryption-sdk-dafny/commit/6fb96aa34a7fcf06ba9827d979ac28e333b34ae6)) +* Release of 1.0.0 for Rust ([#751](https://github.com/aws/aws-encryption-sdk-dafny/issues/751)) ([7e492d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/7e492d7d6e2ff2f603d3b7ae028b034849c39cb9)) +* **release:** Update RELEASE.md ([#865](https://github.com/aws/aws-encryption-sdk-dafny/issues/865)) ([025f999](https://github.com/aws/aws-encryption-sdk-dafny/commit/025f9992f83bbd815eb3e1b02fe3fedba63e3c40)) +* remove aws sdk core dep ([#822](https://github.com/aws/aws-encryption-sdk-dafny/issues/822)) ([54d3685](https://github.com/aws/aws-encryption-sdk-dafny/commit/54d36853be5574c911811e9b927f36d9b461e0d7)) +* Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([8eeb14d](https://github.com/aws/aws-encryption-sdk-dafny/commit/8eeb14db7b418fb0dbefdfca243661d04a23cb52)) +* Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([e042e92](https://github.com/aws/aws-encryption-sdk-dafny/commit/e042e92e546c329c59356c833ffbbe44132cc94b)) +* rename EncryptionSdk Dafny module name ([#707](https://github.com/aws/aws-encryption-sdk-dafny/issues/707)) ([689624d](https://github.com/aws/aws-encryption-sdk-dafny/commit/689624d64671ba12456de0fa522018b81d6cf90e)) +* **rust-release:** add Rust release directory ([#709](https://github.com/aws/aws-encryption-sdk-dafny/issues/709)) ([7acf387](https://github.com/aws/aws-encryption-sdk-dafny/commit/7acf387c3736444e9658a1e1b5c65612f9f48aa6)) +* **rust:** add fips feature ([#805](https://github.com/aws/aws-encryption-sdk-dafny/issues/805)) ([d7d8bf1](https://github.com/aws/aws-encryption-sdk-dafny/commit/d7d8bf1366a3bac139de07b806538587dc6f7dbf)) +* **rust:** add more memory usage statistics to benchmarks ([#819](https://github.com/aws/aws-encryption-sdk-dafny/issues/819)) ([c0f9dc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/c0f9dc91d2480d28b3ca144b4d0939262adc6114)) +* **rust:** better blocking ([#852](https://github.com/aws/aws-encryption-sdk-dafny/issues/852)) ([8133da8](https://github.com/aws/aws-encryption-sdk-dafny/commit/8133da80a7cc8eaeaef14f72f01b4a53a74758c3)) +* **rust:** bump mpl to fix warnings ([#823](https://github.com/aws/aws-encryption-sdk-dafny/issues/823)) ([e971002](https://github.com/aws/aws-encryption-sdk-dafny/commit/e9710029b2be2c8f27c4c35d39a1303adf30b2a2)) +* **rust:** clean-up lib.rs ([#725](https://github.com/aws/aws-encryption-sdk-dafny/issues/725)) ([d03ab27](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03ab279b8006f5f9056fc1519936ad695e10a4a)) +* **rust:** prepare 1.1.1 release ([#784](https://github.com/aws/aws-encryption-sdk-dafny/issues/784)) ([3aeddc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3aeddc990237e7239ba9ee38f8102bfdd162dfbb)) +* **rust:** prepare release of 1.2.0 ([#807](https://github.com/aws/aws-encryption-sdk-dafny/issues/807)) ([678ca04](https://github.com/aws/aws-encryption-sdk-dafny/commit/678ca043e420c5ac77ae06811bc3605f501bca1a)) +* **rust:** prepare rust 1.1.0 release ([#782](https://github.com/aws/aws-encryption-sdk-dafny/issues/782)) ([b321a46](https://github.com/aws/aws-encryption-sdk-dafny/commit/b321a46a5ecf355445ca06c57c81f9db057fc8f6)) +* **rust:** release 0.2.0 ([#726](https://github.com/aws/aws-encryption-sdk-dafny/issues/726)) ([a5282af](https://github.com/aws/aws-encryption-sdk-dafny/commit/a5282af7090ca43440b3976ddb4c9411d4c143c4)) +* **rust:** release 1.2.1 ([#844](https://github.com/aws/aws-encryption-sdk-dafny/issues/844)) ([57ba773](https://github.com/aws/aws-encryption-sdk-dafny/commit/57ba773072e95d5d3e3c77d577dea7bb991df8fc)) +* **rust:** release 1.2.2 ([#854](https://github.com/aws/aws-encryption-sdk-dafny/issues/854)) ([c630cc1](https://github.com/aws/aws-encryption-sdk-dafny/commit/c630cc19d0767f47479d67af1134681ce46da0ab)) +* **rust:** update smithy-dafny and use small-int feature ([#777](https://github.com/aws/aws-encryption-sdk-dafny/issues/777)) ([2ea5e47](https://github.com/aws/aws-encryption-sdk-dafny/commit/2ea5e47a78e0254acfe9fa83da2a54d82b9bc23d)) +* **rust:** use Dafny 4.10.0 for Rust codegen ([#824](https://github.com/aws/aws-encryption-sdk-dafny/issues/824)) ([d70d88c](https://github.com/aws/aws-encryption-sdk-dafny/commit/d70d88cea45a88fa415d811ab9ea578ad7b02ac1)) +* **test vectors:** Add interop test in Go with CI ([#731](https://github.com/aws/aws-encryption-sdk-dafny/issues/731)) ([d04ddc0](https://github.com/aws/aws-encryption-sdk-dafny/commit/d04ddc02ca13ec31b3ae094e62b8850cb661f1b6)) +* **test-vectors:** Decrypt .NET Retry flag manifests using Rust ([#721](https://github.com/aws/aws-encryption-sdk-dafny/issues/721)) ([3117b0c](https://github.com/aws/aws-encryption-sdk-dafny/commit/3117b0cb97fcc2636be1c74b651d402fb2adad6c)) +* **TestVectors:** add DefaultCmm Tests ([#698](https://github.com/aws/aws-encryption-sdk-dafny/issues/698)) ([a287d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/a287d45c25688dfc07b3b94587bc1f0f152b810e)) +* Try to update existing issues ([#661](https://github.com/aws/aws-encryption-sdk-dafny/issues/661)) ([70c0d14](https://github.com/aws/aws-encryption-sdk-dafny/commit/70c0d148307420b2f23f24c8c0373133a530ef17)), closes [#660](https://github.com/aws/aws-encryption-sdk-dafny/issues/660) +* update GitHub Actions to latest major versions ([#868](https://github.com/aws/aws-encryption-sdk-dafny/issues/868)) ([8b50d20](https://github.com/aws/aws-encryption-sdk-dafny/commit/8b50d20a43d9a46e3f40a2d0fb79333d4692ae26)) +* update mpl ([95fe4e9](https://github.com/aws/aws-encryption-sdk-dafny/commit/95fe4e9c58641b9968584db3a482ea561e0b7333)) +* update mpl ([#821](https://github.com/aws/aws-encryption-sdk-dafny/issues/821)) ([1e4d0d0](https://github.com/aws/aws-encryption-sdk-dafny/commit/1e4d0d03206fa29e028a0a21cbc175490b05a6cd)) +* update mpl submodule name gha ([#675](https://github.com/aws/aws-encryption-sdk-dafny/issues/675)) ([959d22e](https://github.com/aws/aws-encryption-sdk-dafny/commit/959d22e46fad266f69bca7f9c59fddb7d9ada7b0)) +* Update SUPPORT_POLICY.rst ([#802](https://github.com/aws/aws-encryption-sdk-dafny/issues/802)) ([bcf4220](https://github.com/aws/aws-encryption-sdk-dafny/commit/bcf4220c686d460a2a03e0137d20b7db6219ca44)) +* update to async-friendly Rust ([#749](https://github.com/aws/aws-encryption-sdk-dafny/issues/749)) ([fad048c](https://github.com/aws/aws-encryption-sdk-dafny/commit/fad048c47a3e331263842a0fa5d19a5e3d785f08)) +* update to MPL 1.4 ([8725990](https://github.com/aws/aws-encryption-sdk-dafny/commit/87259906742bc7cd339a5380b2e884a30e953aea)) +* upload performance benchmarks to cloudwatch ([#846](https://github.com/aws/aws-encryption-sdk-dafny/issues/846)) ([3c36d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c36d4595b2f1bc444d9af09e8f31fb389cd1b3b)) +* use correct dirs in gha ([#677](https://github.com/aws/aws-encryption-sdk-dafny/issues/677)) ([25c3625](https://github.com/aws/aws-encryption-sdk-dafny/commit/25c36259253db6a79682587c582ea4761209b21e)) +* use macos-14 for CI ([#828](https://github.com/aws/aws-encryption-sdk-dafny/issues/828)) ([bf43328](https://github.com/aws/aws-encryption-sdk-dafny/commit/bf43328196562759154faabe755a850c4a97853b)) From 07ff77731a3fe34e0b1e56ee1313cb8d0d49e160 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 23 Mar 2026 11:40:41 -0700 Subject: [PATCH 2/7] update files --- AwsEncryptionSDK/runtimes/net/CHANGELOG.md | 31 +++++ CHANGELOG.md | 153 --------------------- 2 files changed, 31 insertions(+), 153 deletions(-) delete mode 100644 CHANGELOG.md diff --git a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md index 3a51ab1a7..8482a7a30 100644 --- a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md +++ b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md @@ -1,5 +1,36 @@ # Changelog +## [5.0.0](https://github.com/aws/aws-encryption-sdk-dafny/compare/v4.1.0...v5.0.0) (2026-03-23) + +This release is available in the following languages: + +- .NET + +### ⚠ BREAKING CHANGES + +- Adds MPL V2 and removes MPL V1, which removed AWS SDK V3 and replaced it with AWS SDK V4. + +### Features + +- Bump to MPL V2 ([#869](https://github.com/aws/aws-encryption-sdk-dafny/issues/869)) ([9ddae5c](https://github.com/aws/aws-encryption-sdk-dafny/commit/9ddae5cdf6a6668cbaf43e551958100533d46fae)) + +### Fixes + +- **.NET:** Improve Collection of Errors string ([#728](https://github.com/aws/aws-encryption-sdk-dafny/issues/728)) ([d66248b](https://github.com/aws/aws-encryption-sdk-dafny/commit/d66248b956e5bce553fd64ba46189a5ac6eb69ee)) + +### Maintenance + +- add C to list of languages checked for interoperability ([#773](https://github.com/aws/aws-encryption-sdk-dafny/issues/773)) ([3b9297a](https://github.com/aws/aws-encryption-sdk-dafny/commit/3b9297aa54dc984885e426236987d55197cffc9f)) +- **TestVectors:** add DefaultCmm Tests ([#698](https://github.com/aws/aws-encryption-sdk-dafny/issues/698)) ([a287d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/a287d45c25688dfc07b3b94587bc1f0f152b810e)) + +## 4.1.1 + +### Notes + +- Update .csproj files to prevent use of AWS-SDK-NET V4 + +**Full Changelog**: + ## 4.1.0 ### Notes diff --git a/CHANGELOG.md b/CHANGELOG.md deleted file mode 100644 index af21bb319..000000000 --- a/CHANGELOG.md +++ /dev/null @@ -1,153 +0,0 @@ -# Changelog - -## [5.0.0](https://github.com/aws/aws-encryption-sdk-dafny/compare/v4.1.0...v5.0.0) (2026-03-23) - -### ⚠ BREAKING CHANGES - -* Adds MPL V2 and removes MPL V1, which removed AWS SDK V3 and replaced it with AWS SDK V4. - -### Features - -* adds polymorped go files for esdk ([7ac872c](https://github.com/aws/aws-encryption-sdk-dafny/commit/7ac872c5a201067ae2cead924faafcacc6880499)) -* adds temp patch file for Go ([d3cd446](https://github.com/aws/aws-encryption-sdk-dafny/commit/d3cd44669932d4a5d8ebebbf3cdb8b200df6f7b6)) -* All shapes complete ([0067712](https://github.com/aws/aws-encryption-sdk-dafny/commit/0067712ad246fbc9f979f8ff7ca317494fc0f9d9)) -* Bump to MPL V2 ([#869](https://github.com/aws/aws-encryption-sdk-dafny/issues/869)) ([9ddae5c](https://github.com/aws/aws-encryption-sdk-dafny/commit/9ddae5cdf6a6668cbaf43e551958100533d46fae)) -* Go ESDK v0.0.1 release ([#741](https://github.com/aws/aws-encryption-sdk-dafny/issues/741)) ([714e177](https://github.com/aws/aws-encryption-sdk-dafny/commit/714e17760970fbd6807c2755abbd569236ca5e98)) -* **Go:** esdk-go release v0.2.0 ([#769](https://github.com/aws/aws-encryption-sdk-dafny/issues/769)) ([61475fe](https://github.com/aws/aws-encryption-sdk-dafny/commit/61475fe49464137892b604b715922e194708aa7c)) -* Golang ([2db84c0](https://github.com/aws/aws-encryption-sdk-dafny/commit/2db84c00975772db749556255ec9d5b4cd0ccb2c)) -* **go:** mpl bump ([#737](https://github.com/aws/aws-encryption-sdk-dafny/issues/737)) ([babfd01](https://github.com/aws/aws-encryption-sdk-dafny/commit/babfd01c5d63128a991d857dc5fd8d4b53a8b813)) -* **Go:** v0.1.1 release ([#757](https://github.com/aws/aws-encryption-sdk-dafny/issues/757)) ([fc17427](https://github.com/aws/aws-encryption-sdk-dafny/commit/fc1742744e83da26d0763944c3392c368c0d700c)) -* perf-test for go ([#812](https://github.com/aws/aws-encryption-sdk-dafny/issues/812)) ([a825857](https://github.com/aws/aws-encryption-sdk-dafny/commit/a8258578caa5e7ae84a2d1fd032581e097230cd3)) -* perf-test for java ([#815](https://github.com/aws/aws-encryption-sdk-dafny/issues/815)) ([51f031b](https://github.com/aws/aws-encryption-sdk-dafny/commit/51f031b2219b2f4c59cc33c89b4467dc4d5cc317)) -* perf-test for net ([#814](https://github.com/aws/aws-encryption-sdk-dafny/issues/814)) ([472a65d](https://github.com/aws/aws-encryption-sdk-dafny/commit/472a65d44f8d53d3297026668f794d5410803e65)) -* perf-test for python ([#813](https://github.com/aws/aws-encryption-sdk-dafny/issues/813)) ([6e5f59e](https://github.com/aws/aws-encryption-sdk-dafny/commit/6e5f59ee5ec81a52910715f664c849b82730b927)) -* perf-test for rust ([#810](https://github.com/aws/aws-encryption-sdk-dafny/issues/810)) ([751f286](https://github.com/aws/aws-encryption-sdk-dafny/commit/751f2864b0820312293660241eb7bbb17d30a888)) -* **Rust:** Add support for Rust Encryption SDK ([#689](https://github.com/aws/aws-encryption-sdk-dafny/issues/689)) ([1628e66](https://github.com/aws/aws-encryption-sdk-dafny/commit/1628e66672a4a62cd61641c62044cab9be10d0fc)) - -### Fixes - -* **.NET:** Improve Collection of Errors string ([#728](https://github.com/aws/aws-encryption-sdk-dafny/issues/728)) ([d66248b](https://github.com/aws/aws-encryption-sdk-dafny/commit/d66248b956e5bce553fd64ba46189a5ac6eb69ee)) -* add apt-get update before libcurl install in CI workflows ([#867](https://github.com/aws/aws-encryption-sdk-dafny/issues/867)) ([4382862](https://github.com/aws/aws-encryption-sdk-dafny/commit/43828623510b5ad01a7b6297f0890f2fe1a6395f)) -* Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([170b398](https://github.com/aws/aws-encryption-sdk-dafny/commit/170b39847f69e6594fdc9826796beb723aeb09c9)) -* Bump more CI to Dafny 4.8 ([#683](https://github.com/aws/aws-encryption-sdk-dafny/issues/683)) ([56fcd13](https://github.com/aws/aws-encryption-sdk-dafny/commit/56fcd130346c49efd8cc7599ca01a83972c574cd)) -* CI ([0ba9ada](https://github.com/aws/aws-encryption-sdk-dafny/commit/0ba9adaf1967db028c13d95751e818b2963ea2e3)) -* CI ([70b3891](https://github.com/aws/aws-encryption-sdk-dafny/commit/70b38917382efd1430885b293148d1dd5e2285fc)) -* CI ([9650048](https://github.com/aws/aws-encryption-sdk-dafny/commit/9650048f27ef42a6e1416aaa49fc4b8ee02e4d3a)) -* CI ([69725ef](https://github.com/aws/aws-encryption-sdk-dafny/commit/69725ef0c77a40d80ae522da66123c85a688ec79)) -* CI ([3533565](https://github.com/aws/aws-encryption-sdk-dafny/commit/3533565a227c62afb66d4b618b28d43658e8ed03)) -* CI ([1862a4c](https://github.com/aws/aws-encryption-sdk-dafny/commit/1862a4ce1e668f7ff17d9ae8930505ef430b6400)) -* CI ([c56dd69](https://github.com/aws/aws-encryption-sdk-dafny/commit/c56dd697c66735ead78f45488256f9b5a4b56d92)) -* **Example:** correct doc link in limit EDK Rust example ([#729](https://github.com/aws/aws-encryption-sdk-dafny/issues/729)) ([fa1ca01](https://github.com/aws/aws-encryption-sdk-dafny/commit/fa1ca015bef23eda79fbe87f468729aeb6a18e02)) -* **Go:** adds high unicode char Test Vectors ([#762](https://github.com/aws/aws-encryption-sdk-dafny/issues/762)) ([5604983](https://github.com/aws/aws-encryption-sdk-dafny/commit/5604983b35c38edfd02967e0439b9edf2161a067)) -* **go:** dafny array performance ([#825](https://github.com/aws/aws-encryption-sdk-dafny/issues/825)) ([ffc1e2d](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffc1e2ded7a7a4be2d554c04eb466870b382f9ce)) -* **go:** fix and refactor go mod ([#793](https://github.com/aws/aws-encryption-sdk-dafny/issues/793)) ([9381006](https://github.com/aws/aws-encryption-sdk-dafny/commit/938100668332700373d7774b83546a47c57777be)) -* Remove --recursive from action to update mpl submodule ([#672](https://github.com/aws/aws-encryption-sdk-dafny/issues/672)) ([8150ee0](https://github.com/aws/aws-encryption-sdk-dafny/commit/8150ee0a04e823f985c5dc5ad0d96a9aa20e6c29)) -* repo rename ([#739](https://github.com/aws/aws-encryption-sdk-dafny/issues/739)) ([d580c4a](https://github.com/aws/aws-encryption-sdk-dafny/commit/d580c4a3bb0825f292f9fc4faaeee6c07a248430)) -* repo rename ([#740](https://github.com/aws/aws-encryption-sdk-dafny/issues/740)) ([ae8b4b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/ae8b4b7e6cce6407df2f57c5719b11acd5247ac9)) -* Use relative path for DafnyRuntimeGo ([f33187c](https://github.com/aws/aws-encryption-sdk-dafny/commit/f33187c1a03be4ba4193f690dcbc89bfa01d9417)) - -### Maintenance - -* add C to list of languages checked for interoperability ([#773](https://github.com/aws/aws-encryption-sdk-dafny/issues/773)) ([3b9297a](https://github.com/aws/aws-encryption-sdk-dafny/commit/3b9297aa54dc984885e426236987d55197cffc9f)) -* add check only keyword action ([#679](https://github.com/aws/aws-encryption-sdk-dafny/issues/679)) ([1839c53](https://github.com/aws/aws-encryption-sdk-dafny/commit/1839c533a2e3bb57d6c860981bec2642d69c3b3e)) -* Add go to smithy dependencies ([#818](https://github.com/aws/aws-encryption-sdk-dafny/issues/818)) ([ac3448a](https://github.com/aws/aws-encryption-sdk-dafny/commit/ac3448a8ddc4504dcd126521f070bd3fa8bd5d13)) -* add KMS Keyring example in an multithreaded environment for Go ([#735](https://github.com/aws/aws-encryption-sdk-dafny/issues/735)) ([246aea1](https://github.com/aws/aws-encryption-sdk-dafny/commit/246aea1d0f2bce2e52eb5d0d6ff25c21a27227b9)) -* add managed policy to cfn template ([#847](https://github.com/aws/aws-encryption-sdk-dafny/issues/847)) ([308f29d](https://github.com/aws/aws-encryption-sdk-dafny/commit/308f29d560c7888bb48369de56673772afcb9f51)) -* Adding retries to CI ([#857](https://github.com/aws/aws-encryption-sdk-dafny/issues/857)) ([5d3f2e0](https://github.com/aws/aws-encryption-sdk-dafny/commit/5d3f2e0659ae6fb4ad7ecb856e933b44ebcc3f45)) -* bump dafny verification to 4.7.0 ([#666](https://github.com/aws/aws-encryption-sdk-dafny/issues/666)) ([a6ccaf7](https://github.com/aws/aws-encryption-sdk-dafny/commit/a6ccaf78a722b77a417ebec4edce105b51f5cdd6)) -* bump macos from 12 to 13 in CI ([#691](https://github.com/aws/aws-encryption-sdk-dafny/issues/691)) ([756888e](https://github.com/aws/aws-encryption-sdk-dafny/commit/756888ed4f3e6ce79b311367282e1181847a81a0)) -* bump mpl ([#787](https://github.com/aws/aws-encryption-sdk-dafny/issues/787)) ([1be4d62](https://github.com/aws/aws-encryption-sdk-dafny/commit/1be4d62a8cd926cde7b2c0aa5b16d88962290815)) -* Bump MPL dependency to 1.9.0, consolidate `project.properties` files ([#753](https://github.com/aws/aws-encryption-sdk-dafny/issues/753)) ([366e6e7](https://github.com/aws/aws-encryption-sdk-dafny/commit/366e6e7a8ee01911fab2707cf58f22feabc5d011)) -* bump mpl to allow nightly build ([#816](https://github.com/aws/aws-encryption-sdk-dafny/issues/816)) ([95a5cd3](https://github.com/aws/aws-encryption-sdk-dafny/commit/95a5cd32c4a495f04c673175a555ed4765053365)) -* bump mpl to latest ([#809](https://github.com/aws/aws-encryption-sdk-dafny/issues/809)) ([3c01934](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c019341aa6ccf733c08c602dbad04dc50cee429)) -* bump MPL to latest version ([#775](https://github.com/aws/aws-encryption-sdk-dafny/issues/775)) ([5ea20b7](https://github.com/aws/aws-encryption-sdk-dafny/commit/5ea20b7560af97a0fc814efc7ffdf1d876ac423c)) -* bump MPL version ([#778](https://github.com/aws/aws-encryption-sdk-dafny/issues/778)) ([dcaa266](https://github.com/aws/aws-encryption-sdk-dafny/commit/dcaa26673971e7a4ce55bb9678c730028e824568)) -* bump smithy-dafny to latest ([#774](https://github.com/aws/aws-encryption-sdk-dafny/issues/774)) ([9fd4b48](https://github.com/aws/aws-encryption-sdk-dafny/commit/9fd4b48b8aeabb0225f6f2e37611465433ba041b)) -* bump to mpl latest ([#820](https://github.com/aws/aws-encryption-sdk-dafny/issues/820)) ([0a2013b](https://github.com/aws/aws-encryption-sdk-dafny/commit/0a2013b2e0f6dc03feb4008d280d10498b2bf3cf)) -* **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([ffe0064](https://github.com/aws/aws-encryption-sdk-dafny/commit/ffe006462dc5288752b70a18d6595c207dac593e)) -* **cfn/CI.yaml:** setup region based roles for Client Supplier Example ([#684](https://github.com/aws/aws-encryption-sdk-dafny/issues/684)) ([74b0107](https://github.com/aws/aws-encryption-sdk-dafny/commit/74b01077075bd6131879104ad6b7509c873b911c)) -* change the dependency from the ESDK to the MPL to a relative path ProjectReference ([#656](https://github.com/aws/aws-encryption-sdk-dafny/issues/656)) ([9c73845](https://github.com/aws/aws-encryption-sdk-dafny/commit/9c73845c1f16de330841938bb3a3bda428253c11)) -* **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([568abc2](https://github.com/aws/aws-encryption-sdk-dafny/commit/568abc2c4453aecca27d5bf077567a7ac955aee4)) -* **CI.yaml:** update cfn template ([#687](https://github.com/aws/aws-encryption-sdk-dafny/issues/687)) ([864c2e2](https://github.com/aws/aws-encryption-sdk-dafny/commit/864c2e2446ccf8a85ae2394ab53494de4afec8fe)) -* **CI:** Add a diff check for polymorph in CI ([#738](https://github.com/aws/aws-encryption-sdk-dafny/issues/738)) ([af1e677](https://github.com/aws/aws-encryption-sdk-dafny/commit/af1e67734af18745a331099a7c1563b75258f10e)) -* **CI:** add backwards compatability tests for nightly ([#790](https://github.com/aws/aws-encryption-sdk-dafny/issues/790)) ([d350e84](https://github.com/aws/aws-encryption-sdk-dafny/commit/d350e84c647b69b6702d1ca54de46e158a4e63b6)) -* **CI:** add slack notifications ([#797](https://github.com/aws/aws-encryption-sdk-dafny/issues/797)) ([902bab0](https://github.com/aws/aws-encryption-sdk-dafny/commit/902bab004e9c864ee2c7d234cdd2bb4cd3ef1af3)) -* **CI:** Add smithy diff checker gha ([#670](https://github.com/aws/aws-encryption-sdk-dafny/issues/670)) ([99c489d](https://github.com/aws/aws-encryption-sdk-dafny/commit/99c489dbf0415483764de7817e6f05cf4e1ffad0)) -* **CI:** Clean up unused attributes ([#772](https://github.com/aws/aws-encryption-sdk-dafny/issues/772)) ([ba242a3](https://github.com/aws/aws-encryption-sdk-dafny/commit/ba242a3124e66d353ea8bac0237da20c4c1fe9a6)) -* **CI:** Fix CI ([#803](https://github.com/aws/aws-encryption-sdk-dafny/issues/803)) ([bc63241](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc63241a10d5ec5d3629e2988d42cd9e9cc1c17a)) -* **ci:** fix daily and nightly ci ([#860](https://github.com/aws/aws-encryption-sdk-dafny/issues/860)) ([62daaa7](https://github.com/aws/aws-encryption-sdk-dafny/commit/62daaa75cc742dd4334b3fdf33f14db25b1e3310)) -* **CI:** Fix daily CI ([#771](https://github.com/aws/aws-encryption-sdk-dafny/issues/771)) ([36079de](https://github.com/aws/aws-encryption-sdk-dafny/commit/36079de4571fcc68a2d971934bb7e11ff248f2e9)) -* **CI:** Partially fix nightly build ([#785](https://github.com/aws/aws-encryption-sdk-dafny/issues/785)) ([ed63f70](https://github.com/aws/aws-encryption-sdk-dafny/commit/ed63f70fe239bc89b59777f33c06015b510a4b1e)) -* **CI:** use require workflow ci check instead ([#719](https://github.com/aws/aws-encryption-sdk-dafny/issues/719)) ([1c4d1c4](https://github.com/aws/aws-encryption-sdk-dafny/commit/1c4d1c426244a6b6fe43e91f312b7c59a53fb145)) -* configure with project.properties ([#750](https://github.com/aws/aws-encryption-sdk-dafny/issues/750)) ([3ce52fa](https://github.com/aws/aws-encryption-sdk-dafny/commit/3ce52fa02928a14f5d1a2a68fac5d5a70edbcb61)) -* **dafny-verification:** fix timeout for Dafny 4.8.1 ([#690](https://github.com/aws/aws-encryption-sdk-dafny/issues/690)) ([bc46d0f](https://github.com/aws/aws-encryption-sdk-dafny/commit/bc46d0f77f2608fbdd77ce9820750c92f02a2a40)) -* **dafny:** allow FileIO to deal in uint8, rather than bv8 ([#770](https://github.com/aws/aws-encryption-sdk-dafny/issues/770)) ([90f55db](https://github.com/aws/aws-encryption-sdk-dafny/commit/90f55dbd990cb1f2b3950ae54ea689db4f2b6e21)) -* **dafny:** remove more usage of BigInteger ([#781](https://github.com/aws/aws-encryption-sdk-dafny/issues/781)) ([dbe55d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/dbe55d7f8230b874fa38c69cfd26fbcbf8e938ce)) -* **dafny:** update makefile to only use prettier 3.5.3 ([#786](https://github.com/aws/aws-encryption-sdk-dafny/issues/786)) ([d2f9d82](https://github.com/aws/aws-encryption-sdk-dafny/commit/d2f9d82630a79021b53596432d4d325a2022324a)) -* **dependabot:** Add dependabot for github actions and rust ([#712](https://github.com/aws/aws-encryption-sdk-dafny/issues/712)) ([97dd65f](https://github.com/aws/aws-encryption-sdk-dafny/commit/97dd65f9353831f3c4b59b2d0d8f8b7f6972a916)) -* **deps:** bump actions/checkout from 2 to 4 in /.github/workflows ([#718](https://github.com/aws/aws-encryption-sdk-dafny/issues/718)) ([2f4746b](https://github.com/aws/aws-encryption-sdk-dafny/commit/2f4746bc1cd027ccad72b77c89d225e2416d91e1)) -* **deps:** bump actions/download-artifact from 4 to 7 in /.github/workflows ([#850](https://github.com/aws/aws-encryption-sdk-dafny/issues/850)) ([536113d](https://github.com/aws/aws-encryption-sdk-dafny/commit/536113d359e79751daf535e2e3e81e723ef2d5dc)) -* **deps:** bump actions/download-artifact from 7 to 8 in /.github/workflows ([#863](https://github.com/aws/aws-encryption-sdk-dafny/issues/863)) ([1db3a4f](https://github.com/aws/aws-encryption-sdk-dafny/commit/1db3a4f470dac0dcee9a9600f5caeb6c0b1ecb75)) -* **deps:** update aws-lc-sys requirement from 0.33 to 0.36 in /AwsEncryptionSDK/runtimes/rust ([#851](https://github.com/aws/aws-encryption-sdk-dafny/issues/851)) ([e419dff](https://github.com/aws/aws-encryption-sdk-dafny/commit/e419dffe748deb87847044d64414dd0b7b8381ed)) -* **deps:** update aws-lc-sys requirement from 0.37 to 0.38 in /AwsEncryptionSDK/runtimes/rust ([#864](https://github.com/aws/aws-encryption-sdk-dafny/issues/864)) ([16eb473](https://github.com/aws/aws-encryption-sdk-dafny/commit/16eb473daaac61ad960091e15d4fed8b14924bd9)) -* ensure format checking is with dotnet 6 ([#746](https://github.com/aws/aws-encryption-sdk-dafny/issues/746)) ([b3cb599](https://github.com/aws/aws-encryption-sdk-dafny/commit/b3cb59963bd88f19e53bdd4955190ee4d62c8ca0)) -* **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([f41a689](https://github.com/aws/aws-encryption-sdk-dafny/commit/f41a689d2f6f82d1cf83d9657d56f528a47cec44)) -* **examples; MPL bump:** Shared cache across Hierarchical Keyrings; Bump MPL to 1.7.0 ([#680](https://github.com/aws/aws-encryption-sdk-dafny/issues/680)) ([d8ca214](https://github.com/aws/aws-encryption-sdk-dafny/commit/d8ca214c6635b1d5bc25faee836eecdf72a93f61)) -* **examples:** Add examples for Go with CI ([#733](https://github.com/aws/aws-encryption-sdk-dafny/issues/733)) ([c3ba5e3](https://github.com/aws/aws-encryption-sdk-dafny/commit/c3ba5e314e1118efb1fd663c85e3d56578622b91)) -* **examples:** add version branch key id example ([#710](https://github.com/aws/aws-encryption-sdk-dafny/issues/710)) ([d03a340](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03a3407d286b7f2e2546a6a10840717587cc6e4)) -* **examples:** fix readme of examples in all languages ([#734](https://github.com/aws/aws-encryption-sdk-dafny/issues/734)) ([f4683de](https://github.com/aws/aws-encryption-sdk-dafny/commit/f4683de40aa0c7300f366807cb0b256a6f3cf06e)) -* Fail verification on warnings ([#766](https://github.com/aws/aws-encryption-sdk-dafny/issues/766)) ([7236084](https://github.com/aws/aws-encryption-sdk-dafny/commit/7236084db6abdc2172c5be689ce92f72351540b5)) -* fix permissions and add env vars ([#676](https://github.com/aws/aws-encryption-sdk-dafny/issues/676)) ([4f03595](https://github.com/aws/aws-encryption-sdk-dafny/commit/4f0359508ad1f181337191df995e5dfe0010b0e9)) -* **GHA:** add dafny interoperability action ([#674](https://github.com/aws/aws-encryption-sdk-dafny/issues/674)) ([64067c7](https://github.com/aws/aws-encryption-sdk-dafny/commit/64067c743ca84b52d5474d0b0595de95aff251f1)) -* **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([2bfe9d4](https://github.com/aws/aws-encryption-sdk-dafny/commit/2bfe9d4a2a3a644dfc9757e46eb06934f29d6b8d)) -* **gitignore:** Ignore *-cs.dtr and node_modules ([#686](https://github.com/aws/aws-encryption-sdk-dafny/issues/686)) ([83744db](https://github.com/aws/aws-encryption-sdk-dafny/commit/83744dbb8aa887b4443772458b3a884f57aa778f)) -* **go:** add go 1.25 to CI ([#800](https://github.com/aws/aws-encryption-sdk-dafny/issues/800)) ([fb62f77](https://github.com/aws/aws-encryption-sdk-dafny/commit/fb62f77e2d7d583d427e3bdda829270abef4e3aa)) -* **go:** add Go release workflow ([#792](https://github.com/aws/aws-encryption-sdk-dafny/issues/792)) ([fe49c73](https://github.com/aws/aws-encryption-sdk-dafny/commit/fe49c73d430f56ae17583580c26c71a6b1a13a3b)) -* **Go:** Add Go to supported languages in the readme ([#780](https://github.com/aws/aws-encryption-sdk-dafny/issues/780)) ([3d920b9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3d920b96fc7352d2dfff3289555027d961141191)) -* **go:** cleanup files generated by examples ([#806](https://github.com/aws/aws-encryption-sdk-dafny/issues/806)) ([9f51159](https://github.com/aws/aws-encryption-sdk-dafny/commit/9f511598307b458d4c560d3642cf8d789a99d4e3)) -* **go:** Release encryption-sdk Go module 0.3.0 ([#838](https://github.com/aws/aws-encryption-sdk-dafny/issues/838)) ([5b322b4](https://github.com/aws/aws-encryption-sdk-dafny/commit/5b322b4a997a97c6971d1aae72869e867a375653)) -* **go:** update go test matrix and clean up setup ([#788](https://github.com/aws/aws-encryption-sdk-dafny/issues/788)) ([f39702b](https://github.com/aws/aws-encryption-sdk-dafny/commit/f39702b2d709492dd91fbbbf5984bd039b2b6578)) -* improve performance ([#764](https://github.com/aws/aws-encryption-sdk-dafny/issues/764)) ([79e1306](https://github.com/aws/aws-encryption-sdk-dafny/commit/79e1306184e9aee5394c1280dd01a2191210abbe)) -* install polymorph deps in github workflows ([#783](https://github.com/aws/aws-encryption-sdk-dafny/issues/783)) ([e284b64](https://github.com/aws/aws-encryption-sdk-dafny/commit/e284b6419fd4b3e39bb2750e95bd76de1dd35dd6)) -* let interop testing launch N tasks instead of N^2 ([#789](https://github.com/aws/aws-encryption-sdk-dafny/issues/789)) ([f5f8718](https://github.com/aws/aws-encryption-sdk-dafny/commit/f5f87181955e12835382b5108a37f9cb5fffe6f0)) -* merge Golang/dev branch with mainline ([#704](https://github.com/aws/aws-encryption-sdk-dafny/issues/704)) ([6db9ace](https://github.com/aws/aws-encryption-sdk-dafny/commit/6db9ace81db1046b2fec4dc211ac2920b6e2cba6)) -* **mpl;Rust:** bump mpl to include rust input validation, aes-192 tests ([#722](https://github.com/aws/aws-encryption-sdk-dafny/issues/722)) ([bea3f29](https://github.com/aws/aws-encryption-sdk-dafny/commit/bea3f29a1ef04b80397857636f7df0c360bbdb2b)) -* **MPL:** bump MPL to 1.5.1 ([#667](https://github.com/aws/aws-encryption-sdk-dafny/issues/667)) ([7958020](https://github.com/aws/aws-encryption-sdk-dafny/commit/79580208fc3cccdf29bfd3cfa16ee3305bc32c59)) -* **README:** update README; add copyright string ([#708](https://github.com/aws/aws-encryption-sdk-dafny/issues/708)) ([c133d77](https://github.com/aws/aws-encryption-sdk-dafny/commit/c133d770eebf6e605b2933c47f09e10ca30d4eee)) -* Reduce resource usage of assertion in ReadFramedMessageBody ([#665](https://github.com/aws/aws-encryption-sdk-dafny/issues/665)) ([c49af85](https://github.com/aws/aws-encryption-sdk-dafny/commit/c49af85544d53e072b8ae8cf1a8375a19175ad06)) -* regen code for 4.8.0 and bump mpl ([#681](https://github.com/aws/aws-encryption-sdk-dafny/issues/681)) ([68e75fb](https://github.com/aws/aws-encryption-sdk-dafny/commit/68e75fb10084cf94dc8ccbedf7a98a3c6569dd3f)) -* release aws-esdk v1.2.3 ([#866](https://github.com/aws/aws-encryption-sdk-dafny/issues/866)) ([6fb96aa](https://github.com/aws/aws-encryption-sdk-dafny/commit/6fb96aa34a7fcf06ba9827d979ac28e333b34ae6)) -* Release of 1.0.0 for Rust ([#751](https://github.com/aws/aws-encryption-sdk-dafny/issues/751)) ([7e492d7](https://github.com/aws/aws-encryption-sdk-dafny/commit/7e492d7d6e2ff2f603d3b7ae028b034849c39cb9)) -* **release:** Update RELEASE.md ([#865](https://github.com/aws/aws-encryption-sdk-dafny/issues/865)) ([025f999](https://github.com/aws/aws-encryption-sdk-dafny/commit/025f9992f83bbd815eb3e1b02fe3fedba63e3c40)) -* remove aws sdk core dep ([#822](https://github.com/aws/aws-encryption-sdk-dafny/issues/822)) ([54d3685](https://github.com/aws/aws-encryption-sdk-dafny/commit/54d36853be5574c911811e9b927f36d9b461e0d7)) -* Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([8eeb14d](https://github.com/aws/aws-encryption-sdk-dafny/commit/8eeb14db7b418fb0dbefdfca243661d04a23cb52)) -* Rename AtomicPrimitives Dafny module name ([#673](https://github.com/aws/aws-encryption-sdk-dafny/issues/673)) ([e042e92](https://github.com/aws/aws-encryption-sdk-dafny/commit/e042e92e546c329c59356c833ffbbe44132cc94b)) -* rename EncryptionSdk Dafny module name ([#707](https://github.com/aws/aws-encryption-sdk-dafny/issues/707)) ([689624d](https://github.com/aws/aws-encryption-sdk-dafny/commit/689624d64671ba12456de0fa522018b81d6cf90e)) -* **rust-release:** add Rust release directory ([#709](https://github.com/aws/aws-encryption-sdk-dafny/issues/709)) ([7acf387](https://github.com/aws/aws-encryption-sdk-dafny/commit/7acf387c3736444e9658a1e1b5c65612f9f48aa6)) -* **rust:** add fips feature ([#805](https://github.com/aws/aws-encryption-sdk-dafny/issues/805)) ([d7d8bf1](https://github.com/aws/aws-encryption-sdk-dafny/commit/d7d8bf1366a3bac139de07b806538587dc6f7dbf)) -* **rust:** add more memory usage statistics to benchmarks ([#819](https://github.com/aws/aws-encryption-sdk-dafny/issues/819)) ([c0f9dc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/c0f9dc91d2480d28b3ca144b4d0939262adc6114)) -* **rust:** better blocking ([#852](https://github.com/aws/aws-encryption-sdk-dafny/issues/852)) ([8133da8](https://github.com/aws/aws-encryption-sdk-dafny/commit/8133da80a7cc8eaeaef14f72f01b4a53a74758c3)) -* **rust:** bump mpl to fix warnings ([#823](https://github.com/aws/aws-encryption-sdk-dafny/issues/823)) ([e971002](https://github.com/aws/aws-encryption-sdk-dafny/commit/e9710029b2be2c8f27c4c35d39a1303adf30b2a2)) -* **rust:** clean-up lib.rs ([#725](https://github.com/aws/aws-encryption-sdk-dafny/issues/725)) ([d03ab27](https://github.com/aws/aws-encryption-sdk-dafny/commit/d03ab279b8006f5f9056fc1519936ad695e10a4a)) -* **rust:** prepare 1.1.1 release ([#784](https://github.com/aws/aws-encryption-sdk-dafny/issues/784)) ([3aeddc9](https://github.com/aws/aws-encryption-sdk-dafny/commit/3aeddc990237e7239ba9ee38f8102bfdd162dfbb)) -* **rust:** prepare release of 1.2.0 ([#807](https://github.com/aws/aws-encryption-sdk-dafny/issues/807)) ([678ca04](https://github.com/aws/aws-encryption-sdk-dafny/commit/678ca043e420c5ac77ae06811bc3605f501bca1a)) -* **rust:** prepare rust 1.1.0 release ([#782](https://github.com/aws/aws-encryption-sdk-dafny/issues/782)) ([b321a46](https://github.com/aws/aws-encryption-sdk-dafny/commit/b321a46a5ecf355445ca06c57c81f9db057fc8f6)) -* **rust:** release 0.2.0 ([#726](https://github.com/aws/aws-encryption-sdk-dafny/issues/726)) ([a5282af](https://github.com/aws/aws-encryption-sdk-dafny/commit/a5282af7090ca43440b3976ddb4c9411d4c143c4)) -* **rust:** release 1.2.1 ([#844](https://github.com/aws/aws-encryption-sdk-dafny/issues/844)) ([57ba773](https://github.com/aws/aws-encryption-sdk-dafny/commit/57ba773072e95d5d3e3c77d577dea7bb991df8fc)) -* **rust:** release 1.2.2 ([#854](https://github.com/aws/aws-encryption-sdk-dafny/issues/854)) ([c630cc1](https://github.com/aws/aws-encryption-sdk-dafny/commit/c630cc19d0767f47479d67af1134681ce46da0ab)) -* **rust:** update smithy-dafny and use small-int feature ([#777](https://github.com/aws/aws-encryption-sdk-dafny/issues/777)) ([2ea5e47](https://github.com/aws/aws-encryption-sdk-dafny/commit/2ea5e47a78e0254acfe9fa83da2a54d82b9bc23d)) -* **rust:** use Dafny 4.10.0 for Rust codegen ([#824](https://github.com/aws/aws-encryption-sdk-dafny/issues/824)) ([d70d88c](https://github.com/aws/aws-encryption-sdk-dafny/commit/d70d88cea45a88fa415d811ab9ea578ad7b02ac1)) -* **test vectors:** Add interop test in Go with CI ([#731](https://github.com/aws/aws-encryption-sdk-dafny/issues/731)) ([d04ddc0](https://github.com/aws/aws-encryption-sdk-dafny/commit/d04ddc02ca13ec31b3ae094e62b8850cb661f1b6)) -* **test-vectors:** Decrypt .NET Retry flag manifests using Rust ([#721](https://github.com/aws/aws-encryption-sdk-dafny/issues/721)) ([3117b0c](https://github.com/aws/aws-encryption-sdk-dafny/commit/3117b0cb97fcc2636be1c74b651d402fb2adad6c)) -* **TestVectors:** add DefaultCmm Tests ([#698](https://github.com/aws/aws-encryption-sdk-dafny/issues/698)) ([a287d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/a287d45c25688dfc07b3b94587bc1f0f152b810e)) -* Try to update existing issues ([#661](https://github.com/aws/aws-encryption-sdk-dafny/issues/661)) ([70c0d14](https://github.com/aws/aws-encryption-sdk-dafny/commit/70c0d148307420b2f23f24c8c0373133a530ef17)), closes [#660](https://github.com/aws/aws-encryption-sdk-dafny/issues/660) -* update GitHub Actions to latest major versions ([#868](https://github.com/aws/aws-encryption-sdk-dafny/issues/868)) ([8b50d20](https://github.com/aws/aws-encryption-sdk-dafny/commit/8b50d20a43d9a46e3f40a2d0fb79333d4692ae26)) -* update mpl ([95fe4e9](https://github.com/aws/aws-encryption-sdk-dafny/commit/95fe4e9c58641b9968584db3a482ea561e0b7333)) -* update mpl ([#821](https://github.com/aws/aws-encryption-sdk-dafny/issues/821)) ([1e4d0d0](https://github.com/aws/aws-encryption-sdk-dafny/commit/1e4d0d03206fa29e028a0a21cbc175490b05a6cd)) -* update mpl submodule name gha ([#675](https://github.com/aws/aws-encryption-sdk-dafny/issues/675)) ([959d22e](https://github.com/aws/aws-encryption-sdk-dafny/commit/959d22e46fad266f69bca7f9c59fddb7d9ada7b0)) -* Update SUPPORT_POLICY.rst ([#802](https://github.com/aws/aws-encryption-sdk-dafny/issues/802)) ([bcf4220](https://github.com/aws/aws-encryption-sdk-dafny/commit/bcf4220c686d460a2a03e0137d20b7db6219ca44)) -* update to async-friendly Rust ([#749](https://github.com/aws/aws-encryption-sdk-dafny/issues/749)) ([fad048c](https://github.com/aws/aws-encryption-sdk-dafny/commit/fad048c47a3e331263842a0fa5d19a5e3d785f08)) -* update to MPL 1.4 ([8725990](https://github.com/aws/aws-encryption-sdk-dafny/commit/87259906742bc7cd339a5380b2e884a30e953aea)) -* upload performance benchmarks to cloudwatch ([#846](https://github.com/aws/aws-encryption-sdk-dafny/issues/846)) ([3c36d45](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c36d4595b2f1bc444d9af09e8f31fb389cd1b3b)) -* use correct dirs in gha ([#677](https://github.com/aws/aws-encryption-sdk-dafny/issues/677)) ([25c3625](https://github.com/aws/aws-encryption-sdk-dafny/commit/25c36259253db6a79682587c582ea4761209b21e)) -* use macos-14 for CI ([#828](https://github.com/aws/aws-encryption-sdk-dafny/issues/828)) ([bf43328](https://github.com/aws/aws-encryption-sdk-dafny/commit/bf43328196562759154faabe755a850c4a97853b)) From aef16a7223cac99c924b30a1ea77438fb873406f Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 23 Mar 2026 11:45:40 -0700 Subject: [PATCH 3/7] m --- AwsEncryptionSDK/runtimes/net/ESDK.csproj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AwsEncryptionSDK/runtimes/net/ESDK.csproj b/AwsEncryptionSDK/runtimes/net/ESDK.csproj index 02c8d09f1..a92c86286 100644 --- a/AwsEncryptionSDK/runtimes/net/ESDK.csproj +++ b/AwsEncryptionSDK/runtimes/net/ESDK.csproj @@ -32,7 +32,7 @@ - + - - + - +