Daniel Larraz 29ca6e63b0 python: Define explicit __init__ constructors for Cython classes (#12159) ...

Cython `cdef` classes without an explicit `__init__` constructor have an
implicit `__init__` that accepts any number of arguments. (Python
classes, by contrast, default to an `__init__` that takes no arguments.)
This can lead to confusing situations where arguments appear to be
accepted but are discarded. This PR fixes the issue by adding explicit
`__init__` methods to the Cython classes.

Additionally, this PR removes some unnecessary field initializations in
the Cython classes.

2025-10-02 14:41:03 +00:00

..

__init__.py

Reorganize test/unit/api directory. (#7612)

2021-11-10 00:08:29 +00:00

CMakeLists.txt

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_command.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_datatype_api.py

python: Define explicit __init__ constructors for Cython classes (#12159)

2025-10-02 14:41:03 +00:00

test_finite_field.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_grammar.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_input_parser.py

NodeManager as a static thread_local singleton is no more. (#11816)

2025-04-16 01:39:01 +00:00

test_op.py

python: Define explicit __init__ constructors for Cython classes (#12159)

2025-10-02 14:41:03 +00:00

test_proof.py

python: Define explicit __init__ constructors for Cython classes (#12159)

2025-10-02 14:41:03 +00:00

test_result.py

python: Define explicit __init__ constructors for Cython classes (#12159)

2025-10-02 14:41:03 +00:00

test_solver.py

Category option info for Python and Java APIs (#12100)

2025-09-08 13:47:59 +00:00

test_sort.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_symbol_manager.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_synth_result.py

python: Define explicit __init__ constructors for Cython classes (#12159)

2025-10-02 14:41:03 +00:00

test_term_manager.py

Add option to make regular expressions first class (#12049)

2025-08-23 16:48:07 +00:00

test_term.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_to_python_obj.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

test_uncovered.cpp

Use u32string to represent Unicode strings encoded in UTF-32 (#11994)

2025-07-08 08:12:52 +00:00