Update VestLib code to verify with the new mutable reference framework#45

Merged

y1ca1 merged 7 commits into

mainfrom

May 14, 2026

Commits on May 11, 2026

Add calls to final, which are now required for the new mutable reference
parno
committed
Make reborrows explicit to work around [Verus issue
parno
committed
Replace deprecated functions with modern assignment to avoid warnings.
parno
committed

Commits on May 12, 2026

Commits on May 14, 2026