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

Version history of source/vstd/std_specs/vecdeque.rs

October 2026

Bryan Parno
Swap from will_return_none to produces (#3330)
committed

September 2026

Chris Hawblitzel (Microsoft)
Apply verusfmt to vstd seq-range expressions (#3006)
committed
Chris Hawblitzel (Microsoft)
Use Seq range syntax in vstd, examples, docs (#2959)
committed

August 2026

Bryan Parno
Remove initial_value_relation and infer_spec_for_loop_iter (#2739)
committed

July 2026

Bryan Parno
Use the loop_isolation_boundary feature to simplify our specs for Rust iterators. (#2736)
committed
Chris Hawblitzel (Microsoft)
Index mut (merge) (#2727)
committed

May 2026

Bryan Parno
New approach to specifying iterators via a prophetic sequence encoding (#2163)
committed
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
Chris Hawblitzel (Microsoft)
Translate general case of ExprKind::Index into calls to Index::index (#2300)
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

项科深 Xiang Keshen
add default trait, some option specs and string deref (#2064)
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
Chris Hawblitzel
Minor edits to vec/vecdeque iterator specs
committed

April 2025

Nickolai Zeldovich
implement DeepView for VecDeque (#1609)
committed

March 2025

Andrea Lattuada
uninterp marker on uniterpreted spec fns (#1473)
committed
Jay Lorch
Specification of `std::collections::VecDeque` (#1486)
committed