From 363a2fbca2ad45d37c4ecc3e532b2812f4328c52 Mon Sep 17 00:00:00 2001 From: Archit Aggarwal Date: Thu, 25 Feb 2021 13:56:58 -0800 Subject: [PATCH] Update CHANGELOG and file versioning for upcoming release (#153) --- CHANGELOG.md | 5 +++++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- source/core_mqtt.c | 2 +- source/core_mqtt_serializer.c | 2 +- source/core_mqtt_state.c | 2 +- source/include/core_mqtt.h | 6 +++--- source/include/core_mqtt_config_defaults.h | 2 +- source/include/core_mqtt_serializer.h | 2 +- source/include/core_mqtt_state.h | 2 +- source/interface/transport_interface.h | 2 +- test/cbmc/include/core_mqtt_config.h | 2 +- test/cbmc/include/event_callback_stub.h | 2 +- test/cbmc/include/get_time_stub.h | 2 +- test/cbmc/include/mqtt_cbmc_state.h | 2 +- test/cbmc/include/network_interface_stubs.h | 2 +- test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c | 2 +- .../MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c | 2 +- .../MQTT_DeserializePublish_harness.c | 2 +- test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c | 2 +- .../MQTT_GetIncomingPacketTypeAndLength_harness.c | 2 +- .../cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c | 2 +- .../MQTT_GetSubAckStatusCodes_harness.c | 2 +- test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c | 2 +- test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c | 2 +- test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c | 2 +- .../cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c | 2 +- test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c | 2 +- .../cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c | 2 +- .../proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c | 2 +- .../MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c | 2 +- .../MQTT_SerializeDisconnect_harness.c | 2 +- .../MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c | 2 +- .../MQTT_SerializePublish/MQTT_SerializePublish_harness.c | 2 +- .../MQTT_SerializePublishHeader_harness.c | 2 +- .../MQTT_SerializeSubscribe_harness.c | 2 +- .../MQTT_SerializeUnsubscribe_harness.c | 2 +- test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c | 2 +- .../cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c | 2 +- test/cbmc/sources/mqtt_cbmc_state.c | 2 +- test/cbmc/stubs/event_callback_stub.c | 2 +- test/cbmc/stubs/get_time_stub.c | 2 +- test/cbmc/stubs/memcpy.c | 2 +- test/cbmc/stubs/network_interface_stubs.c | 2 +- test/unit-test/core_mqtt_config.h | 2 +- test/unit-test/core_mqtt_serializer_utest.c | 2 +- test/unit-test/core_mqtt_state_utest.c | 2 +- test/unit-test/core_mqtt_utest.c | 2 +- test/unit-test/logging/logging_levels.h | 2 +- test/unit-test/logging/logging_stack.h | 2 +- 50 files changed, 56 insertions(+), 51 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cacc75a25..6496c1d49 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,10 @@ # Changelog for coreMQTT Client Library +## v1.1.1 (February 2021) + +### Changes + - [#142](https://github.com/FreeRTOS/coreMQTT/pull/142), [#143](https://github.com/FreeRTOS/coreMQTT/pull/143), and [#150](https://github.com/FreeRTOS/coreMQTT/pull/150) Documentation fixes. + ## v1.1.0 (December 2020) ### Updates diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index a43b32c00..66fc6c618 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "coreMQTT" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = "v1.1.0" +PROJECT_NUMBER = "v1.1.1" # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/manifest.yml b/manifest.yml index 17d673ddd..d827f6981 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "coreMQTT" -version: "v1.1.0" +version: "v1.1.1" description: | "Client implementation of the MQTT 3.1.1 specification for embedded devices.\n" license: "MIT" diff --git a/source/core_mqtt.c b/source/core_mqtt.c index 897ece334..f1161dc98 100644 --- a/source/core_mqtt.c +++ b/source/core_mqtt.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/core_mqtt_serializer.c b/source/core_mqtt_serializer.c index 9bd870e89..66b74dd0c 100644 --- a/source/core_mqtt_serializer.c +++ b/source/core_mqtt_serializer.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/core_mqtt_state.c b/source/core_mqtt_state.c index 19af5a7bb..cc6b34342 100644 --- a/source/core_mqtt_state.c +++ b/source/core_mqtt_state.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt.h b/source/include/core_mqtt.h index 86bf9e053..bd97bbcdc 100644 --- a/source/include/core_mqtt.h +++ b/source/include/core_mqtt.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of @@ -49,7 +49,7 @@ * @cond DOXYGEN_IGNORE * The current version of this library. */ -#define MQTT_LIBRARY_VERSION "v1.1.0" +#define MQTT_LIBRARY_VERSION "v1.1.1" /** @endcond */ /** @@ -138,7 +138,7 @@ typedef enum MQTTPubAckType */ typedef enum MQTTSubAckStatus { - MQTTSubAckSuccessQos0 = 0x00, /**< @brief Success with a maximum delivery at QoS 0 . */ + MQTTSubAckSuccessQos0 = 0x00, /**< @brief Success with a maximum delivery at QoS 0. */ MQTTSubAckSuccessQos1 = 0x01, /**< @brief Success with a maximum delivery at QoS 1. */ MQTTSubAckSuccessQos2 = 0x02, /**< @brief Success with a maximum delivery at QoS 2. */ MQTTSubAckFailure = 0x80 /**< @brief Failure. */ diff --git a/source/include/core_mqtt_config_defaults.h b/source/include/core_mqtt_config_defaults.h index 6ec93d973..77896c59f 100644 --- a/source/include/core_mqtt_config_defaults.h +++ b/source/include/core_mqtt_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_serializer.h b/source/include/core_mqtt_serializer.h index cc38422e1..cca178724 100644 --- a/source/include/core_mqtt_serializer.h +++ b/source/include/core_mqtt_serializer.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_state.h b/source/include/core_mqtt_state.h index d2581e546..1bc7fde60 100644 --- a/source/include/core_mqtt_state.h +++ b/source/include/core_mqtt_state.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/interface/transport_interface.h b/source/interface/transport_interface.h index cc94691a6..9b3b23868 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/core_mqtt_config.h b/test/cbmc/include/core_mqtt_config.h index 66fbb40bc..dfe668f57 100644 --- a/test/cbmc/include/core_mqtt_config.h +++ b/test/cbmc/include/core_mqtt_config.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/event_callback_stub.h b/test/cbmc/include/event_callback_stub.h index b793988a3..7aa874add 100644 --- a/test/cbmc/include/event_callback_stub.h +++ b/test/cbmc/include/event_callback_stub.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/get_time_stub.h b/test/cbmc/include/get_time_stub.h index a99f212d2..c1692bdbf 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/mqtt_cbmc_state.h b/test/cbmc/include/mqtt_cbmc_state.h index bcfe95ae0..c65fcc7c5 100644 --- a/test/cbmc/include/mqtt_cbmc_state.h +++ b/test/cbmc/include/mqtt_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/network_interface_stubs.h b/test/cbmc/include/network_interface_stubs.h index 4d02c0ce3..01776a283 100644 --- a/test/cbmc/include/network_interface_stubs.h +++ b/test/cbmc/include/network_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c b/test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c index 91d85b7e2..f0c6a1079 100644 --- a/test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c +++ b/test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c b/test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c index 008af47c0..157c2b78e 100644 --- a/test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c +++ b/test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c b/test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c index d0607a4c9..29a71fe1d 100644 --- a/test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c +++ b/test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c b/test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c index 15910752d..f1ab24386 100644 --- a/test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c +++ b/test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c b/test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c index b5cf1b3f2..868b4d457 100644 --- a/test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c +++ b/test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c b/test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c index 712d28c71..6cdcfe013 100644 --- a/test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c +++ b/test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c b/test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c index 79c57c882..1c48a3f81 100644 --- a/test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c +++ b/test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c b/test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c index c0cb476ab..53bcbbbe8 100644 --- a/test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c +++ b/test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c b/test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c index 350a9b57d..2f9629e4e 100644 --- a/test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c +++ b/test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c b/test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c index fcb093035..4149162a4 100644 --- a/test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c +++ b/test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c b/test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c index f106d5a15..55d715e20 100644 --- a/test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c +++ b/test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c b/test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c index eaf78d87c..d96dd3d8c 100644 --- a/test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c +++ b/test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c b/test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c index 0cee886fc..625c86bf3 100644 --- a/test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c +++ b/test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c b/test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c index da8a3aae5..588fed13d 100644 --- a/test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c +++ b/test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c b/test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c index 69975ba7b..2090074a7 100644 --- a/test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c +++ b/test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c b/test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c index b09b7890a..bab6f3420 100644 --- a/test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c +++ b/test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c b/test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c index 227d38a4b..db525946f 100644 --- a/test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c +++ b/test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c b/test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c index b404497f8..632116cd8 100644 --- a/test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c +++ b/test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c b/test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c index e88a535bb..cf8470528 100644 --- a/test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c +++ b/test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c b/test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c index 7f48a63c9..9913278b8 100644 --- a/test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c +++ b/test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c b/test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c index b858a6ee1..ef4f7476c 100644 --- a/test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c +++ b/test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c b/test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c index a4befd6ea..990fc72f7 100644 --- a/test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c +++ b/test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c b/test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c index 0d59c3ce8..82d2f6b9b 100644 --- a/test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c +++ b/test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/mqtt_cbmc_state.c b/test/cbmc/sources/mqtt_cbmc_state.c index 6b896805b..d4dfc044f 100644 --- a/test/cbmc/sources/mqtt_cbmc_state.c +++ b/test/cbmc/sources/mqtt_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/event_callback_stub.c b/test/cbmc/stubs/event_callback_stub.c index 9af922e7f..e1a7e38e4 100644 --- a/test/cbmc/stubs/event_callback_stub.c +++ b/test/cbmc/stubs/event_callback_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index 4d6b2b024..8128cef3e 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/memcpy.c b/test/cbmc/stubs/memcpy.c index f48468dcc..7c07937ab 100644 --- a/test/cbmc/stubs/memcpy.c +++ b/test/cbmc/stubs/memcpy.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/network_interface_stubs.c b/test/cbmc/stubs/network_interface_stubs.c index 53a46c978..652d8e864 100644 --- a/test/cbmc/stubs/network_interface_stubs.c +++ b/test/cbmc/stubs/network_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_mqtt_config.h b/test/unit-test/core_mqtt_config.h index 9e7dfaebc..d6fc2d868 100644 --- a/test/unit-test/core_mqtt_config.h +++ b/test/unit-test/core_mqtt_config.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_mqtt_serializer_utest.c b/test/unit-test/core_mqtt_serializer_utest.c index 35580c970..ddef3c5d9 100644 --- a/test/unit-test/core_mqtt_serializer_utest.c +++ b/test/unit-test/core_mqtt_serializer_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_mqtt_state_utest.c b/test/unit-test/core_mqtt_state_utest.c index 209fea777..8a8779f90 100644 --- a/test/unit-test/core_mqtt_state_utest.c +++ b/test/unit-test/core_mqtt_state_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/core_mqtt_utest.c b/test/unit-test/core_mqtt_utest.c index 413f3350e..b3d192549 100644 --- a/test/unit-test/core_mqtt_utest.c +++ b/test/unit-test/core_mqtt_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/logging/logging_levels.h b/test/unit-test/logging/logging_levels.h index ba175608c..8ca7114ee 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/logging/logging_stack.h b/test/unit-test/logging/logging_stack.h index 375e2d312..a36c861f6 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * coreMQTT v1.1.0 + * coreMQTT v1.1.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of