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

Version history of source/vstd/function.rs

October 2026

Chris Hawblitzel (Microsoft)
Support opens_invariants in proof closures (#3199)
committed
Daniel Schoepe
Fix mutable callable postconditions pinning a returned borrow (#3056)
committed

May 2026

Travis Hance
update vstd to use the new_mut_ref style (#2408)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Travis Hance
new-mut-ref: fix issues related to FnMut (#2282)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
Travis Hance
docs: flesh out the documentation for vstd::pcm::Resource
committed

May 2025

Alex Bai
correct function axiom naming (#1690)
committed
Travis Hance
Add an 'axiom' keyword (#1518)
committed

April 2025

Chris Hawblitzel (Microsoft)
proof closures (#1524)
committed

January 2025

Travis Hance
vstd: remove deprecated stuff
committed

May 2024

Travis Hance
put deprecated attrs in cfg_attr
committed
Travis Hance
Support embedding 'builtin' and 'vstd' as modules in order to support verifying core (#1085)
committed
Chris Hawblitzel
Update verifier(...) to verifier::... in guide/examples/vstd
committed

March 2024

Jay Bosamiya
Add `verusfmt --check` to CI (#1019)
committed
verusfmt
Reformat latest vstd on latest `main`
committed

February 2024

Bryan Parno
Merge pull request #1004 from verus-lang/apply-verusfmt
committed
verusfmt
Format vstd with `verusfmt` version 0.2.3
committed
Andrea Lattuada
rename pervasive -> vstd
committed