Skip to content

Latest commit

 

History

History
54 lines (36 loc) · 3.27 KB

File metadata and controls

54 lines (36 loc) · 3.27 KB

Changelog for AWS IoT Device Shadow library

v1.3.0 (October 2022)

Other

  • #102 MISRA C:2012 compliance update
  • #101 Update CBMC starter kit
  • #98 Loop invariant update

v1.2.0 (November 2021)

Other

  • #93 Rename master references to main.
  • #94 Updated CBMC proof.

v1.1.1 (July 2021)

Other

  • #85 Fix CBMC proof for Shadow_AssembleTopicString API.
  • #88 Update broken MISRA link

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

v1.0.0 (September 2020)

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