2.4.0 -- 2023-04-04

• feat: Add support for AWS-LC build in ESDK (#750)
• fix(default_cmm): track unset default alg separately (#687)
• fix: out-of-bounds constant in default_cmm.c (#752)
• docs(SupportPolicy): Mark 1.x End-of-Support (#756)
• fix: initialize buffer in cipher_openssl.c (#751)
• docs: Add missing library to compilation example (#697)
• docs(examples): adjust discovery example wording (#738)
• docs: Use recommended RSA padding mode (#522)
• feat(examples): add DiscoveryFilter example (#737)

Maintenance

• feat: Add CBMC proof-running GitHub Action (#763)
• fix: return type of aws_default_allocator stub in CBMC proofs (#760)
• feat: use latest aws-cpp-sdk (#761)
• fix: kms delay (#758)
• chore: Update CBMC starter kit (#753)
• ci(CodeBuild): run ubuntu latest in series (#747)
• chore: bump openssl (#746)
• chore: Update submodules (#725)
• chore: Remove CBMC CI configuration (#741)
• chore: Bump Litani version to 1.16.0 (#740)
• chore: Upgrade CBMC templates submodule (#739)
• chore: Add CODEOWNERS file (#733)