From aea0dd02919a02078b1acb8659caa8775a832820 Mon Sep 17 00:00:00 2001 From: czjaso Date: Mon, 26 Jan 2026 21:01:33 -0800 Subject: [PATCH] Remove version numbers and add library version macro --- source/core_sntp_client.c | 2 +- source/core_sntp_serializer.c | 2 +- source/include/core_sntp_client.h | 13 ++++++++++++- source/include/core_sntp_config_defaults.h | 2 +- source/include/core_sntp_serializer.h | 2 +- test/cbmc/include/core_sntp_cbmc_state.h | 2 +- test/cbmc/include/core_sntp_config.h | 2 +- test/cbmc/include/core_sntp_stubs.h | 2 +- .../Sntp_CalculatePollInterval_harness.c | 2 +- .../Sntp_ConvertToUnixTime_harness.c | 2 +- .../Sntp_DeserializeResponse_harness.c | 2 +- test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c | 2 +- .../Sntp_ReceiveTimeResponse_harness.c | 2 +- .../Sntp_SendTimeRequest_harness.c | 2 +- .../Sntp_SerializeRequest_harness.c | 2 +- test/cbmc/sources/core_sntp_cbmc_state.c | 2 +- test/cbmc/stubs/core_sntp_stubs.c | 2 +- test/unit-test/core_sntp_client_utest.c | 2 +- test/unit-test/core_sntp_config.h | 2 +- test/unit-test/core_sntp_serializer_utest.c | 2 +- 20 files changed, 31 insertions(+), 20 deletions(-) diff --git a/source/core_sntp_client.c b/source/core_sntp_client.c index d8f7b35..6c649a3 100644 --- a/source/core_sntp_client.c +++ b/source/core_sntp_client.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/core_sntp_serializer.c b/source/core_sntp_serializer.c index bb7823a..c4c3a05 100644 --- a/source/core_sntp_serializer.c +++ b/source/core_sntp_serializer.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/core_sntp_client.h b/source/include/core_sntp_client.h index cae8b2b..f4a84ec 100644 --- a/source/include/core_sntp_client.h +++ b/source/include/core_sntp_client.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT @@ -48,6 +48,17 @@ #endif /* *INDENT-ON* */ +/** + * @cond DOXYGEN_IGNORE + * The current version of this library. + * + * If SNTP_LIBRARY_VERSION ends with + it represents the version in development + * after the numbered release. + */ +#define SNTP_LIBRARY_VERSION "v1.3.1+" +/** @endcond */ + + /** * @ingroup sntp_constants * @brief The default UDP port supported by SNTP/NTP servers for client-server diff --git a/source/include/core_sntp_config_defaults.h b/source/include/core_sntp_config_defaults.h index 33d021a..62d3364 100644 --- a/source/include/core_sntp_config_defaults.h +++ b/source/include/core_sntp_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/core_sntp_serializer.h b/source/include/core_sntp_serializer.h index b0869bb..f05dccb 100644 --- a/source/include/core_sntp_serializer.h +++ b/source/include/core_sntp_serializer.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/core_sntp_cbmc_state.h b/test/cbmc/include/core_sntp_cbmc_state.h index 36387db..9a35906 100644 --- a/test/cbmc/include/core_sntp_cbmc_state.h +++ b/test/cbmc/include/core_sntp_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/core_sntp_config.h b/test/cbmc/include/core_sntp_config.h index cba0f85..79ac45e 100644 --- a/test/cbmc/include/core_sntp_config.h +++ b/test/cbmc/include/core_sntp_config.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/core_sntp_stubs.h b/test/cbmc/include/core_sntp_stubs.h index 119b5fc..9617dbc 100644 --- a/test/cbmc/include/core_sntp_stubs.h +++ b/test/cbmc/include/core_sntp_stubs.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c index 919d61a..e2baace 100644 --- a/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c +++ b/test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c index c3bb62b..f9f4a34 100644 --- a/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c +++ b/test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c index efe2b3a..6354336 100644 --- a/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c +++ b/test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c index e1ae92b..09bcb12 100644 --- a/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c +++ b/test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c index 1cf2826..a1e4281 100644 --- a/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c +++ b/test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c index bd5dfbb..1e2f3d1 100644 --- a/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c +++ b/test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c index 036952a..909400d 100644 --- a/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c +++ b/test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/core_sntp_cbmc_state.c b/test/cbmc/sources/core_sntp_cbmc_state.c index f913eea..02e0133 100644 --- a/test/cbmc/sources/core_sntp_cbmc_state.c +++ b/test/cbmc/sources/core_sntp_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/core_sntp_stubs.c b/test/cbmc/stubs/core_sntp_stubs.c index 1de6a84..2004675 100644 --- a/test/cbmc/stubs/core_sntp_stubs.c +++ b/test/cbmc/stubs/core_sntp_stubs.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/core_sntp_client_utest.c b/test/unit-test/core_sntp_client_utest.c index 2f7d5d6..5b83e0a 100644 --- a/test/unit-test/core_sntp_client_utest.c +++ b/test/unit-test/core_sntp_client_utest.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/core_sntp_config.h b/test/unit-test/core_sntp_config.h index 25b6156..2bdd41c 100644 --- a/test/unit-test/core_sntp_config.h +++ b/test/unit-test/core_sntp_config.h @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/core_sntp_serializer_utest.c b/test/unit-test/core_sntp_serializer_utest.c index 621f5db..85ac4f2 100644 --- a/test/unit-test/core_sntp_serializer_utest.c +++ b/test/unit-test/core_sntp_serializer_utest.c @@ -1,5 +1,5 @@ /* - * coreSNTP v1.3.1 + * coreSNTP * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT