Skip to content

Commit 3e0e9e9

Browse files
borsbors
committed
Auto merge of #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 e5a1412 + 81b2aa9 commit 3e0e9e9

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)