verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/assert-mut-ref.md

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Travis Hance
guide: clean up the new ownership and borrowing section
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
Abigail Pribisova
Mutation, references, and borrowing documentation (#1706)
committed