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

Version history of source/vstd/string.rs

October 2026

Bryan Parno
Swap from will_return_none to produces (#3330)
committed
zhengyao
exec_spec macro: replace ExecSpecEq with PartialEq + ObeysDeepEq (#3351)
committed
Nick Giannarakis
Add fmt_req to requires for to_string and formatting arguments (#3150)
committed
Bryan Parno
Match our specs for the length and bounds of RangeInclusive to those used in std (#3249)
committed
AJ Weeks
vstd: add no_unwind to vec, array, slice (#3226)
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
Chris Hawblitzel (Microsoft)
Make distinct string literals provably distinct (merge) (#2941)
committed
Jay Lorch
Specs for slice-indexing strings (#2854)
committed
wood-ghost
feat: add PartialEq specification for str (#2773)
committed

August 2026

Martin Mirchev
vstd: specs for multiple common String methods (#2738)
committed
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
Baltasar Dinis
vstd: remove usage of group_seq_axioms and added axioms (#2678)
committed

June 2026

Bryan Parno
Liberalize our policy on specifications for trait and impl fn specs (#2540)
committed

May 2026

Chris Hawblitzel (Microsoft)
Add trait bound to spec == operator to improve type inference (#2377)
committed
Bryan Parno
New approach to specifying iterators via a prophetic sequence encoding (#2163)
committed
Jay Bosamiya (Microsoft)
Minor formatting tweak (#2425)
committed
Travis Hance
update vstd to use the new_mut_ref style (#2408)
committed

March 2026

Travis Hance
new-mut-ref: fix vstd build
committed
Natalie Neamtu
Support for unicode str, specs for std::str fns, specs for UTF-8 (#2238)
committed
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

September 2025

Zhengyao Lin
Move exec_spec to contrib directories
committed
Zhengyao Lin
Fix test cases
committed
Zhengyao Lin
Add DeepView for String and &str
committed

July 2025

Marianna Rapoport
Add DeepView implementations for Iter and Chars (#1822)
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
Daniel Schoepe
Chars iterator (#1695)
committed

May 2025

Jenny Xiang
Add DeepView impl for str and String (#1497)
committed
Andrea Lattuada
Upgrade to Rustc 1.85.1 (#1385)
committed
Travis Hance
Add an 'axiom' keyword (#1518)
committed

March 2025

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

January 2025

Travis Hance
add better syntax for external_fn_specification (#1368)
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
use &str and String from std lib (#1139)
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