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

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

October 2026

zhengyao
exec_spec macro: replace ExecSpecEq with PartialEq + ObeysDeepEq (#3351)
committed
wsxarcher.tngl.sh
vstd: add cmp::min* cmp::max* free functions (#3276)
committed
Chris Hawblitzel (Microsoft)
Fix ensures of Ord max, min, clamp (#3204)
committed

September 2026

Chris Hawblitzel (Microsoft)
Use Seq range syntax in vstd, examples, docs (#2959)
committed

May 2026

Baltasar Dinis
vstd: add cmp specs for tuples (#2389)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Chris Hawblitzel
Add PartialEq/Eq/PartialOrd/Ord specs for shared references
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

November 2025

Daniel Schoepe
Upgrade verus to use rustc-1.91.0 (#1937)
committed

August 2025

Chris Hawblitzel (Microsoft)
f32/f64 types and constants, with uninterpreted f32/f64 arithmetic (#1859)
committed

July 2025

Chris Hawblitzel
Add is_lt, is_le, etc. blanket impl wrappers around eq_spec, partial_cmp_spec
committed
Chris Hawblitzel (Microsoft)
Add specifications and laws for PartialEq, Eq, PartialOrd, Ord (#1569)
committed