[python] fix Optional[T] type handling in self attributes

Add special case in get_attributes_from_self to properly handle Optional[T]
annotations by calling get_type_from_annotation instead of directly accessing
the annotation id field, ensuring type consistency between parameters and
attributes.

[python] fix method calls on for-loop variables via symbol table (#2888)

Updated ESBMC version

Signed-off-by: Lucas Cordeiro <[email protected]>

Updated ESBMC version

Signed-off-by: Lucas Cordeiro <[email protected]>

[python] add support for Python print() function (#2830)

[smt] add initial support for byte update operations in integer arith…

…metic mode (#2804)

[simplifier] add boolean, bitwise, and relational simplification rule…

…s with regression tests (#2790)

This PR extends the expression simplifier with several new algebraic
identities.

---------

Signed-off-by: Lucas Cordeiro <[email protected]>

[symex] add support for __builtin_object_size intrinsic with full reg…

…ression suite (#2774)

This PR introduces support for GCC’s `__builtin_object_size` intrinsic
in ESBMC. The intrinsic computes the size of the object pointed to by a
given pointer, with behavior controlled by a type parameter (0–3). The
compiler and libraries commonly use it to implement buffer overflow
checks and fortified functions.

---------

Signed-off-by: Lucas Cordeiro <[email protected]>
Co-authored-by: lucasccordeiro <[email protected]>

[python] Add AssertionError to ESBMC-Python exception operational mod…

…el (#2749)

This PR:

- Extends exception hierarchy to support Python assert statements
- Fixes "Unknown or unsupported AST type: AssertionError" warning
- Resolves segmentation fault when analyzing code with try-except blocks
catching AssertionError
- Follows existing pattern for exception class implementation

This enables ESBMC-Python to properly model and verify Python programs
that use assertions with exception handling.

---------

Co-authored-by: lucasccordeiro <[email protected]>

Update README.md