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

Version history of source/vstd/float.rs

March 2026

Chris Hawblitzel (Microsoft)
Treat Copy, FnOnce, FnMut, Fn, and Tuple as first-class traits rather than ignoring them in rust_to_vir_base (#2259)
committed
Chris Hawblitzel
Connect spec-mode "as" operator to ieee_cast
committed
Jay Lorch
Specs for conversion to and from float types with `as` (#2224)
committed
Chris Hawblitzel (Microsoft)
Support IEEE floating point SMT theory (#2229)
committed
Chris Hawblitzel
Support IEEE floating point SMT theory
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Jay Lorch
Add spec for clone on float types (#2195)
committed

August 2025

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