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

Version history of examples/float.rs

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

August 2025

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