Updated version to v1.2.0 and updated CHANGELOG (#96)

tianmc1 · web-flow · commit 92327cd715dd · 2021-11-10T18:23:08.000-08:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog for AWS IoT Device Shadow library
 
+## v1.2.0 (November 2021)
+
+### Other
+ - [#93](https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/pull/93) Rename master references to main.
+ - [#94](https://github.com/aws/Device-Shadow-for-AWS-IoT-embedded-sdk/pull/94) Updated CBMC proof.
+
 ## v1.1.1 (July 2021)
 
 ### Other
diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME           = "AWS IoT Device Shadow"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v1.1.1
+PROJECT_NUMBER         = v1.2.0
 
 # 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
@@ -1,5 +1,5 @@
 name : "Device-Shadow-for-AWS-IoT-embedded-sdk"
-version: "v1.1.1"
+version: "v1.2.0"
 description: |
   "Client library for using the AWS IoT Device Shadow service on embedded devices.\n"
 license: "MIT"
diff --git a/source/include/shadow.h b/source/include/shadow.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.1
+ * AWS IoT Device Shadow v1.2.0
  * Copyright (C) 2021 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/shadow_config_defaults.h b/source/include/shadow_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.1
+ * AWS IoT Device Shadow v1.2.0
  * Copyright (C) 2021 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/shadow.c b/source/shadow.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * 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/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c b/test/cbmc/proofs/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * 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/Shadow_MatchTopic/Shadow_MatchTopic_harness.c b/test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * Copyright (C) 2021 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/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c b/test/cbmc/proofs/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * 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/include/shadow_config.h b/test/include/shadow_config.h
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * 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/shadow_utest.c b/test/unit-test/shadow_utest.c
@@ -1,5 +1,5 @@
 /*
- * AWS IoT Device Shadow v1.1.0
+ * AWS IoT Device Shadow v1.2.0
  * 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

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`/*`
`2`		`- * AWS IoT Device Shadow v1.1.1`
	`2`	`+ * AWS IoT Device Shadow v1.2.0`
`3`	`3`	`* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.`
`4`	`4`	`*`
`5`	`5`	`* Permission is hereby granted, free of charge, to any person obtaining a copy of`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`/*`
`2`		`- * AWS IoT Device Shadow v1.1.0`
	`2`	`+ * AWS IoT Device Shadow v1.2.0`
`3`	`3`	`* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.`
`4`	`4`	`*`
`5`	`5`	`* Permission is hereby granted, free of charge, to any person obtaining a copy of`