/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/ |
H A D | Floats.hs | 106 , test1 "f_FP_Abs" (abs :: SFloat -> SFloat) 109 , test1 "f_FP_Neg" (negate :: SFloat -> SFloat) 112 … , test2 "f_FP_Add" (fpAdd sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat) 115 … , test2 "f_FP_Sub" (fpSub sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat) 118 … , test2 "f_FP_Mul" (fpMul sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat) 121 … , test2 "f_FP_Div" (fpDiv sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat) 124 …_FP_FMA" (fpFMA sRoundNearestTiesToEven :: SFloat -> SFloat -> SFloat -> SFloat) 130 , test2 "f_FP_Rem" (fpRem :: SFloat -> SFloat -> SFloat) 136 , test2 "f_FP_Min" (fpMin :: SFloat -> SFloat -> SFloat) 139 , test2 "f_FP_Max" (fpMax :: SFloat -> SFloat -> SFloat) [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/ |
H A D | SFloat.hs | 282 sym -> RoundingMode -> SFloat sym -> SFloat sym -> IO (SFloat sym) 292 sym -> RoundingMode -> SFloat sym -> SFloat sym -> IO (SFloat sym) 306 fpMin :: IsExprBuilder sym => sym -> SFloat sym -> SFloat sym -> IO (SFloat sym) 307 fpMin sym (SFloat x) (SFloat y) = 315 fpMax :: IsExprBuilder sym => sym -> SFloat sym -> SFloat sym -> IO (SFloat sym) 316 fpMax sym (SFloat x) (SFloat y) = 325 sym -> RoundingMode -> SFloat sym -> SFloat sym -> SFloat sym -> IO (SFloat sym) 326 fpFMA sym r (SFloat x) (SFloat y) (SFloat z) = 337 sym -> Pred sym -> SFloat sym -> SFloat sym -> IO (SFloat sym) 338 fpIte sym p (SFloat x) (SFloat y) = [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
H A D | floats_cgen.gold | 9 const SFloat s2 = (SFloat) s0; 22 const SFloat s2 = (SFloat) s0; 726 SFloat f_FP_Add(const SFloat a, const SFloat b) 754 SFloat f_FP_Sub(const SFloat a, const SFloat b) 782 SFloat f_FP_Mul(const SFloat a, const SFloat b) 810 SFloat f_FP_Div(const SFloat a, const SFloat b) 838 SFloat f_FP_FMA(const SFloat a, const SFloat b, const SFloat c) 894 SFloat f_FP_Rem(const SFloat a, const SFloat b) 948 SFloat f_FP_Min(const SFloat a, const SFloat b) 978 SFloat f_FP_Max(const SFloat a, const SFloat b) [all …]
|
H A D | tgen_c.gold | 14 typedef float SFloat;
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
H A D | Backend.hs | 313 iteFloat :: sym -> SBit sym -> SFloat sym -> SFloat sym -> SEval sym (SFloat sym) 671 fpEq :: sym -> SFloat sym -> SFloat sym -> SEval sym (SBit sym) 672 fpLessThan :: sym -> SFloat sym -> SFloat sym -> SEval sym (SBit sym) 673 fpGreaterThan :: sym -> SFloat sym -> SFloat sym -> SEval sym (SBit sym) 681 fpNeg, fpAbs :: sym -> SFloat sym -> SEval sym (SFloat sym) 682 fpSqrt :: sym -> SWord sym -> SFloat sym -> SEval sym (SFloat sym) 684 fpFMA :: sym -> SWord sym -> SFloat sym -> SFloat sym -> SFloat sym -> SEval sym (SFloat sym) 700 SFloat sym -> 713 SFloat sym -> 727 SFloat sym -> [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/QuickCheck/ |
H A D | QC.hs | 31 ++ qc1 (nm ++ ".SFloat" ) op (op :: SFloat -> SFloat) 45 ++ qc2 (nm ++ ".SFloat" ) op (op :: SFloat -> SFloat -> SFloat)
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Misc/ |
H A D | Floating.hs | 53 assocPlus :: SFloat -> SFloat -> SFloat -> SBool
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/ |
H A D | UISatEx.hs | 58 q3 :: SFloat -> SBool -> SInteger -> SFloat 61 q4 :: SChar -> SString -> SFloat
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | ModelValidate.hs | 49 t1 = forSome ["x"] $ \x -> fpAdd sRTZ x x .== (x::SFloat) 50 t2 = forSome ["x"] $ \x -> fpFMA sRNE x x x .== (x::SFloat) 63 return $ fpIsPoint y .=> x .<= (y::SFloat)
|
H A D | AllSat.hs | 33 , goldenVsStringShow "allSat3" $ allSat $ \x -> x .== (0::SFloat)
|
H A D | ArithSolver.hs | 444 …++ [("fromFP_Float_ToInt8", show x, mkThmC' (m fromSFloat :: SFloat -> SInt8) x ((round ::… 445 …++ [("fromFP_Float_ToInt16", show x, mkThmC' (m fromSFloat :: SFloat -> SInt16) x ((round ::… 446 …++ [("fromFP_Float_ToInt32", show x, mkThmC' (m fromSFloat :: SFloat -> SInt32) x ((round ::… 447 …++ [("fromFP_Float_ToInt64", show x, mkThmC' (m fromSFloat :: SFloat -> SInt64) x ((round ::… 448 …++ [("fromFP_Float_ToWord8", show x, mkThmC' (m fromSFloat :: SFloat -> SWord8) x ((round ::… 449 …++ [("fromFP_Float_ToWord16", show x, mkThmC' (m fromSFloat :: SFloat -> SWord16) x ((round ::… 450 …++ [("fromFP_Float_ToWord32", show x, mkThmC' (m fromSFloat :: SFloat -> SWord32) x ((round ::… 451 …++ [("fromFP_Float_ToWord64", show x, mkThmC' (m fromSFloat :: SFloat -> SWord64) x ((round ::… 453 …++ [("fromFP_Float_ToFloat", show x, mkThm1 (m fromSFloat :: SFloat -> SFloat) x … 454 …++ [("fromFP_Float_ToDouble", show x, mkThm1 (m fromSFloat :: SFloat -> SDouble) x ( … [all …]
|
/dports/devel/fpc-fcl-base/fpc-3.2.2/packages/fcl-base/examples/ |
H A D | testreg.pp | 30 SFloat = 'Float'; 67 WriteFloat(SFloat, FloatVal); 109 F:=ReadFloat(SFloat); 112 If Not DeleteValue(SFloat) Then
|
/dports/lang/fpc/fpc-3.2.2/packages/fcl-base/examples/ |
H A D | testreg.pp | 30 SFloat = 'Float'; 67 WriteFloat(SFloat, FloatVal); 109 F:=ReadFloat(SFloat); 112 If Not DeleteValue(SFloat) Then
|
/dports/lang/fpc-source/fpc-3.2.2/packages/fcl-base/examples/ |
H A D | testreg.pp | 30 SFloat = 'Float'; 67 WriteFloat(SFloat, FloatVal); 109 F:=ReadFloat(SFloat); 112 If Not DeleteValue(SFloat) Then
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/Schema/ |
H A D | Internal.hs | 47 | SFloat !Double -- ^ @tag:yaml.org,2002:float@ constructor 58 rnf (SFloat _) = () 131 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ jsonDecodeFloat v 138 | Just f <- jsonDecodeFloat v = Right $! SFloat f 170 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ coreDecodeFloat v 177 | Just f <- coreDecodeFloat v = Right $! SFloat f 400 SFloat _ -> Left "SFloat scalar type not supported in failsafeSchemaEncoder" 419 SFloat double -> Right (untagged, Plain, encodeDouble double) 438 SFloat double -> Right (untagged, Plain, encodeDouble double)
|
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/Schema/ |
H A D | Internal.hs | 47 | SFloat !Double -- ^ @tag:yaml.org,2002:float@ constructor 58 rnf (SFloat _) = () 131 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ jsonDecodeFloat v 138 | Just f <- jsonDecodeFloat v = Right $! SFloat f 170 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ coreDecodeFloat v 177 | Just f <- coreDecodeFloat v = Right $! SFloat f 400 SFloat _ -> Left "SFloat scalar type not supported in failsafeSchemaEncoder" 419 SFloat double -> Right (untagged, Plain, encodeDouble double) 438 SFloat double -> Right (untagged, Plain, encodeDouble double)
|
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/HsYAML-0.2.1.0/src/Data/YAML/Schema/ |
H A D | Internal.hs | 47 | SFloat !Double -- ^ @tag:yaml.org,2002:float@ constructor 58 rnf (SFloat _) = () 131 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ jsonDecodeFloat v 138 | Just f <- jsonDecodeFloat v = Right $! SFloat f 170 … | t == tagFloat = maybe (Left $ "invalid !!float " ++ show v) (Right . SFloat) $ coreDecodeFloat v 177 | Just f <- coreDecodeFloat v = Right $! SFloat f 400 SFloat _ -> Left "SFloat scalar type not supported in failsafeSchemaEncoder" 419 SFloat double -> Right (untagged, Plain, encodeDouble double) 438 SFloat double -> Right (untagged, Plain, encodeDouble double)
|
/dports/lang/nim/nim-1.6.2/nimsuggest/ |
H A D | sexp.nim | 254 SFloat, 269 of SFloat: 300 ## Creates a new `SFloat SexpNode`. 301 result = SexpNode(kind: SFloat, fnum: n) 337 ## Retrieves the float value of a `SFloat SexpNode`. 340 if n.kind != SFloat: return default 376 result = SexpNode(kind: SFloat, fnum: n) 425 of SFloat: 443 of SFloat: 510 of SFloat: [all …]
|
/dports/lang/gforth/gforth-0.7.3/arch/sharc/ |
H A D | machine.h | 62 typedef float SFloat; typedef
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/ |
H A D | What4.hs | 35 import qualified What4.SFloat as FP 209 type SFloat (What4 sym) = FP.SFloat sym type 601 SFloat (What4 sym) -> 602 SFloat (What4 sym) -> 603 SEval (What4 sym) (SFloat (What4 sym)) 611 sym -> String -> SWord sym -> SFloat sym -> SEval sym (SInteger sym) 631 sym -> SFloat sym -> SEval sym (SRational sym) 645 SRational sym -> SEval sym (SFloat sym)
|
H A D | Concrete.hs | 137 type SFloat Concrete = FP.BF type 404 SFloat Concrete -> 405 SFloat Concrete -> 406 SEval Concrete (SFloat Concrete) 417 SFloat Concrete ->
|
/dports/lang/gforth/gforth-0.7.3/arch/generic/ |
H A D | machine.h | 70 typedef float SFloat; typedef
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
H A D | Floating.hs | 220 fromSFloat :: SRoundingMode -> SFloat -> SBV a 250 toSFloat :: SRoundingMode -> SBV a -> SFloat 253 default toSFloat :: Integral a => SRoundingMode -> SBV a -> SFloat 582 sFloatAsSWord32 :: SFloat -> SWord32 621 blastSFloat :: SFloat -> (SBool, [SBool], [SBool]) 641 sWord32AsSFloat :: SWord32 -> SFloat 660 sFloatAsComparableSWord32 :: SFloat -> SWord32 671 sComparableSWord32AsSFloat :: SWord32 -> SFloat
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/ |
H A D | Prims.hs | 20 | PFloatFun (SFloat sym -> Prim sym)
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Optimization/ |
H A D | Floats.hs | 36 floatMinMax :: (SFloat -> Symbolic ()) -> Bool -> Goal
|