Add `string` type support to SMT back-end#8838

Open

tautschnig wants to merge 4 commits intodiffblue:developfrom

tautschnig:smt-strings

Commits on Feb 23, 2026

Add `string` type support to SMT back-end
tautschnig
committed

Commits on Feb 24, 2026

Handle mathematical integer and unsized array indices in bounds_check_index
tautschnig
committed

Commits on Feb 26, 2026

Map Strata string and regex operations to SMT-LIB in smt2_conv
tautschnig
committed

Commits on Feb 27, 2026

Update src/solvers/smt2/smt2_conv.cpp

tautschnig
and
Copilot
committed