Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package aws-c-common for openSUSE:Factory checked in at 2026-09-22 15:52:38 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/aws-c-common (Old) and /work/SRC/openSUSE:Factory/.aws-c-common.new.383539 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "aws-c-common" Tue Sep 22 15:52:38 2026 rev:36 rq:1379588 version:1.0.0 Changes: -------- --- /work/SRC/openSUSE:Factory/aws-c-common/aws-c-common.changes 2026-08-14 22:06:39.778321683 +0200 +++ /work/SRC/openSUSE:Factory/.aws-c-common.new.383539/aws-c-common.changes 2026-09-22 15:53:23.194650627 +0200 @@ -1,0 +2,10 @@ +Thu Sep 17 14:19:25 UTC 2026 - John Paul Adrian Glaubitz <[email protected]> + +- Update to 1.0.0 + * Clean up docs by @azkrishpy in (#1263) + * Suppress MSAN false positive by @sfod in (#1264) + * chore(release): add governance files by @azkrishpy in (#1267) +- Add Obsoletes for previous shared library version +- Prefer explicit path and filenames over wildcards in %files section + +------------------------------------------------------------------- Old: ---- v0.14.5.tar.gz New: ---- v1.0.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ aws-c-common.spec ++++++ --- /var/tmp/diff_new_pack.IDqYE4/_old 2026-09-22 15:53:24.267695088 +0200 +++ /var/tmp/diff_new_pack.IDqYE4/_new 2026-09-22 15:53:24.269695171 +0200 @@ -19,7 +19,7 @@ %define library_version %{version} %define library_soversion 1 Name: aws-c-common -Version: 0.14.5 +Version: 1.0.0 Release: 0 Summary: Core C99 package for AWS SDK for C License: Apache-2.0 @@ -36,11 +36,12 @@ Core C99 package for AWS SDK for C. It includes cross-platform primitives, configuration, data structures, and error handling. -%package -n lib%{name}%{library_soversion} +%package -n lib%{name}%{library_soversion}_0 Summary: Core C99 package for AWS SDK for C Group: System/Libraries +Obsoletes: lib%{name}1 < %{version} -%description -n lib%{name}%{library_soversion} +%description -n lib%{name}%{library_soversion}_0 Core C99 package for AWS SDK for C. It includes cross-platform primitives, configuration, data structures, and error handling. @@ -49,7 +50,7 @@ %package devel Summary: Development files for aws-c-common library Group: Development/Libraries/C and C++ -Requires: lib%{name}%{library_soversion} = %{version} +Requires: lib%{name}%{library_soversion}_0 = %{version} %description devel Core C99 package for AWS SDK for C. It includes cross-platform primitives, @@ -72,17 +73,21 @@ %check %ctest -%ldconfig_scriptlets -n lib%{name}%{library_soversion} +%ldconfig_scriptlets -n lib%{name}%{library_soversion}_0 -%files -n lib%{name}%{library_soversion} +%files -n lib%{name}%{library_soversion}_0 %doc NOTICE README.md %license LICENSE -%{_libdir}/*.so.%{library_soversion} -%{_libdir}/*.so.%{library_version} +%{_libdir}/lib%{name}.so.%{library_soversion}.0 +%{_libdir}/lib%{name}.so.%{library_version} %files devel %license LICENSE %{_libdir}/cmake/ -%{_libdir}/*.so -%{_includedir}/* +%{_libdir}/lib%{name}.so +%dir %{_includedir}/aws +%dir %{_includedir}/aws/common +%dir %{_includedir}/aws/testing +%{_includedir}/aws/common/* +%{_includedir}/aws/testing/* ++++++ v0.14.5.tar.gz -> v1.0.0.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/.changes/README.md new/aws-c-common-1.0.0/.changes/README.md --- old/aws-c-common-0.14.5/.changes/README.md 1970-01-01 01:00:00.000000000 +0100 +++ new/aws-c-common-1.0.0/.changes/README.md 2026-08-26 01:01:05.000000000 +0200 @@ -0,0 +1,52 @@ +# Changelog fragments + +Individual changes are recorded here as JSON fragments — one per PR. The +top-level [`CHANGELOG.md`](../CHANGELOG.md) is derived from these. + +## Directory layout + +``` +.changes/ +├── preview/ # in-flight fragments, one JSON per PR +├── latest/ # active minor line +│ └── <version>/ { *.json } # per-patch fragment dir (e.g. 0.30.0/, 0.30.1/) +├── <M>.<N>.x/ # frozen prior minor line +│ ├── <M>.<N>.0/ { *.json } +│ ├── <M>.<N>.1/ { *.json } +│ └── CHANGELOG.md # frozen snapshot for this minor line +└── … +``` + +## Fragment schema + +Each fragment is `.changes/preview/<PR-number>.json` while in flight, then +moves into `latest/<version>/` at release time. + +```json +{ + "pr": 1212, + "type": "feat", + "summary": "Add an API for compact (dash-free) UUID-to-string conversion.", + "url": "https://github.com/awslabs/aws-c-common/pull/1212";, + "notes": "" +} +``` + +| Field | Values | +|---|---| +| `pr` | PR number; also the filename | +| `type` | `feat` \| `fix` \| `doc` \| `chore` \| `revert` | +| `summary` | customer-facing one sentence | +| `url` | link to the PR | +| `notes` | optional extended notes | + +## Finding a change + +| You want | Look here | +|---|---| +| currently in-flight | `preview/*.json` on `main`, or the rendered view on the `docs` branch | +| in the current minor line (`X.Y.*`) | root [`CHANGELOG.md`](../CHANGELOG.md) | +| in a prior minor line (`A.B.*`) | `.changes/A.B.x/CHANGELOG.md` | +| exact set for a tag | GitHub Release page for that tag | + +> Note: filesystem lex sort places `0.10.x/` before `0.2.x/`. The rendered `CHANGELOG.md` files are semver-sorted, so only raw `ls .changes/` looks out of order. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/.github/workflows/check-abi.yml new/aws-c-common-1.0.0/.github/workflows/check-abi.yml --- old/aws-c-common-0.14.5/.github/workflows/check-abi.yml 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/.github/workflows/check-abi.yml 2026-08-26 01:01:05.000000000 +0200 @@ -1,11 +1,13 @@ name: Check ABI compliance +# Trigger on any push to non-main branches. on: - pull_request: - types: [opened, synchronize, reopened] + push: + branches-ignore: + - 'main' concurrency: - group: check-abi-${{ github.event.pull_request.number }} + group: check-abi-${{ github.ref }} cancel-in-progress: true env: diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/CHANGELOG.md new/aws-c-common-1.0.0/CHANGELOG.md --- old/aws-c-common-0.14.5/CHANGELOG.md 1970-01-01 01:00:00.000000000 +0100 +++ new/aws-c-common-1.0.0/CHANGELOG.md 2026-08-26 01:01:05.000000000 +0200 @@ -0,0 +1,5 @@ +# Changelog + +## [1.0.0] + +Official release of 1.0.0. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/CMakeLists.txt new/aws-c-common-1.0.0/CMakeLists.txt --- old/aws-c-common-0.14.5/CMakeLists.txt 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/CMakeLists.txt 2026-08-26 01:01:05.000000000 +0200 @@ -239,8 +239,7 @@ endif() set_target_properties(${PROJECT_NAME} PROPERTIES VERSION ${AWS_C_COMMON_VERSION}) -# TODO: switch to AWS_C_COMMON_SOVERSION once we reach 1.0.0 -set_target_properties(${PROJECT_NAME} PROPERTIES SOVERSION 1) +set_target_properties(${PROJECT_NAME} PROPERTIES SOVERSION ${AWS_C_COMMON_SOVERSION}) # libcbor files do includes like: #include "cbor/cbor_export.h" # To make these paths work, add the location we're storing them as a search path. @@ -324,6 +323,7 @@ "cmake/AwsFindPackage.cmake" "cmake/AwsFeatureTests.cmake" "cmake/AwsCRuntime.cmake" + "cmake/AwsGetVersion.cmake" ) install(FILES ${EXPORT_MODULES} diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/CODEOWNERS new/aws-c-common-1.0.0/CODEOWNERS --- old/aws-c-common-0.14.5/CODEOWNERS 1970-01-01 01:00:00.000000000 +0100 +++ new/aws-c-common-1.0.0/CODEOWNERS 2026-08-26 01:01:05.000000000 +0200 @@ -0,0 +1,5 @@ +# Code owners for aws-c-common. +# See https://docs.github.com/articles/about-code-owners +# +# Owned by the AWS Common Runtime (CRT) team. +* @awslabs/aws-sdk-common-runtime-team diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/CONTRIBUTING.md new/aws-c-common-1.0.0/CONTRIBUTING.md --- old/aws-c-common-0.14.5/CONTRIBUTING.md 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/CONTRIBUTING.md 2026-08-26 01:01:05.000000000 +0200 @@ -50,6 +50,13 @@ [email protected] with any additional questions or comments. +## Versioning + +This project follows a three-part `Major.Minor.Patch` version scheme. Before +contributing, please review [VERSIONING.md](VERSIONING.md) to understand how +changes map to version bumps and our API/ABI stability policy. + + ## Licensing See the [LICENSE](https://github.com/awslabs/aws-c-common/blob/main/LICENSE) file for our project's licensing. We will ask you confirm the licensing of your contribution. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/README.md new/aws-c-common-1.0.0/README.md --- old/aws-c-common-0.14.5/README.md 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/README.md 2026-08-26 01:01:05.000000000 +0200 @@ -5,6 +5,12 @@ Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling. +## Versioning + +This library uses a three-part `Major.Minor.Patch` version scheme. See +[VERSIONING.md](VERSIONING.md) for what each part means and our API/ABI +stability policy. + ## License This library is licensed under the Apache 2.0 License. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/VERSION new/aws-c-common-1.0.0/VERSION --- old/aws-c-common-0.14.5/VERSION 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/VERSION 2026-08-26 01:01:05.000000000 +0200 @@ -1 +1 @@ -0.14.5 +1.0.0 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/VERSIONING.md new/aws-c-common-1.0.0/VERSIONING.md --- old/aws-c-common-0.14.5/VERSIONING.md 1970-01-01 01:00:00.000000000 +0100 +++ new/aws-c-common-1.0.0/VERSIONING.md 2026-08-26 01:01:05.000000000 +0200 @@ -0,0 +1,31 @@ +# Versioning + +This library follows a three-part version scheme, `X.Y.Z` +(`Major.Minor.Patch`). + +## What each part means + +- **X — Major.** A significant change that is expected to break backwards + compatibility. Adopting a new major version may require effort on your part. +- **Y — Minor.** A moderate change, such as a significant non-breaking feature + addition. A minor bump may also include a backwards-incompatible ABI change; + when it does, this is noted and explained in the release notes. Minor updates + are low effort to adopt: consumers need to rebuild against the new headers, + but source code changes are typically not required. +- **Z — Patch.** A small change that does not break backwards compatibility. A + patch release may warn of an upcoming breaking change. Patch updates can be + picked up automatically. + +## Branch stability + +Untagged branches (for example, `main`) are **not** subject to any API or ABI +stability policy. Stability guarantees apply only to tagged releases. + +## What this means for you + +We recommend running the latest release. Use the version parts as a guide to how +much effort an upgrade requires: + +- **Major (X):** expect adoption effort; review the release notes. +- **Minor (Y):** low effort; rebuild against the new headers when the ABI changes. +- **Patch (Z):** pick up automatically. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/cmake/AwsCFlags.cmake new/aws-c-common-1.0.0/cmake/AwsCFlags.cmake --- old/aws-c-common-0.14.5/cmake/AwsCFlags.cmake 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/cmake/AwsCFlags.cmake 2026-08-26 01:01:05.000000000 +0200 @@ -81,7 +81,7 @@ list(APPEND AWS_C_FLAGS /DAWS_SUPPORT_WIN7=1) endif() - # Set MSVC runtime libary. + # Set MSVC runtime library. # Note: there are other ways of doing this if we bump our CMake minimum to 3.14+ # See: https://cmake.org/cmake/help/latest/policy/CMP0091.html if (AWS_STATIC_MSVC_RUNTIME_LIBRARY OR STATIC_CRT) @@ -257,7 +257,7 @@ # We do this so that backtraces are more likely to show function names. # We mostly use backtraces to diagnose memory leaks. if (NOT CMAKE_BUILD_TYPE STREQUAL "Debug") - # And dont hide symbols on anything pre GCC 5.0 (Visibility support was not great on older compilers and some libraries didnt annotate visibility - + # And don't hide symbols on anything pre GCC 5.0 (Visibility support was not great on older compilers and some libraries didn't annotate visibility - # looking at you jni, which does not annotate on gcc less than 4.2. Mixing no annotation and hidden symbols leads to unexpected failures.). if (NOT (CMAKE_C_COMPILER_ID STREQUAL "GNU" AND CMAKE_C_COMPILER_VERSION VERSION_LESS "5.0")) set_target_properties(${target} PROPERTIES C_VISIBILITY_PRESET hidden CXX_VISIBILITY_PRESET hidden VISIBILITY_INLINES_HIDDEN ON) diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/array_list.h new/aws-c-common-1.0.0/include/aws/common/array_list.h --- old/aws-c-common-0.14.5/include/aws/common/array_list.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/array_list.h 2026-08-26 01:01:05.000000000 +0200 @@ -212,7 +212,7 @@ int aws_array_list_ensure_capacity(struct aws_array_list *AWS_RESTRICT list, size_t index); /** - * Copies the the memory pointed to by val into the array at index. If in dynamic mode, the size will grow by a factor + * Copies the memory pointed to by val into the array at index. If in dynamic mode, the size will grow by a factor * of two when the array is full. In static mode, AWS_ERROR_INVALID_INDEX will be raised if the index is past the bounds * of the array. */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/atomics_msvc.inl new/aws-c-common-1.0.0/include/aws/common/atomics_msvc.inl --- old/aws-c-common-0.14.5/include/aws/common/atomics_msvc.inl 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/atomics_msvc.inl 2026-08-26 01:01:05.000000000 +0200 @@ -69,14 +69,14 @@ * This means more permissible memory ordering allowed between stores and loads. * * Thus ARM port will need more hardware fences/barriers to assure developer intent. - * Memory barriers will prevent reordering stores and loads accross them depending on their type + * Memory barriers will prevent reordering stores and loads across them depending on their type * (read write, write only, read only ...) * * For more information about ARM64 memory ordering, * see https://developer.arm.com/documentation/102336/0100/Memory-ordering * For more information about Memory barriers, * see https://developer.arm.com/documentation/102336/0100/Memory-barriers - * For more information about Miscosoft Interensic ARM64 APIs, + * For more information about Microsoft Intrinsic ARM64 APIs, * see https://learn.microsoft.com/en-us/cpp/intrinsics/arm64-intrinsics?view=msvc-170 * Note: wrt _Interlocked[Op]64 is the same for ARM64 and x64 processors */ @@ -96,7 +96,7 @@ # define AWS_R_BARRIER() __dmb(_ARM64_BARRIER_LD) /* Hardware Write barrier, prevents all memory operations to cross the barrier downwards */ # define AWS_W_BARRIER() __dmb(_ARM64_BARRIER_ST) -/* Software barrier, prevents the compiler from reodering the operations across the barrier */ +/* Software barrier, prevents the compiler from reordering the operations across the barrier */ # define AWS_SW_BARRIER() _ReadWriteBarrier(); #else /* hardware barriers, do nothing on x86 since it has a strong memory model diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/byte_buf.h new/aws-c-common-1.0.0/include/aws/common/byte_buf.h --- old/aws-c-common-0.14.5/include/aws/common/byte_buf.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/byte_buf.h 2026-08-26 01:01:05.000000000 +0200 @@ -500,7 +500,7 @@ /** * Attempts to increase the capacity of a buffer to the requested capacity * - * If the the buffer's capacity is currently larger than the request capacity, the + * If the buffer's capacity is currently larger than the request capacity, the * function does nothing (no shrink is performed). */ AWS_COMMON_API diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/cache.h new/aws-c-common-1.0.0/include/aws/common/cache.h --- old/aws-c-common-0.14.5/include/aws/common/cache.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/cache.h 2026-08-26 01:01:05.000000000 +0200 @@ -21,7 +21,7 @@ }; /** - * Base stucture for caches, used the linked hash table implementation. + * Base structure for caches, used the linked hash table implementation. */ struct aws_cache { struct aws_allocator *allocator; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/cbor.h new/aws-c-common-1.0.0/include/aws/common/cbor.h --- old/aws-c-common-0.14.5/include/aws/common/cbor.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/cbor.h 2026-08-26 01:01:05.000000000 +0200 @@ -82,7 +82,7 @@ const char *aws_cbor_type_cstr(enum aws_cbor_type type); /** - * @brief Create a new cbor encoder. Creating a encoder with a temporay buffer. + * @brief Create a new cbor encoder. Creating an encoder with a temporary buffer. * Every aws_cbor_encoder_write_* will encode directly into the buffer to follow the encoded data. * * @param allocator @@ -285,12 +285,12 @@ * - If the next element type only accept what expected, `aws_cbor_decoder_pop_next_*` * - If the next element type accept different type, invoke `aws_cbor_decoder_peek_type` first, then based on the type * to invoke corresponding `aws_cbor_decoder_pop_next_*` - * - If the next element type doesn't have corrsponding value, specifically: AWS_CBOR_TYPE_NULL, + * - If the next element type doesn't have corresponding value, specifically: AWS_CBOR_TYPE_NULL, * AWS_CBOR_TYPE_UNDEFINED, AWS_CBOR_TYPE_INF_*_START, AWS_CBOR_TYPE_BREAK, call * `aws_cbor_decoder_consume_next_single_element` to consume it and continues for further decoding. * - To ignore the next data item (the element and the content of it), `aws_cbor_decoder_consume_next_whole_data_item` * - * Note: it's caller's responsibilty to keep the src outlive the decoder. + * Note: it's caller's responsibility to keep the src alive to outlive the decoder. * * @param allocator * @param src The src data to decode from. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/hash_table.h new/aws-c-common-1.0.0/include/aws/common/hash_table.h --- old/aws-c-common-0.14.5/include/aws/common/hash_table.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/hash_table.h 2026-08-26 01:01:05.000000000 +0200 @@ -103,7 +103,7 @@ * keys, but note that the same type is used for a function that compares * two hash table values in aws_hash_table_eq. * - * Equality functions used in a hash table must be be reflexive (a == a), + * Equality functions used in a hash table must be reflexive (a == a), * symmetric (a == b => b == a), transitive (a == b, b == c => a == c) * and consistent (result does not change with time). */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/json.h new/aws-c-common-1.0.0/include/aws/common/json.h --- old/aws-c-common-0.14.5/include/aws/common/json.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/json.h 2026-08-26 01:01:05.000000000 +0200 @@ -184,7 +184,7 @@ /** * Returns the aws_json_value at the given key. * Note: same as aws_json_value_get_from_object but with key as const char *. - * Prefer this method is you have a key thats already a valid char * as it is likely to be faster. + * Prefer this method if you have a key that's already a valid char * as it is likely to be faster. * @param object The object aws_json_value you want to get the value from. * @param key The key that the aws_json_value is at. Is case sensitive. * @return The aws_json_value at the given key, otherwise NULL. @@ -205,7 +205,7 @@ /** * Checks if there is a aws_json_value at the given key. * Note: same as aws_json_value_has_key but with key as const char *. - * Prefer this method is you have a key thats already a valid char * as it is likely to be faster. + * Prefer this method if you have a key that's already a valid char * as it is likely to be faster. * @param object The value aws_json_value you want to check a key in. * @param key The key that you want to check. Is case sensitive. * @return True if a aws_json_value is found. @@ -228,7 +228,7 @@ /** * Removes the aws_json_value at the given key. * Note: same as aws_json_value_remove_from_object but with key as const char *. - * Prefer this method is you have a key thats already a valid char * as it is likely to be faster. + * Prefer this method if you have a key that's already a valid char * as it is likely to be faster. * @param object The object aws_json_value you want to remove a aws_json_value in. * @param key The key that the aws_json_value is at. Is case sensitive. * @return AWS_OP_SUCCESS if the aws_json_value was removed. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/macros.h new/aws-c-common-1.0.0/include/aws/common/macros.h --- old/aws-c-common-0.14.5/include/aws/common/macros.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/macros.h 2026-08-26 01:01:05.000000000 +0200 @@ -163,6 +163,15 @@ # define AWS_SUPPRESS_UBSAN #endif +#if defined(__has_feature) +# if __has_feature(memory_sanitizer) +# define AWS_SUPPRESS_MSAN __attribute__((no_sanitize("memory"))) +# endif +#endif +#if !defined(AWS_SUPPRESS_MSAN) +# define AWS_SUPPRESS_MSAN +#endif + /* If this is C++, restrict isn't supported. If this is not at least C99 on gcc and clang, it isn't supported. * If visual C++ building in C mode, the restrict definition is __restrict. * This just figures all of that out based on who's including this header file. */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/math.cbmc.inl new/aws-c-common-1.0.0/include/aws/common/math.cbmc.inl --- old/aws-c-common-0.14.5/include/aws/common/math.cbmc.inl 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/math.cbmc.inl 2026-08-26 01:01:05.000000000 +0200 @@ -14,7 +14,7 @@ AWS_EXTERN_C_BEGIN -/* This header does safe operations. Supressing the checks within these functions +/* This header does safe operations. Suppressing the checks within these functions * avoids unnecessary CBMC assertions */ #pragma CPROVER check push diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/priority_queue.h new/aws-c-common-1.0.0/include/aws/common/priority_queue.h --- old/aws-c-common-0.14.5/include/aws/common/priority_queue.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/priority_queue.h 2026-08-26 01:01:05.000000000 +0200 @@ -51,7 +51,7 @@ /** * Initializes a priority queue struct for use. This mode will grow memory automatically (exponential model) - * Default size is the inital size of the queue + * Default size is the initial size of the queue * item_size is the size of each element in bytes. Mixing items types is not supported by this API. * pred is the function that will be used to determine priority. */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/private/byte_buf.h new/aws-c-common-1.0.0/include/aws/common/private/byte_buf.h --- old/aws-c-common-0.14.5/include/aws/common/private/byte_buf.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/private/byte_buf.h 2026-08-26 01:01:05.000000000 +0200 @@ -18,7 +18,7 @@ /** * Expand the buffer appropriately to meet the requested capacity. * - * If the the buffer's capacity is currently larger than the request capacity, the + * If the buffer's capacity is currently larger than the request capacity, the * function does nothing (no shrink is performed). */ AWS_COMMON_API @@ -28,7 +28,7 @@ * Convenience function that attempts to increase the capacity of a buffer relative to the current * length appropriately. * - * If the the buffer's capacity is currently larger than the request capacity, the + * If the buffer's capacity is currently larger than the request capacity, the * function does nothing (no shrink is performed). */ AWS_COMMON_API diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/private/lookup3.inl new/aws-c-common-1.0.0/include/aws/common/private/lookup3.inl --- old/aws-c-common-0.14.5/include/aws/common/private/lookup3.inl 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/private/lookup3.inl 2026-08-26 01:01:05.000000000 +0200 @@ -25,7 +25,7 @@ the public domain. It has no warranty. You probably want to use hashlittle(). hashlittle() and hashbig() -hash byte arrays. hashlittle() is is faster than hashbig() on +hash byte arrays. hashlittle() is faster than hashbig() on little-endian machines. Intel and AMD are little-endian machines. On second thought, you probably want hashlittle2(), which is identical to hashlittle() except it returns two 32-bit hashes for the price of one. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/include/aws/common/string.h new/aws-c-common-1.0.0/include/aws/common/string.h --- old/aws-c-common-0.14.5/include/aws/common/string.h 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/include/aws/common/string.h 2026-08-26 01:01:05.000000000 +0200 @@ -23,7 +23,7 @@ * Use the aws_string_bytes function to access the data bytes. A null byte is * always included immediately after the data but not counted in the length, so * that the output of aws_string_bytes can be treated as a C-string in cases - * where none of the the data bytes are null. + * where none of the data bytes are null. * * Note that the fields of this structure are const; this ensures not only that * they cannot be modified, but also that you can't assign the structure using @@ -69,7 +69,7 @@ #ifdef AWS_OS_WINDOWS /** - * For windows only. Converts `to_convert` to a windows whcar format (UTF-16) for use with windows OS interop. + * For windows only. Converts `to_convert` to a windows wchar format (UTF-16) for use with windows OS interop. * * Note: `to_convert` is assumed to be UTF-8 or ASCII. * @@ -80,7 +80,7 @@ const struct aws_string *to_convert); /** - * For windows only. Converts `to_convert` to a windows whcar format (UTF-16) for use with windows OS interop. + * For windows only. Converts `to_convert` to a windows wchar format (UTF-16) for use with windows OS interop. * * Note: `to_convert` is assumed to be UTF-8 or ASCII. * @@ -97,7 +97,7 @@ void aws_wstring_destroy(struct aws_wstring *str); /** - * For windows only. Converts `to_convert` from a windows whcar format (UTF-16) to UTF-8. + * For windows only. Converts `to_convert` from a windows wchar format (UTF-16) to UTF-8. * * Note: `to_convert` is assumed to be wchar already. * @@ -108,7 +108,7 @@ const struct aws_wstring *to_convert); /** - * For windows only. Converts `to_convert` from a windows whcar format (UTF-16) to UTF-8. + * For windows only. Converts `to_convert` from a windows wchar format (UTF-16) to UTF-8. * * Note: `to_convert` is assumed to be wchar already. * @@ -119,7 +119,7 @@ const struct aws_byte_cursor *to_convert); /** - * For windows only. Converts `to_convert` from a windows whcar format (UTF-16) to UTF-8. + * For windows only. Converts `to_convert` from a windows wchar format (UTF-16) to UTF-8. * * Note: `to_convert` is assumed to be wchar already. * @@ -285,7 +285,7 @@ * argument that points to constant memory and has data bytes containing the * string literal in the second argument. * - * GCC allows direct initilization of structs with variable length final fields + * GCC allows direct initialization of structs with variable length final fields * However, this might not be portable, so we can do this instead * This will have to be updated whenever the aws_string structure changes */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/scripts/appverifier_xml.py new/aws-c-common-1.0.0/scripts/appverifier_xml.py --- old/aws-c-common-0.14.5/scripts/appverifier_xml.py 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/scripts/appverifier_xml.py 2026-08-26 01:01:05.000000000 +0200 @@ -49,7 +49,7 @@ "0x0B": "AppVerifier could not determine any particular type of corruption for the block. " "Generally means heap points to non-accessible memory area", "0x0C": "AppVerifier could not determine any particular type of corruption for the block. " - "Generally happens if during heap free operation you pass an address that poins to a non-accessible memory area. " + "Generally happens if during heap free operation you pass an address that points to a non-accessible memory area. " "Can also occur with double free situations", "0x0D": "Block of memory is written to after being freed", "0x0E": "Freed block marked as non-accessible had access attempt", @@ -76,7 +76,7 @@ "critical section has not been deleted", "0x202": "A heap allocation contains a critical section, the allocation is freed, and the critical section " "has not been deleted", - "0x203": "Typicaly means a critical section has been initialized more than once. May mean the critical section " + "0x203": "Typically means a critical section has been initialized more than once. May mean the critical section " "or its debug information structure has been corrupted", "0x204": "Memory containing a critical section was freed but the critical section has not been deleted using 'DeleteCriticalSection'", "0x205": "The DebugInfo field of the critical section is pointing to freed memory", @@ -92,8 +92,8 @@ "0x215": "The current thread tries to use a private lock that lives inside another DLL" }, "Memory": { - "0x600": "AppVerifier detects a VirtualFree or a DLL unload with an invalid start adress or size of the memory allocation", - "0x601": "AppVerifier detects a VirtualAlloc call with an invalid start adress or size of the memory allocation", + "0x600": "AppVerifier detects a VirtualFree or a DLL unload with an invalid start address or size of the memory allocation", + "0x601": "AppVerifier detects a VirtualAlloc call with an invalid start address or size of the memory allocation", "0x602": "AppVerifier detects a MapViewOfFile call with an invalid base address or size of the mapping", "0x603": "AppVerifier detects an IsBadXXXPtr call with an invalid address for the memory buffer to be probed", "0x604": "AppVerifier detects an IsBadXXXPtr call for a memory allocation that is free", @@ -107,7 +107,7 @@ "0x60C": "AppVerifier detects a VirtualFree with a non-zero value for the dwSize parameter", "0x60D": "A DLL's entry point function is raising an exception", "0x60E": "A thread function is raising an exception", - "0x60F": "An exception occured during an IsBadXXXPtr call", + "0x60F": "An exception occurred during an IsBadXXXPtr call", "0x610": "AppVerifier detects a VirtualFree call with a NULL first parameter", "0x612": "AppVerifier detects a HeapFree for a block of memory that is actually part of the current thread's stack", "0x613": "AppVerifier detects an UnmapViewOfFile for a block of memory that is actually part of the current thread's stack", @@ -120,13 +120,13 @@ "the VirtualAlloc or VirtualAllocEx function when the region of pages was reserved", "0x61A": "The program is calling UnmapViewOfFile with an IpBaseAddress parameter that is not identical to the value returned" "by a previous call to the MapViewOfFile or MapViewOfFileEx function", - "0x61B": "A callback function in the threadpool thread is rasing an exception", + "0x61B": "A callback function in the threadpool thread is raising an exception", "0x61C": "The application is trying to run code from an address that is non-executable or free", "0x61D": "The application is created an executable heap", "0x61E": "The application is allocating executable memory" }, "SRWLock": { - "0x250": "A thread tried to use SRW lock that is not initalized", + "0x250": "A thread tried to use SRW lock that is not initialized", "0x251": "The SRW lock is being re-initialized", "0x252": "The SRW lock is being released with a wrong release API", "0x253": "The SRW lock is being acquired recursively by the same thread", diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/allocator_sba.c new/aws-c-common-1.0.0/source/allocator_sba.c --- old/aws-c-common-0.14.5/source/allocator_sba.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/allocator_sba.c 2026-08-26 01:01:05.000000000 +0200 @@ -406,7 +406,7 @@ return aws_mem_acquire(sba->allocator, size); } -AWS_SUPPRESS_ASAN AWS_SUPPRESS_HWASAN AWS_SUPPRESS_TSAN static void s_sba_free( +AWS_SUPPRESS_ASAN AWS_SUPPRESS_HWASAN AWS_SUPPRESS_TSAN AWS_SUPPRESS_MSAN static void s_sba_free( struct small_block_allocator *sba, void *addr) { if (!addr) { diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/common.c new/aws-c-common-1.0.0/source/common.c --- old/aws-c-common-0.14.5/source/common.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/common.c 2026-08-26 01:01:05.000000000 +0200 @@ -121,7 +121,7 @@ "Invalid thread settings."), AWS_DEFINE_ERROR_INFO_COMMON( AWS_ERROR_THREAD_INSUFFICIENT_RESOURCE, - "Insufficent resources for thread."), + "Insufficient resources for thread."), AWS_DEFINE_ERROR_INFO_COMMON( AWS_ERROR_THREAD_NO_PERMISSIONS, "Insufficient permissions for thread operation."), diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/hash_table.c new/aws-c-common-1.0.0/source/hash_table.c --- old/aws-c-common-0.14.5/source/hash_table.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/hash_table.c 2026-08-26 01:01:05.000000000 +0200 @@ -34,7 +34,7 @@ /** * Calculate the hash for the given key. * Ensures a reasonable semantics for null keys. - * Ensures that no object ever hashes to 0, which is the sentinal value for an empty hash element. + * Ensures that no object ever hashes to 0, which is the sentinel value for an empty hash element. */ static uint64_t s_hash_for(struct hash_table_state *state, const void *key) { AWS_PRECONDITION(hash_table_state_is_valid(state)); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/json.c new/aws-c-common-1.0.0/source/json.c --- old/aws-c-common-0.14.5/source/json.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/json.c 2026-08-26 01:01:05.000000000 +0200 @@ -22,7 +22,7 @@ } struct aws_json_value *aws_json_value_new_string_from_c_str(struct aws_allocator *allocator, const char *string) { - (void)allocator; /* No need for allocator. It is overriden through hooks. */ + (void)allocator; /* No need for allocator. It is overridden through hooks. */ void *ret_val = cJSON_CreateString(string); return ret_val; } diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/memtrace.c new/aws-c-common-1.0.0/source/memtrace.c --- old/aws-c-common-0.14.5/source/memtrace.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/memtrace.c 2026-08-26 01:01:05.000000000 +0200 @@ -161,7 +161,7 @@ * With optimizations on we cannot trust the stack trace too much. * Memtracer makes an assumption that stack trace will be available in all cases if stack trace api * works. So in the pathological case of stack_depth <= FRAMES_TO_SKIP lets record all the frames we - * have, to at least have an anchor for where allocation is comming from, however inaccurate it is. + * have, to at least have an anchor for where allocation is coming from, however inaccurate it is. */ if (stack_depth <= FRAMES_TO_SKIP) { memcpy((void **)&stack->frames[0], &stack_frames[0], (stack_depth) * sizeof(void *)); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/posix/thread.c new/aws-c-common-1.0.0/source/posix/thread.c --- old/aws-c-common-0.14.5/source/posix/thread.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/posix/thread.c 2026-08-26 01:01:05.000000000 +0200 @@ -403,7 +403,7 @@ s_thread_wrapper_destroy(wrapper); if (options && options->cpu_id >= 0) { /* - * `pthread_create` can fail with an `EINVAL` error or `EDEADLK` on freebasd if the `cpu_id` is + * `pthread_create` can fail with an `EINVAL` error or `EDEADLK` on FreeBSD if the `cpu_id` is * restricted/invalid. Since the pinning to a particular `cpu_id` is supposed to be best-effort, try to * launch a thread again without pinning to a specific cpu_id. */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/windows/file.c new/aws-c-common-1.0.0/source/windows/file.c --- old/aws-c-common-0.14.5/source/windows/file.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/windows/file.c 2026-08-26 01:01:05.000000000 +0200 @@ -328,7 +328,7 @@ aws_string_convert_from_wchar_c_str(allocator, ffd.cFileName); struct aws_byte_cursor name_component_multi_char = aws_byte_cursor_from_string(name_component_multi_char_str); - /* disgard . and .. */ + /* discard . and .. */ char *ascend_mark = ".."; char *cd_mark = "."; struct aws_byte_cursor ascend_mark_cur = aws_byte_cursor_from_c_str(ascend_mark); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/windows/system_info.c new/aws-c-common-1.0.0/source/windows/system_info.c --- old/aws-c-common-0.14.5/source/windows/system_info.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/windows/system_info.c 2026-08-26 01:01:05.000000000 +0200 @@ -244,7 +244,7 @@ void aws_backtrace_print(FILE *fp, void *call_site_data) { struct _EXCEPTION_POINTERS *exception_pointers = call_site_data; if (exception_pointers) { - fprintf(fp, "** Exception 0x%x occured **\n", exception_pointers->ExceptionRecord->ExceptionCode); + fprintf(fp, "** Exception 0x%x occurred **\n", exception_pointers->ExceptionRecord->ExceptionCode); } if (!s_init_dbghelp()) { diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/source/xml_parser.c new/aws-c-common-1.0.0/source/xml_parser.c --- old/aws-c-common-0.14.5/source/xml_parser.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/source/xml_parser.c 2026-08-26 01:01:05.000000000 +0200 @@ -550,7 +550,7 @@ * Takes xml encoded string and pushes unescaped string to the out buffer. * Note: xml allows escaping chars as follows: * - &name; with 5 possible values corresponding to <, >, &, " and ' - * - &#n; where n is a codepoint representing anyunicode character. (codepoint can start with x to indicate its a hex + * - &#n; where n is a codepoint representing any unicode character. (codepoint can start with x to indicate it's a hex * codepoint) Unescaped result will always be either the same length (nothing to unescape) or shorter. */ static int s_build_unescaped_buffer(struct aws_byte_cursor data, struct aws_byte_buf *out) { diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/tests/encoding_test.c new/aws-c-common-1.0.0/tests/encoding_test.c --- old/aws-c-common-0.14.5/tests/encoding_test.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/tests/encoding_test.c 2026-08-26 01:01:05.000000000 +0200 @@ -72,7 +72,7 @@ ASSERT_INT_EQUALS( (unsigned char)*(allocation.buffer + output_len + 1), (unsigned char)0xdd, - "Write should not have occurred after the start of the buffer."); + "Write should not have occurred after the end of the buffer."); aws_byte_buf_clean_up(&allocation); return 0; @@ -377,7 +377,7 @@ ASSERT_INT_EQUALS( (unsigned char)*(allocation.buffer + output_len + 1), (unsigned char)0xdd, - "Write should not have occurred after the start of the buffer."); + "Write should not have occurred after the end of the buffer."); aws_byte_buf_clean_up(&allocation); @@ -1084,7 +1084,7 @@ ASSERT_INT_EQUALS( (unsigned char)*(dest.buffer + i), (unsigned char)0xdd, - "Write should not have occurred before the the encoding's starting position."); + "Write should not have occurred before the encoding's starting position."); } for (size_t i = starting_offset + output_size; i < dest.capacity; ++i) { @@ -1518,7 +1518,7 @@ ASSERT_FAILS(aws_decode_utf8(aws_byte_cursor_from_buf(&all_good_text), &with_validation_callback_always_fails)); aws_byte_buf_clean_up(&all_good_text); - /* Check the illegal test cases with always true callbck, it should still fail*/ + /* Check the illegal test cases with always true callback, it should still fail*/ for (size_t i = 0; i < AWS_ARRAY_SIZE(s_illegal_utf8_examples); ++i) { struct utf8_example example = s_illegal_utf8_examples[i]; printf("illegal example [%zu]: %s\n", i, example.name); diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/tests/error_test.c new/aws-c-common-1.0.0/tests/error_test.c --- old/aws-c-common-0.14.5/tests/error_test.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/tests/error_test.c 2026-08-26 01:01:05.000000000 +0200 @@ -257,7 +257,7 @@ aws_raise_error(test_error_2.error_code + 1); error = aws_last_error(); - /* error code should still propogate */ + /* error code should still propagate */ ASSERT_INT_EQUALS( test_error_2.error_code + 1, error, "Expected error code %d, but was %d", test_error_2.error_code + 1, error); @@ -296,7 +296,7 @@ int non_slotted_error_code = 3000; aws_raise_error(non_slotted_error_code); error = aws_last_error(); - /* error code should still propogate */ + /* error code should still propagate */ ASSERT_INT_EQUALS( non_slotted_error_code, error, "Expected error code %d, but was %d", non_slotted_error_code, error); @@ -335,7 +335,7 @@ int oor_error_code = 10001; aws_raise_error(oor_error_code); error = aws_last_error(); - /* error code should still propogate */ + /* error code should still propagate */ ASSERT_INT_EQUALS(oor_error_code, error, "Expected error code %d, but was %d", oor_error_code, error); /* string should be invalid though */ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c new/aws-c-common-1.0.0/verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c --- old/aws-c-common-0.14.5/verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c 2026-08-26 01:01:05.000000000 +0200 @@ -25,7 +25,7 @@ /* Ensuring that just the root cell is correctly allocated is * not enough, as the swap requires that both the swapped * cells are correctly allocated. Therefore, if swap is to - * not be overriden, I have to ensure that all of the root + * not be overridden, I have to ensure that all of the root * descendants at least are correctly allocated. For now it is * ensured that all of them are. */ size_t i; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c new/aws-c-common-1.0.0/verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c --- old/aws-c-common-0.14.5/verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c 2026-08-26 01:01:05.000000000 +0200 @@ -25,7 +25,7 @@ /* Ensuring that just the root cell is correctly allocated is * not enough, as the swap requires that both the swapped * cells are correctly allocated. Therefore, if swap is to - * not be overriden, I have to ensure that all of the root + * not be overridden, I have to ensure that all of the root * descendants at least are correctly allocated. For now it is * ensured that all of them are. */ size_t i; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/verification/cbmc/stubs/aws_array_list_swap_override.c new/aws-c-common-1.0.0/verification/cbmc/stubs/aws_array_list_swap_override.c --- old/aws-c-common-0.14.5/verification/cbmc/stubs/aws_array_list_swap_override.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/verification/cbmc/stubs/aws_array_list_swap_override.c 2026-08-26 01:01:05.000000000 +0200 @@ -8,7 +8,7 @@ * * We override aws_array_list_swap because mem_swap makes CBMC * struggle (because of the many memcpys) and because the - * array_list_get_at in before the mem_swap are unneccessary if we + * array_list_get_at in before the mem_swap are unnecessary if we * stub out mem_swap. Instead we add a havoc assumption on the two * swapped byted to ensure that no assertion on the values of the two * cells is made afterwards. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/aws-c-common-0.14.5/verification/cbmc/stubs/aws_hash_table_no_slots_override.c new/aws-c-common-1.0.0/verification/cbmc/stubs/aws_hash_table_no_slots_override.c --- old/aws-c-common-0.14.5/verification/cbmc/stubs/aws_hash_table_no_slots_override.c 2026-08-12 00:45:07.000000000 +0200 +++ new/aws-c-common-1.0.0/verification/cbmc/stubs/aws_hash_table_no_slots_override.c 2026-08-26 01:01:05.000000000 +0200 @@ -143,7 +143,7 @@ * -DHASH_TABLE_FIND_ELEMENT_GENERATOR=the_generator_fn, where the_generator_fn has signature: * the_generator_fnconst struct aws_hash_table *map, const void *key, struct aws_hash_element *p_elem). * - * NOTE: If you want a version of aws_hash_table_find() that that ensures that the table actually has the found value + * NOTE: If you want a version of aws_hash_table_find() that ensures that the table actually has the found value * when find returns success, that can be found in aws_hash_table_find_override.c */ #ifdef HASH_TABLE_FIND_ELEMENT_GENERATOR
