aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Rename `PrePasses.remove_shallow_borrows` and update the comments

Open sonmarcho opened this issue 6 months ago • 0 comments
trafficstars

This micro pass also removes the StorageLive/StorageDead statements following: https://github.com/AeneasVerif/aeneas/pull/505

sonmarcho avatar Apr 24 '25 08:04 sonmarcho