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

Version history of source/docs/guide/src/reference-var-modes.md

October 2026

Travis Hance
Guide typos (#3340)
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
tjhance
fix mistake in reference-var-modes.md
committed

June 2023

Travis Hance
add a reference for using ghost/tracked in exec code
committed