[building] updated macos scriptSigned-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

[clang-c-frontend] handle `argv` with dynamic array initialization (#……2347)

Do not remove subsequent paths if the proeprty does not holdIf the property does not hold using our incremental SMT approach,we must not add an assume(0) to cut the subsequent paths.Running our incremental-smt test suite, if we cut the execution paths,we get:Total Test time (real) = 152.32 secHowever, if we do not add an assume(0), we get:Total Test time (real) = 124.12 sec

[SMT backend] Improve Overflow Handling in ESBMC (#2338)Fixes#2337.This PR improves overflow detection in ESBMC by refining theimplementation of `overflow_neg` in `smt_overflow.cpp`. Additionally, itadds regression tests to ensure correct behavior when checking forarithmetic overflow, specifically negation-related overflows.---------Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

[regression] added test case from#1458Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

[python] Fix power implementation (#2310)Handling symbols in power operations.

[python][numpy] Handling dtype arguments (#2300)- Handling[dtype](https://numpy.org/doc/2.1/reference/generated/numpy.dtype.html#numpy.dtype)argument in math functions.- Changing int representation to signedbv(64).- Detecting arithmetic overflows.- Adding assertion locations.

[regression] added test case for random numbers

[python-frontend] Fix handling of single-character strings (#2275)

[python-frontend] Building NumPy arrays (#2258)- Converting[numpy.array()](https://numpy.org/doc/stable/reference/generated/numpy.array.html)calls into `array_typet`.- Adding `function_call_builder` class to handle function callexpressions.- Adding regression tests for NumPy