Home
last modified time | relevance | path

Searched defs:fpSqrt (Results 1 – 6 of 6) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/
H A DSFloat.hs271 fpSqrt sym r (SFloat fl) = SFloat <$> floatSqrt sym r fl function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DFloating.hs152 fpSqrt = lift1 FP_Sqrt (Just sqrt) . Just function
901 fpSqrt = lift1FP bfSqrt (lift1 FP_Sqrt (Just sqrt)) function
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DSBV.hs342 fpSqrt _ _ _ = unsupported "fpSqrt" function
/dports/math/aribas/aribas-1.64/src/
H A Daritz.c383 PUBLIC int fpSqrt(pp,plen,aa,alen,zz,hilf) in fpSqrt() function
/dports/math/z3/z3-z3-4.8.13/src/api/python/z3/
H A Dz3.py10155 def fpSqrt(rm, a, ctx=None): function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/
H A Dz3.py9613 def fpSqrt(rm, a, ctx=None): function