CBMC: Improve readability of CBMC specs#1116

Draft

hanno-becker wants to merge 1 commit into

mainfrom

cbmc_readability

Commits on May 12, 2026

CBMC: Add disjoint() and slices() to compact memory annotations
hanno-becker
committed