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

Version history of source/vstd/hash_map.rs

May 2026

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

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Jon Howell
hashmap remove returns removed value (#2183)
committed

June 2025

Natalie Neamtu
Merge pull request #1703 from verus-lang/zero-to-nat/docs-retreat-2025
committed
zero-to-nat
code review, tweak formatting and fix a couple typos
committed

May 2025

zero-to-nat
verusfmt
committed
zero-to-nat
add some docs for HashSet and HashMap
committed
Travis Hance
Add an 'axiom' keyword (#1518)
committed
Hikaru Hokkyokusei
Added `is_empty` specifications for HashSets and HashMaps (#1637)
committed

March 2025

Andrea Lattuada
uninterp marker on uniterpreted spec fns (#1473)
committed

February 2025

Travis Hance
Update VIR representation of open/closed/opaque (#1452)
committed

October 2024

Xudong Sun
Add `extend` to HashMap and StringHashMap (#1295)
committed

August 2024

Chris Hawblitzel (Microsoft)
Prune broadcast functions based on their triggers (#1175)
committed

July 2024

Jay Lorch
Specify behavior of std::collections::HashMap (#1165)
committed