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

Version history of source/docs/guide/src/while.md

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

July 2024

Andrea Lattuada
spinoff_loop -> loop_isolation, for consistency
committed

June 2024

Bryan Parno
Explain how to opt-out of the spinoff-loop behavior (#1182)
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed