Extract mapst base class from arrayst#8992

Open

tautschnig wants to merge 8 commits into

diffblue:developfrom

tautschnig:map_theoryt

Commits on May 27, 2026

boolbv_let: pass lowered value to record_array_let_binding

tautschnig
and
kiro-agent
committed
regression/cbmc/array-constraint/test_json: un-KNOWNBUG, fix expectations

tautschnig
and
kiro-agent
committed
Extract mapst 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 mapst

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

tautschnig
and
kiro-agent
committed
mapst / 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