Skip to content

Deprecated Term.ptrtuple and speed up Term.__eq__#1184

Merged
Joao-Dionisio merged 16 commits into
scipopt:masterfrom
Zeroto521:Term/ptr
Apr 3, 2026
Merged

Deprecated Term.ptrtuple and speed up Term.__eq__#1184
Joao-Dionisio merged 16 commits into
scipopt:masterfrom
Zeroto521:Term/ptr

Merge branch 'master' into Term/ptr

3b3b1d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
stubtest
succeeded Apr 3, 2026 in 2m 9s