CHANGELOG.md

Changelog for AWS IoT Device Defender Library

v1.4.1 (March 2026)

Other

• #91 Remove formatting bot workflow
• #90 Update coverity links
• #89 Fix broken link
• #88 Bump actions/download-artifact from 2 to 4.1.7
• #87 Adjust proof tooling to support CBMC v6
• #86 Update LTS 202406 information
• #83 Update manifest and ut cmake

v1.4.0 (May 2024)

Updates

• #80 Fix MISRA violation

v1.3.0 (October 2022)

Updates

• #60 MISRA Compliance Update
• #59 Update CBMC starter kit
• #56 Loop invariant update

v1.2.0 (November 2021)

Updates

• #50 Update doxygen version for documentation

v1.1.1 (July 2021)

Updates

• #45 Remove parentheses from key name macros to enable concatenating them with other string literals.

v1.1.0 (March 2021)

Updates

• #36 Add macros to API for custom metrics feature of AWS IoT Device Defender service.

v1.0.1 (December 2020)

Updates

• #28 Cast logging arguments to C types matching the format specifiers.

Other

• #23 Formatting update.
• #25, #30 Github actions updates.
• #26, #29 Github repository chores.

v1.0.0 (November 2020)

This is the first release of the AWS IoT Device Defender Client Library in this repository.