Z3JavaTranslator: widen IntNum/ArithExpr coercion across binary BV ops - #1

Open

jon-bell wants to merge 2 commits into

fix/z3-translator-coercion

Commits on Apr 19, 2026

Z3JavaTranslator: symmetric IntNum coercion and ArithExpr widening in BIT_AND

jon-bell
and
claude
committed
7f2b048

Commits on Apr 20, 2026

Z3JavaTranslator: widen IntNum/ArithExpr coercion to all binary BV ops

jon-bell
and
claude
committed
4bf8a46