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

Version history of source/vstd/set.rs

September 2026

Jay Lorch
Set decreases to member axiom (#2878)
committed

August 2026

Jay Lorch
Remove `Set::new_assuming_finite` (#2777)
committed

July 2026

Aaron Bies
Generalize invariant masks for logical atomicity (#2624)
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

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

December 2025

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

November 2025

Baltasar Dinis
docs: add CI to make sure that docs build without warnings (#2003)
committed

August 2025

Yonghao Zou
Rename axiom_set_choose_finite to axiom_set_choose_infinite for clarity (#1850)
committed

July 2025

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

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed

May 2025

JoPolzin
improve vstd doc for empty set, new set and complement set (#1699)
committed
Travis Hance
Add an 'axiom' keyword (#1518)
committed

March 2025

Andrea Lattuada
uninterp marker on uniterpreted spec fns (#1473)
committed
Nickolai Zeldovich
invariant mask checking using std::Set (#1462)
committed

February 2025

Matthias
Add model for vstd Set and prove its axioms
committed

January 2025

Travis Hance
vstd: remove deprecated stuff
committed
Matthias
New (in-)finiteness lemmas for sets
committed

October 2024

Andrea Lattuada
add spec_has to Set, Multiset
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
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