Embedded_SDK/MCUXpresso_LPC55S69

Yilin Sun 3969019d6a

Updated SDK v2.13.0

Signed-off-by: Yilin Sun <imi415@imi.moe>

2023-01-26 10:53:53 +08:00

3.3 KiB

Raw Permalink Blame History

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

#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.