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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2025

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

February 2024

Andrea Lattuada
rename pervasive -> vstd
committed

April 2023

tjhance
update links to verusdoc from the guide and README documents (#539)
committed
Chris Hawblitzel
Update link in docs/guide
committed
Andrea Lattuada
Merge branch 'main_new'
committed
Chris Hawblitzel (Microsoft)
Minor updates to docs (#533)
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed