Skip to content

CBMC: Improve readability of CBMC specs#1116

Draft
hanno-becker wants to merge 1 commit into
mainfrom
cbmc_readability
Draft

CBMC: Improve readability of CBMC specs#1116
hanno-becker wants to merge 1 commit into
mainfrom
cbmc_readability

CBMC: Add disjoint() and slices() to compact memory annotations

2bbe1f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar