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

Version history of source/rust_verify_test/tests/float.rs

October 2026

Travis Hance
Diagnostic messages copy-editing (#3335)
committed
Nick Giannarakis
Parameterize IEEE float ops by float type (#3285)
committed
Matt Van Horn
bit_vector float equality compares IEEE bit patterns (#3207)
committed
Nick Giannarakis
Fix interpreter handling of equality over casts (#3136) (#3151)
committed
Travis Hance
restructure bin op handling (#3068)
committed
Nick Giannarakis
Add support for casting between usize/isize and f32/f64. (#3092)
committed

July 2026

Travis Hance
Cleanup overloaded operator lowering (#2520)
committed

March 2026

Chris Hawblitzel
Connect spec-mode "as" operator to ieee_cast
committed
Chris Hawblitzel
Simplify rust_to_vir_expr code for float-as
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
Address comments
committed
Chris Hawblitzel
Split assume_ieee_float off into a separate pull request
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

December 2025

Chris Hawblitzel
Merge branch 'main' into dyn
committed
Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Chris Hawblitzel (Microsoft)
Merge pull request #2025 from verus-lang/real-arith
committed
Chris Hawblitzel
Add the "real" type for real-number arithmetic
committed

August 2025

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