Changelog for AWS IoT Device Shadow library

v1.1.0 (March 2021)

Updates

#56, #56 and #73 Add support for named shadow, a feature of the AWS IoT Device Shadow service that allows you to create multiple shadows for a single IoT device.

Other

#74 Add CBMC proof for Shadow_MatchTopic API.

v1.0.2 (December 2020)

Updates

#60 Cast logging arguments to C types matching the format specifier.

Other

#51 Formatting update.
#57 Fix a broken link.
#54, #62 Github actions update.
#58, #61 Github repo chores
#53 CBMC automation update.

v1.0.1 (November 2020)

Updates

#41 Resolve build warning from visual studio due to terminator character.
#35 Configure submodules to not be cloned by default.

Other

#19, #27, #29, #32,#34, #43,#44 Minor documentation updates.

v1.0.0 (September 2020)

This is the first release of the Device Shadow library in this repository.