Skip to content

Make pointer encoding sound wrt integer address translation (and lift object limits)#1086

Closed
tautschnig wants to merge 5 commits intodiffblue:developfrom
tautschnig:memory-region

Commits

Commits on Feb 12, 2021