Improved ptr permission implications#1373

Merged

mergify[bot] merged 3 commits intomasterfrom heapster-improved-ptr-impls

Jul 9, 2021

+294-2

Commits on Jul 9, 2021

changed implication for ptr perms to prioritize using LHS permissions that precisely match the offset of the ptr perm being proven
Eddy Westbrook
committed
added clearbufs example
Eddy Westbrook
committed
whoops, forgot to add clearbufs saw files
Eddy Westbrook
committed