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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

September 2026

Chris Hawblitzel (Microsoft)
Use Seq range syntax in vstd, examples, docs (#2959)
committed

June 2026

Jay Lorch
Make `Set` and `Map` finite, add `ISet` and `IMap`. (#2486)
committed

June 2025

Chris Hawblitzel
Change verifier::auto_ext_equal default to assert, assert_by, ensures, invariant
committed

May 2025

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

February 2024

Andrea Lattuada
rename pervasive -> vstd
committed

July 2023

Remzi Yang
Remove redundant type variables in the guide. (#706)
committed
Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
Jialin Li
Extensional equality docs (#647)
committed

April 2023

tjhance
update links to verusdoc from the guide and README documents (#539)
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed