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

Version history of source/vstd/contrib/exec_spec/seq.rs

October 2026

zhengyao
exec_spec macro: replace ExecSpecEq with PartialEq + ObeysDeepEq (#3351)
committed
Nick Giannarakis
check bounds for exec_update (#3312)
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

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Natalie Neamtu
Rename exec_spec! to exec_spec_verified!, add features, and introduce exec_spec_unverified! (#2147)
committed