Home
last modified time | relevance | path

Searched refs:SFloat (Results 1 – 25 of 370) sorted by relevance

12345678910>>...15

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/
H A DFloats.hs106 , 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 DSFloat.hs282 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 Dfloats_cgen.gold9 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 Dtgen_c.gold14 typedef float SFloat;
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/
H A DBackend.hs313 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 DQC.hs31 ++ 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 DFloating.hs53 assocPlus :: SFloat -> SFloat -> SFloat -> SBool
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/
H A DUISatEx.hs58 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 DModelValidate.hs49 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 DAllSat.hs33 , goldenVsStringShow "allSat3" $ allSat $ \x -> x .== (0::SFloat)
H A DArithSolver.hs444 …++ [("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 Dtestreg.pp30 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 Dtestreg.pp30 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 Dtestreg.pp30 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 DInternal.hs47 | 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 DInternal.hs47 | 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 DInternal.hs47 | 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 Dsexp.nim254 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 Dmachine.h62 typedef float SFloat; typedef
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DWhat4.hs35 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 DConcrete.hs137 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 Dmachine.h70 typedef float SFloat; typedef
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DFloating.hs220 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 DPrims.hs20 | PFloatFun (SFloat sym -> Prim sym)
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Optimization/
H A DFloats.hs36 floatMinMax :: (SFloat -> Symbolic ()) -> Bool -> Goal

12345678910>>...15