Heapster Widening and Implication Prover Improvements#1796

Merged

mergify[bot] merged 6 commits intomasterfrom heapster/widening-eqsh

Jan 5, 2023

+157-68

Commits on Jan 4, 2023

enhanced widening so that memblock permissions with eqsh shapes can be widening by substituting in shape of the equal block for the eqsh shape
Eddy Westbrook
committed
updated widening so it unfolds conjunctive permissions when widening atomic permissions
Eddy Westbrook
committed
updated recombinePerm to handle more cases with named permissions
Eddy Westbrook
committed

Commits on Jan 5, 2023

Merge branch 'master' into heapster/widening-eqsh
Eddy Westbrook
committed
fixed the name of remLLVMBlockPermRange, and added some comments to it
Eddy Westbrook
committed
Merge branch 'master' into heapster/widening-eqsh
Eddy Westbrook
authored