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

Version history of source/vstd/map.rs

October 2026

Daniel Schoepe
Require tracked ownership for Map and IMap union inputs (#3066)
committed

September 2026

Chris Hawblitzel (Microsoft)
Use Seq range syntax in vstd, examples, docs (#2959)
committed
Jay Lorch
Set decreases to member axiom (#2878)
committed

June 2026

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

May 2026

Chris Hawblitzel (Microsoft)
Add trait bound to spec == operator to improve type inference (#2377)
committed
Travis Hance
vstd: more borrow_mut like functions (#2413)
committed
Travis Hance
update vstd to use the new_mut_ref style (#2408)
committed
Baltasar Dinis
vstd: add some documentation to tracked methods on map (#2262)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

January 2026

Travis Hance
fmt
committed
Travis Hance
vstd: update some uses of legacy attribute syntax
committed

December 2025

Travis Hance
warn about implicit mut-deref in spec equality (#2041)
committed

October 2025

Bryan Parno
Fix: Crates that use macro_rules from vstd should succeed with cargo verus (#1930)
committed

July 2025

Bryan Parno
Prepare Verus-related crates for posting to crates.io (#1815)
committed

May 2025

Travis Hance
vstd: fractional resources
committed
Travis Hance
Add an 'axiom' keyword (#1518)
committed

February 2025

Matthias
Add model for vstd Set and prove its axioms
committed

January 2025

Matthias
Add model for vstd Map and prove its axioms
committed
Matthias
Remove unnecessary preconditions from Map axioms
committed
Travis Hance
vstd: remove deprecated stuff
committed

August 2024

Chris Hawblitzel (Microsoft)
Prune broadcast functions based on their triggers (#1175)
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

April 2024

Andrea Lattuada
Use generalized broadcast in arithmetic library, rename all broadcast groups to have the prefix group_ (#1086)
committed
Andrea Lattuada
Merge pull request #1023 from verus-lang/generalized-broadcast-vstd
committed
Andrea Lattuada
support cfg(not(feature = "alloc")) with default vstd broadcast group, guard verifier attributes with cfg_attr where necessary
committed
Andrea Lattuada
verusfmt
committed
Andrea Lattuada
apply generalized broadcast to vstd
committed

March 2024

Andrea Lattuada (VMware)
Generalized lemma broadcast, implements #37 (#1022)
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