Skip to content

Commit 102ffff

Browse files
borsbors
committed
Auto merge of rust-lang#3596 - bend-n:support_fstar_algebraic, r=RalfJung
support `f*_algebraic` supports the [`f*_algebraic`](https://doc.rust-lang.org/std/intrinsics/fn.fadd_algebraic.html) intrinsics.
2 parents 82d0934 + 22838e8 commit 102ffff

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)