Extract map_theoryt base class from arrayst#8992

Open

tautschnig wants to merge 8 commits into

diffblue:developfrom

tautschnig:map_theoryt

Commits on May 27, 2026

regression/cbmc/array-constraint/test_json: un-KNOWNBUG, fix expectations

tautschnig
and
kiro-agent
committed
Extract map_theoryt base class from arrayst

tautschnig
and
kiro-agent
committed
Use map-theory terminology: index→key, index_map→domain_map, remove 'array'

tautschnig
and
kiro-agent
committed
Add Doxygen documentation to map_theoryt

tautschnig
and
kiro-agent
committed
Move is_unbounded_array and collect_keys from map_theoryt to arrayst

tautschnig
and
kiro-agent
committed
map_theoryt / arrayst: cleanups, renames, dead-code removal

tautschnig
and
kiro-agent
committed
Consolidate lazy_typet and constraint_typet into map_constraint_kindt

tautschnig
and
kiro-agent
committed
boolbv_let: pass lowered value to record_let_binding

tautschnig
and
kiro-agent
committed