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

Version history of source/vstd/map_lib.rs

July 2026

Baltasar Dinis
vstd: remove usage of group_seq_axioms and added axioms (#2678)
committed

June 2026

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

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
elanortang
remove deprecated fns or update attribute (#2120)
committed

December 2025

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

November 2025

Baltasar Dinis
Add lemmas regarding the length of `Set::map` for non-injective `f` and for `Map::values` (#1970)
committed

October 2025

Baltasar Dinis
std_specs: add map lemmas to infer contains_value after insert (#1914)
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
Marianna Rapoport
Add functions and lemmas to map_lib (#1705)
committed
Baltasar Dinis
vstd: implement for loop iterators for hashmap (#1683)
committed

May 2025

Alex Bai
update syntax for broadcast use (#1571)
committed
Jay Lorch
Fix docstring comment for Map::values (#1635)
committed

March 2025

Nickolai Zeldovich
add Map::index_opt() to fetch Option<V> from Map<K, V> (#1546)
committed

February 2025

Alex Bai
use broadcast for map/set/multiset_properties (#1443)
committed
Matthias
Add map union lemmas
committed

January 2025

Nickolai Zeldovich
prove lemma of transitivity for Map::submap_of (#1401)
committed
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

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
apply generalized broadcast to vstd
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
try to stabilize vstd map_lib proof
committed
Andrea Lattuada
rename pervasive -> vstd
committed