Searched refs:fpIsZero (Results 1 – 14 of 14) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/ |
| H A D | Floats.hs | 148 , test1 "f_FP_IsZero" (fpIsZero :: SFloat -> SBool)
149 , test1 "d_FP_IsZero" (fpIsZero :: SDouble -> SBool)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
| H A D | SFloat.hs | 61 , fpIsZero
445 fpIsZero :: IsExprBuilder sym => sym -> SFloat sym -> IO (Pred sym)
446 fpIsZero sym (SFloat x) = floatIsZero sym x function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Floating.hs | 120 fpIsZero :: SBV a -> SBool
160 fpIsZero = lift1B FP_IsZero (== 0) function
165 fpIsNegativeZero x = fpIsZero x .&& fpIsNegative x
166 fpIsPositiveZero x = fpIsZero x .&& fpIsPositive x
|
| /dports/security/hs-cryptol/cryptol-2.11.0/lib/ |
| H A D | Float.cry | 144 primitive fpIsZero : {e,p} ValidFloat e p => Float e p -> Bool
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/ |
| H A D | What4.hs | 467 fpIsZero sym x = liftIO $ FP.fpIsZero (w4 sym) x function
|
| H A D | SBV.hs | 347 fpIsZero _ _ = unsupported "fpIsZero" function
|
| H A D | Concrete.hs | 358 fpIsZero _ x = pure (FP.bfIsZero (FP.bfValue x)) function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
| H A D | Backend.hs | 686 …fpIsZero, fpIsNeg, fpIsNaN, fpIsInf, fpIsNorm, fpIsSubnorm :: sym -> SFloat sym -> SEval sym (SBit…
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | ArithNoSolver.hs | 447 , ("fpIsZero", fpIsZero, (== 0))
|
| H A D | ArithSolver.hs | 404 , ("fpIsZero", fpIsZero, (== 0))
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/ |
| H A D | Generic.hs | 2163 PPrim (VBit <$> fpIsZero sym x)
|
| /dports/math/z3/z3-z3-4.8.13/src/api/python/z3/ |
| H A D | z3.py | 10190 def fpIsZero(a, ctx=None): function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/ |
| H A D | z3.py | 9644 def fpIsZero(a, ctx=None): function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/ |
| H A D | CHANGES.md | 1647 * isZeroFP --> fpIsZero
|